Alternatives and similar repositories for rat:

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

• bannsec / pySym
  Python Symbolic Execution
  ☆67Updated 5 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆123Updated last month
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆38Updated last month
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆69Updated 5 months ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆63Updated 9 months ago
• phreppo / wstat
  While language static analyzer
  ☆10Updated 4 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated last month
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 3 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆38Updated this week
• UniCodeSphere / Creal
  ☆32Updated 5 months ago
• caterinaurban / Libra
  ☆25Updated 3 years ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆54Updated last year
• caterinaurban / Lyra
  ☆30Updated 8 months ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆80Updated 6 months ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• wei-le / programanalysiscourse
  COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
  ☆30Updated last year
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆11Updated 6 years ago
• caterinaurban / apronpy
  ☆9Updated 11 months ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 5 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated 11 months ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 3 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆23Updated 6 months ago
• microsoft / verus-proof-synthesis
  ☆28Updated 2 weeks ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆51Updated 2 months ago
• vlab-cs-ucsb / ABC
  ☆28Updated 3 weeks ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• cs-au-dk / goat
  ☆22Updated 2 years ago