Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / trailofbits/binary_type_inference issues and pull requests

#69 - Panic on `--debug_out_dir`

Issue - State: open - Opened by jaybosamiya 6 months ago

#68 - Speed up file loads

Pull Request - State: closed - Opened by jaybosamiya 6 months ago - 2 comments

#68 - Speed up file loads

Pull Request - State: closed - Opened by jaybosamiya 6 months ago - 2 comments

#67 - No loadable segment bounds found on `.o`

Issue - State: open - Opened by jaybosamiya 6 months ago

#67 - No loadable segment bounds found on `.o`

Issue - State: open - Opened by jaybosamiya 6 months ago

#66 - Update CI and submodule usage

Pull Request - State: closed - Opened by ekilmer 12 months ago

#66 - Update CI and submodule usage

Pull Request - State: closed - Opened by ekilmer 12 months ago

#65 - Bump cwe checker

Pull Request - State: closed - Opened by 2over12 12 months ago

#65 - Bump cwe checker

Pull Request - State: closed - Opened by 2over12 12 months ago

#64 - Remove proj workflow

Pull Request - State: closed - Opened by 2over12 almost 1 year ago

#64 - Remove proj workflow

Pull Request - State: closed - Opened by 2over12 almost 1 year ago

#63 - Dont flip directionality of reaching <= reached for stores

Pull Request - State: closed - Opened by 2over12 over 1 year ago

#63 - Dont flip directionality of reaching <= reached for stores

Pull Request - State: closed - Opened by 2over12 over 1 year ago

#61 - Add Distribution Statement

Pull Request - State: closed - Opened by ekilmer almost 2 years ago

#61 - Add Distribution Statement

Pull Request - State: closed - Opened by ekilmer almost 2 years ago

#60 - Ghidra 10.2.2 compatibility

Pull Request - State: closed - Opened by ekilmer about 2 years ago

#60 - Ghidra 10.2.2 compatibility

Pull Request - State: closed - Opened by ekilmer about 2 years ago

#59 - Add Tests that Test Properties of Sketches

Issue - State: open - Opened by 2over12 over 2 years ago
Labels: testing

#59 - Add Tests that Test Properties of Sketches

Issue - State: open - Opened by 2over12 over 2 years ago
Labels: testing

#58 - Ian/select entrypoints

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#58 - Ian/select entrypoints

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#57 - Make shared returns non-default

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#57 - Make shared returns non-default

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#56 - Ian/refactor lowered types to all have ids

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#56 - Ian/refactor lowered types to all have ids

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#55 - Update patent number

Pull Request - State: closed - Opened by ekilmer over 2 years ago

#55 - Update patent number

Pull Request - State: closed - Opened by ekilmer over 2 years ago

#54 - Instantiate Callee Sigs in Sig Building

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#54 - Instantiate Callee Sigs in Sig Building

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#53 - added tests

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#53 - added tests

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#51 - add acknowledgments

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#51 - add acknowledgments

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#49 - Ian/fixes to unbounded points to constraints

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#49 - Ian/fixes to unbounded points to constraints

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#48 - Handle unbounded points to information more soundly

Issue - State: closed - Opened by 2over12 over 2 years ago - 2 comments

#48 - Handle unbounded points to information more soundly

Issue - State: closed - Opened by 2over12 over 2 years ago - 2 comments

#47 - Polymorphic Parameter Binds in /bin/ls Create a Reflexive Edge

Issue - State: closed - Opened by 2over12 over 2 years ago - 2 comments
Labels: bug, priority/medium

#47 - Polymorphic Parameter Binds in /bin/ls Create a Reflexive Edge

Issue - State: closed - Opened by 2over12 over 2 years ago - 2 comments
Labels: bug, priority/medium

#46 - Limit Reaching Definitions to an Intraprocedrual Propogation

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#46 - Limit Reaching Definitions to an Intraprocedrual Propogation

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#45 - Use more efficient datastructures for reaching definitions

Issue - State: open - Opened by 2over12 over 2 years ago
Labels: enhancement, good first issue, priority/medium

#45 - Use more efficient datastructures for reaching definitions

Issue - State: open - Opened by 2over12 over 2 years ago
Labels: enhancement, good first issue, priority/medium

#44 - Ian/partial order reqs

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#44 - Ian/partial order reqs

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#43 - Migrate to Slog for Structured Logging rather than Custom FileDebugLogger

Issue - State: open - Opened by 2over12 over 2 years ago
Labels: priority/low

#43 - Migrate to Slog for Structured Logging rather than Custom FileDebugLogger

Issue - State: open - Opened by 2over12 over 2 years ago
Labels: priority/low

#42 - Long processing time of /bin/ls

Issue - State: closed - Opened by ekilmer over 2 years ago - 1 comment
Labels: bug, priority/medium

#42 - Long processing time of /bin/ls

Issue - State: closed - Opened by ekilmer over 2 years ago - 1 comment
Labels: bug, priority/medium

