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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- A framework for instrumenting build tools☆90Feb 13, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 5 years ago
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆87Mar 17, 2026Updated last week
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- A simple library focusing on demangling symbols for different programing languages☆48Dec 9, 2020Updated 5 years ago
- Extracting high level semantic information from binary code☆67Jun 13, 2019Updated 6 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Automatic peephole optimizer for Cranelift JIT compiler☆19Mar 31, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Explore LLVM Bitcode interactively using a graph database☆58Feb 28, 2020Updated 6 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆72Apr 11, 2016Updated 9 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 7 years ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 2 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38May 11, 2020Updated 5 years ago
- Simulator of pic32 microcontroller, based on OVPsim☆16Jan 17, 2015Updated 11 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 7 years ago
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- POC for cve-2019-1458☆21Mar 4, 2020Updated 6 years ago
- source code for savior fuzzer☆127Oct 1, 2020Updated 5 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- Open source binary analysis tools.☆248Updated this week
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 9 years ago
- QEMU to drcov trace file☆12Nov 21, 2020Updated 5 years ago
- .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.☆16Feb 4, 2021Updated 5 years ago
- ☆13Mar 9, 2026Updated 2 weeks ago
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆69Sep 5, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 4 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆16May 27, 2022Updated 3 years ago
- Playground for testing feedback☆16Aug 12, 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
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. P…☆27May 28, 2020Updated 5 years ago