Alternatives and similar repositories for build-bom:

Users that are interested in build-bom are comparing it to the libraries listed below

• kudu-dynamics / blaze-platform
  A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…
  ☆52Updated 3 months ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆67Updated this week
• GaloisInc / pate
  Patches Assured up to Trace Equivalence
  ☆16Updated 3 weeks ago
• Jezurko / potato
  Experimental MLIR based points-to analysis tool
  ☆16Updated 2 weeks ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 2 months ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Updated last year
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆28Updated 4 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• binsec / Rel
  Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…
  ☆33Updated 3 months ago
• LiHRaM / taint
  Thesis code
  ☆26Updated last year
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated last month
• trailofbits / blight
  A framework for instrumenting build tools
  ☆89Updated 5 months ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆21Updated 2 months ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆129Updated last week
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆57Updated last year
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆34Updated last month
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated last week
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last week
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆41Updated 5 months ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆29Updated 3 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆66Updated 3 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆221Updated this week
• cromulencellc / chess-aces
  ☆12Updated 2 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆80Updated 4 years ago