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 11 months 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
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆59Updated 2 years ago
• yuqiChen94 / Swat_Simulator
  ☆13Updated 4 years ago
• loonwerks / CASE
  DARPA CASE program
  ☆13Updated last month
• fabsx00 / codesensor
  ANTLR 3 fuzzy parser
  ☆49Updated 12 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆117Updated 8 years ago
• ylya / horndroid
  A Static Analysis Tool For Android Apps
  ☆20Updated this week
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• tammok / PRISMA
  Protocol Inspection and State Machine Analysis
  ☆24Updated 7 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated last week
• GDATAAdvancedAnalytics / r2graphity
  Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators
  ☆31Updated 8 years ago
• axt / bingraphvis
  ☆44Updated 3 years ago
• gaoxiang9430 / Fix2Fit
  ☆20Updated 4 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆19Updated 4 years ago
• collins-research / FuzzM
  ☆15Updated 6 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆62Updated 2 years ago
• smaccm / smaccm
  ☆34Updated 6 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• vandaltool / vandalir
  ☆25Updated 2 years ago
• zhangxiaochuan / MIRROR
  The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.
  ☆29Updated 2 years ago