sdasgup3 validating-binary-decompilation issues

sdasgup3 / validating-binary-decompilation

Scalable Validator for Binary Lifters

Other

54 stars 8 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

llvm-verified-backend repo was not found

#26 cctv130 closed 4 months ago
0
Iterative pruning based matcher

#25 sdasgup3 opened 4 years ago
0
Tuning normalizer

#24 sdasgup3 closed 4 years ago
0
Try Autotuner

#23 sdasgup3 closed 4 years ago
1
Thesis

#22 sdasgup3 closed 4 years ago
5
Add Memory dependence edges in the lifted IRs

#21 sdasgup3 closed 4 years ago
0
Reducing trust base in the normalizer

#20 sdasgup3 closed 4 years ago
1
PLDI 2020 Submission

#19 sdasgup3 closed 4 years ago
0
Use relocation informatiion in the binary to decide if a value is address or a constant

#18 sdasgup3 closed 4 years ago
0
Compacting compositional decompiler cache size

#17 sdasgup3 closed 4 years ago
1
Testing Program Validation using Compositional decompilatio

#16 sdasgup3 closed 5 years ago
0
Automate compositional decompiler

#15 sdasgup3 closed 5 years ago
0
Create LLVM Matcher

#14 sdasgup3 closed 5 years ago
0
Matching experiments: Using validated single instruction compositions

#13 sdasgup3 closed 4 years ago
0
Validate Mcsema-decompiled LLVM ir for single instructions

#12 sdasgup3 closed 4 years ago
1
Prepare for LLVM's symbolic execution

#11 sdasgup3 closed 5 years ago
1
Matching experiments: Using data-flow-strand-paths

#10 sdasgup3 closed 5 years ago
0
Create an LLVM tool for matching, using the stoke libraries.

#9 sdasgup3 closed 5 years ago
2
Add memory nodes in x86 dfg

#8 sdasgup3 closed 5 years ago
0
CGO Submission

#7 sdasgup3 closed 5 years ago
0
Prune out spurious df edges of the dfg of the binary

#6 sdasgup3 closed 5 years ago
0
Write the reaching definition analysis at x86 level.

#5 sdasgup3 closed 5 years ago
0
Make the LVM IR DFG work with optimized code

#4 sdasgup3 closed 5 years ago
0
Build the pldi19-equivalence-checker: Available at https://github.com/allvm/pldi19-equivalence-checker

#3 sdasgup3 closed 5 years ago
0
Create dfg from x86 binary

#2 sdasgup3 closed 5 years ago
1
Port the project to latest remill/mcsema

#1 sdasgup3 closed 5 years ago
0