#41 - Ian/evaluation metrics

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#41 - Ian/evaluation metrics

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#40 - Ian/bump regex

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#40 - Ian/bump regex

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#39 - add mooosl source

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#39 - add mooosl source

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#38 - Ian/multireturns

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#38 - Ian/multireturns

Pull Request - State: closed - Opened by 2over12 over 2 years ago

#36 - Handle Compound Variables Directly During Constraint Generation

Issue - State: open - Opened by 2over12 over 2 years ago - 1 comment

#36 - Handle Compound Variables Directly During Constraint Generation

Issue - State: open - Opened by 2over12 over 2 years ago - 1 comment

#35 - Ian/globals support

Pull Request - State: closed - Opened by 2over12 almost 3 years ago

#35 - Ian/globals support

Pull Request - State: closed - Opened by 2over12 almost 3 years ago

#34 - What type information should we extract from an INT_EQUAL

Issue - State: open - Opened by 2over12 almost 3 years ago

#33 - Handle variadic functions

Issue - State: open - Opened by 2over12 almost 3 years ago

#33 - Handle variadic functions

Issue - State: open - Opened by 2over12 almost 3 years ago

#32 - Allow sharing type structure within global variables.

Issue - State: open - Opened by 2over12 almost 3 years ago

#32 - Allow sharing type structure within global variables.

Issue - State: open - Opened by 2over12 almost 3 years ago

#31 - Ian/update test generated data

Pull Request - State: closed - Opened by 2over12 almost 3 years ago

#31 - Ian/update test generated data

Pull Request - State: closed - Opened by 2over12 almost 3 years ago

#30 - Don't lose observed parameter information

Issue - State: closed - Opened by 2over12 almost 3 years ago

#30 - Don't lose observed parameter information

Issue - State: closed - Opened by 2over12 almost 3 years ago

#28 - Use addcons to prove relationship between input and output params

Issue - State: closed - Opened by 2over12 almost 3 years ago - 1 comment
Labels: enhancement

#28 - Use addcons to prove relationship between input and output params

Issue - State: closed - Opened by 2over12 almost 3 years ago - 1 comment
Labels: enhancement

#27 - Use path from representing dtv in sketches as identifier for nodes.

Issue - State: open - Opened by 2over12 almost 3 years ago
Labels: enhancement, priority/low

#27 - Use path from representing dtv in sketches as identifier for nodes.

Issue - State: open - Opened by 2over12 almost 3 years ago
Labels: enhancement, priority/low

#26 - When creating polymorphic sketches, parent node labels should not be copied to the child.

Issue - State: closed - Opened by 2over12 almost 3 years ago
Labels: bug, priority/high

#26 - When creating polymorphic sketches, parent node labels should not be copied to the child.

Issue - State: closed - Opened by 2over12 almost 3 years ago
Labels: bug, priority/high

#25 - Examine implications of not considering the original type when using callsite types for concrete refinement

Issue - State: closed - Opened by 2over12 almost 3 years ago - 1 comment
Labels: bug, help wanted, priority/low

#25 - Examine implications of not considering the original type when using callsite types for concrete refinement

Issue - State: closed - Opened by 2over12 almost 3 years ago - 1 comment
Labels: bug, help wanted, priority/low

#24 - Property Tests for Polymorphic formals/actuals

Issue - State: open - Opened by 2over12 almost 3 years ago
Labels: priority/medium, testing

#24 - Property Tests for Polymorphic formals/actuals

Issue - State: open - Opened by 2over12 almost 3 years ago
Labels: priority/medium, testing

#23 - Ian/polymorphism

Pull Request - State: closed - Opened by 2over12 almost 3 years ago

#22 - Implement Function Cloning for Polymorphism

Issue - State: closed - Opened by 2over12 almost 3 years ago - 5 comments
Labels: enhancement, priority/high

#21 - Use zig cc or some other tool to cross compile souffle for n targets

Issue - State: closed - Opened by 2over12 almost 3 years ago - 1 comment

#21 - Use zig cc or some other tool to cross compile souffle for n targets

Issue - State: closed - Opened by 2over12 almost 3 years ago - 1 comment

#20 - Refactor Datalog to Allow for Unions.

Issue - State: closed - Opened by 2over12 almost 3 years ago
Labels: enhancement, priority/high

#19 - In Mooosl Test Missing Constraint for Copy RDI to Stack at 0x40

Issue - State: closed - Opened by 2over12 almost 3 years ago
Labels: bug, priority/high

#18 - Ian/scaling by processing sccs indepedently

Pull Request - State: closed - Opened by 2over12 almost 3 years ago

#17 - Handle Constant Adds Better

Issue - State: open - Opened by 2over12 almost 3 years ago
Labels: enhancement, priority/low

#16 - Property Tests for Transducer Simplification

Issue - State: open - Opened by 2over12 almost 3 years ago
Labels: idea

#15 - Add support for inferring globals.

Issue - State: closed - Opened by 2over12 about 3 years ago - 2 comments
Labels: priority/medium