Alternatives and similar repositories for RACK

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

• 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
• loonwerks / CASE
  DARPA CASE program
  ☆13Updated 4 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated last year
• loonwerks / formal-methods-workbench
  ☆20Updated 2 years ago
• loonwerks / AGREE
  Assume-Guarantee REasoning Environment
  ☆18Updated 2 months ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆104Updated 2 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated 4 months ago
• ssvlab / dsverifier
  DSVerifier - Digital Systems Verifier
  ☆11Updated 6 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆63Updated 2 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆60Updated last year
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 12 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• ChrisTimperley / RepairChain
  AIxCC: automated vulnerability repair via LLMs, search, and static analysis
  ☆12Updated last year
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago
• yuqiChen94 / Swat_Simulator
  ☆13Updated 4 years ago
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆37Updated 7 years ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated last week
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆30Updated 4 years ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆46Updated 5 years ago
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆72Updated 2 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 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.
  ☆196Updated 2 years ago
• Practical-Formal-Methods / tailor
  Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
  ☆20Updated 3 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆73Updated 6 years ago
• smaccm / smaccm
  ☆34Updated 6 years ago