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
  ☆14Updated 6 months ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆46Updated last year
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• loonwerks / AGREE
  Assume-Guarantee REasoning Environment
  ☆18Updated last month
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 3 years ago
• loonwerks / formal-methods-workbench
  ☆22Updated 2 years ago
• collins-research / FuzzM
  ☆16Updated 6 years ago
• ssvlab / dsverifier
  DSVerifier - Digital Systems Verifier
  ☆11Updated 6 years ago
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 8 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 4 years ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆39Updated last year
• fabsx00 / codesensor
  ANTLR 3 fuzzy parser
  ☆49Updated 12 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆72Updated 6 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆30Updated last month
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆50Updated 4 months ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 9 years ago
• smaccm / smaccm
  ☆34Updated 6 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• michael-emmi / ct-fuzz
  ☆11Updated 5 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆106Updated 2 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆30Updated 5 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 4 years ago
• tthtlc / awesome-source-analysis
  Source code understanding via Machine Learning techniques
  ☆138Updated 3 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago