Issues
- 0
llvm-verified-backend repo was not found
#26 opened by cctv130 - 0
Iterative pruning based matcher
#25 opened by sdasgup3 - 0
- 1
Try Autotuner
#23 opened by sdasgup3 - 5
- 1
Reducing trust base in the normalizer
#20 opened by sdasgup3 - 1
- 0
Add Memory dependence edges in the lifted IRs
#21 opened by sdasgup3 - 0
Use relocation informatiion in the binary to decide if a value is address or a constant
#18 opened by sdasgup3 - 1
Compacting compositional decompiler cache size
#17 opened by sdasgup3 - 0
PLDI 2020 Submission
#19 opened by sdasgup3 - 0
- 1
Prepare for LLVM's symbolic execution
#11 opened by sdasgup3 - 0
- 0
- 0
Add memory nodes in x86 dfg
#8 opened by sdasgup3 - 1
Create dfg from x86 binary
#2 opened by sdasgup3 - 0
CGO Submission
#7 opened by sdasgup3 - 0
Create LLVM Matcher
#14 opened by sdasgup3 - 0
Automate compositional decompiler
#15 opened by sdasgup3 - 2
- 0
- 0
Make the LVM IR DFG work with optimized code
#4 opened by sdasgup3 - 0
Build the pldi19-equivalence-checker: Available at https://github.com/allvm/pldi19-equivalence-checker
#3 opened by sdasgup3 - 0
Port the project to latest remill/mcsema
#1 opened by sdasgup3