regehr / llvm-dataflow-infoView external linksLinks
print information from LLVM dataflow analyses
☆13Jan 22, 2020Updated 6 years ago
Alternatives and similar repositories for llvm-dataflow-info
Users that are interested in llvm-dataflow-info are comparing it to the libraries listed below
Sorting:
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 6 years ago
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- A framework for instrumenting build tools☆90Updated this week
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆69Sep 5, 2017Updated 8 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Oct 29, 2021Updated 4 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38May 11, 2020Updated 5 years ago
- Utility for dumping all the information Capstone has on given instructions.☆23Oct 1, 2021Updated 4 years ago
- low-level Capstone system bindings for Rust☆13Feb 15, 2019Updated 6 years ago
- Binary analysis in HOL☆46Updated this week
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 5 years ago
- QEMU to drcov trace file☆11Nov 21, 2020Updated 5 years ago
- POC for cve-2019-1458☆21Mar 4, 2020Updated 5 years ago
- Formal specification of the Haskell Language Report☆30Jan 25, 2026Updated 2 weeks ago
- Explore LLVM Bitcode interactively using a graph database☆58Feb 28, 2020Updated 5 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 5 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆11Dec 18, 2017Updated 8 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago
- source code for savior fuzzer☆127Oct 1, 2020Updated 5 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Apr 21, 2024Updated last year
- Extracting high level semantic information from binary code☆67Jun 13, 2019Updated 6 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 4 months ago
- ☆18May 1, 2020Updated 5 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- ARMv7 architecture plugin☆40Mar 7, 2024Updated last year
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 6 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆168Dec 4, 2025Updated 2 months ago
- ☆39Sep 27, 2022Updated 3 years ago
- Open source binary analysis tools.☆248Jan 30, 2026Updated 2 weeks ago
- Parallel ML benchmark suite☆21Dec 8, 2025Updated 2 months ago