Dynamically discover the commands used to create a piece of software
☆59Oct 24, 2025Updated last year
Alternatives and similar repositories for build-bom
Users that are interested in build-bom are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆30Jul 9, 2024Updated 2 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆33Oct 22, 2026Updated 2 weeks ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆21Jan 14, 2021Updated 5 years ago
- ☆40May 23, 2026Updated 5 months ago
- Static range analysis for the LLVM compiler infrastructure.☆57Oct 8, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆153Jan 30, 2025Updated last year
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Jan 4, 2015Updated 11 years ago
- Qualcomm Hexagon decoder for the yaxpeax project☆10Jul 13, 2025Updated last year
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- Context, field, and array-sensitive heap analysis for LLVM based on DSA.☆171Updated this week
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆527May 21, 2025Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- ☆16Feb 25, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆15May 19, 2022Updated 4 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- ☆14Jun 30, 2025Updated last year
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 3 years ago
- Interactive ROP gadget semantic search☆10Feb 11, 2026Updated 8 months ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆59Aug 27, 2026Updated 2 months ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- Fast binary cross-reference extractor for ELF, Mach-O, PE, and dyld shared caches☆17Sep 30, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Executable memory allocator with support for dual mapping and W^X protection☆13Jul 6, 2023Updated 3 years ago
- WIP Java decompiler☆25Dec 3, 2025Updated 11 months ago
- Idiomatic Rust bindings to the Ghidra SLEIGH library for pcode disassembly☆13Nov 16, 2025Updated 11 months ago
- SAW front end for the MIR language from rustc☆36Jan 12, 2021Updated 5 years ago
- Peter's Amazing Syntax Tree Analyzer☆137May 3, 2026Updated 6 months ago
- A symbolic execution engine for LLVM IR☆53Apr 25, 2022Updated 4 years ago
- Patches Assured up to Trace Equivalence☆17Apr 7, 2025Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆116May 19, 2022Updated 4 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆237Jun 19, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- libxsql core library☆19Oct 20, 2026Updated 2 weeks ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 5 years ago
- Software Analysis and Verification Group☆15Oct 27, 2026Updated last week
- Differential fuzzing for Smart Contract VMs☆52May 2, 2022Updated 4 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆53Mar 17, 2026Updated 7 months ago
- ☆21May 11, 2025Updated last year