issues
search
trailofbits
/
binary_type_inference
GNU General Public License v3.0
11
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Property Tests for Transducer Simplification
#16
2over12
opened
2 years ago
0
Add support for inferring globals.
#15
2over12
closed
2 years ago
2
Transitivity not propagating across S-Pointer rules.
#14
2over12
closed
2 years ago
1
Formal params and actual returns do not preserve the appropriate subtyping relation in the case of multiple definitions for the returned or passed value
#13
2over12
closed
2 years ago
2
Deduplicate type variable strings
#12
2over12
opened
2 years ago
0
Move subprocedure locators within BTI
#11
2over12
opened
2 years ago
1
Adds type lowering to protobuf format for ingestion by downstream tools
#10
2over12
closed
2 years ago
1
Handle Callsite Specific Extern Argument Constraints
#9
2over12
opened
2 years ago
0
Maintain Knowledge of Shared Subgraphs for Lowering
#8
2over12
closed
2 years ago
1
Currently the Stack Analysis and Actual Displacement Assumes a Downward Growing Stack
#7
2over12
opened
2 years ago
1
Bug in Retypd Proofs Related to Contravariant Rules Over Interesting Variables
#6
2over12
closed
2 years ago
4
Generate Simplified Constraint Sets for Functions
#5
2over12
closed
2 years ago
1
Zexts/Sexts should be included in type constraints.
#4
2over12
closed
2 years ago
1
Document Public API
#3
2over12
closed
2 years ago
0
Add CI to run clippy and unit tests
#2
2over12
opened
2 years ago
0
Allow for bare metal analysis in the generation of CWEChecker IR
#1
2over12
opened
2 years ago
0
Previous