Alternatives and similar repositories for RACK

Users that are interested in RACK are comparing it to the libraries listed below

• loonwerks / CASE
  DARPA CASE program
  ☆13Updated 2 months ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆44Updated last year
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• ssvlab / dsverifier
  DSVerifier - Digital Systems Verifier
  ☆11Updated 6 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 10 months ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 2 years ago
• smaccm / smaccm
  ☆34Updated 6 years ago
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆194Updated 2 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• tthtlc / awesome-source-analysis
  Source code understanding via Machine Learning techniques
  ☆137Updated 2 years ago
• loonwerks / formal-methods-workbench
  ☆19Updated 2 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• vandaltool / vandalir
  ☆25Updated 2 years ago
• avatartwo / avatar-qemu
  QEmu backend for avatar²
  ☆21Updated 5 months ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆37Updated last year
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated 2 months ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆60Updated last year
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago
• mitre / emb3d
  ☆28Updated 2 months ago
• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆62Updated 2 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆37Updated 7 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated this week
• bannsec / pySym
  Python Symbolic Execution
  ☆71Updated 6 years ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last month