phreppo / rat

Related projects ⓘ

Alternatives and complementary repositories for rat

• phreppo / wstat
  While language static analyzer
  ☆10Updated 4 years ago
• goblint / analyzer
  Static analysis framework for C
  ☆184Updated this week
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆52Updated 3 weeks ago
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆34Updated this week
• bannsec / pySym
  Python Symbolic Execution
  ☆65Updated 5 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆78Updated this week
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆29Updated last week
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 4 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆114Updated 3 months ago
• caterinaurban / Lyra
  ☆30Updated 3 months ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated last month
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 3 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses
  ☆233Updated 3 weeks ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• caterinaurban / apronpy
  ☆8Updated 6 months ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆185Updated last year
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆50Updated 6 months ago
• cs-au-dk / goat
  ☆20Updated last year
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 3 years ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆27Updated 5 months ago
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆14Updated last year
• caterinaurban / Libra
  ☆23Updated 3 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆84Updated 11 months ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆26Updated 6 years ago
• UniCodeSphere / Creal
  ☆26Updated 3 weeks ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆167Updated 4 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆34Updated this week
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆21Updated 2 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆58Updated last year