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 10 months ago
• loonwerks / CASE
  DARPA CASE program
  ☆13Updated last month
• swtv-kaist / MUSIC
  MUSIC: MUtation analySIs tool with High Configurability and Extensibility
  ☆17Updated last year
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 9 months ago
• ssvlab / dsverifier
  DSVerifier - Digital Systems Verifier
  ☆12Updated 6 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• fabsx00 / codesensor
  ANTLR 3 fuzzy parser
  ☆49Updated 12 years ago
• andrew-d / rough-auditing-tool-for-security
  Automatically exported from code.google.com/p/rough-auditing-tool-for-security
  ☆87Updated 4 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• isstac / badger
  ☆20Updated 6 years ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆60Updated last year
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• klee / klee-web
  KLEE in the browser
  ☆52Updated last month
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 8 years ago
• michael-emmi / ct-fuzz
  ☆10Updated 4 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated this week
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆59Updated 2 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• gaoxiang9430 / Fix2Fit
  ☆20Updated 4 years ago
• hksecurity / FuzzBuilder
  ☆47Updated 5 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆29Updated 4 years ago
• loonwerks / AGREE
  Assume-Guarantee REasoning Environment
  ☆16Updated 2 months ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago