solecnugit / EFACTLinks
an External Function Auto-Completion Tool to Strengthen the Static Binary Lifting
☆13Updated last year
Alternatives and similar repositories for EFACT
Users that are interested in EFACT are comparing it to the libraries listed below
Sorting:
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆22Updated 2 years ago
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)☆17Updated 2 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆27Updated last month
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆160Updated 3 months ago
- ☆34Updated this week
- An standalone execution trace library built on DynamoRIO.☆23Updated 3 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆146Updated 2 years ago
- GitHub Cloner & Compiler☆76Updated 4 years ago
- ☆13Updated last year
- ☆25Updated 2 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61Updated 8 months ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Updated 8 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆27Updated 3 years ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 6 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆22Updated 2 years ago
- Official implementation of AsmDepictor, "A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Re…☆29Updated last year
- ☆69Updated 8 months ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 6 years ago
- ☆40Updated 2 years ago
- Papers related with kernel papers☆13Updated 2 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 3 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆21Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Updated 4 years ago
- ☆70Updated last year
- A Hybrid Alias Analysis☆19Updated 2 years ago
- ☆19Updated 2 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆30Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Updated last year
- 🦖 Reconstruct Types from Binary Code☆45Updated 2 months ago
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆45Updated 8 months ago