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…
  ☆42Updated 9 months ago
• loonwerks / CASE
  DARPA CASE program
  ☆13Updated 2 years ago
• ssvlab / dsverifier
  DSVerifier - Digital Systems Verifier
  ☆12Updated 6 years ago
• loonwerks / formal-methods-workbench
  ☆19Updated 2 years ago
• smaccm / smaccm
  ☆33Updated 6 years ago
• loonwerks / AGREE
  Assume-Guarantee REasoning Environment
  ☆16Updated last month
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆28Updated 4 years ago
• cmu-sei / AASPE
  A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform fro…
  ☆16Updated 6 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 7 months ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• isstac / badger
  ☆20Updated 6 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• collins-research / FuzzM
  ☆15Updated 6 years ago
• usnistgov / ucef
  Universal CPS Environment for Federation
  ☆19Updated 2 years ago
• kppw99 / AutoVAS
  AutoVAS is an automated vulnerability analysis system with a deep learning approach.
  ☆35Updated 3 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last month
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 4 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆59Updated last year
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆20Updated 4 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated this week
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆34Updated 2 months ago
• aixcc-public / challenge-001-exemplar
  Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…
  ☆53Updated last year
• RafaelTupynamba / quicksampler
  Efficient Sampling of SAT Solutions for Testing
  ☆35Updated 5 years ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆21Updated 3 years ago