Alternatives and similar repositories for lhs:

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

• microsoft / verus-proof-synthesis
  ☆18Updated this week
• lizhuohua / rust-ffi-checker
  ☆53Updated last year
• sun-wendy / DafnyBench
  DafnyBench: A Benchmark for Formal Software Verification
  ☆19Updated last month
• squaresLab / genprog4java
  ☆17Updated 3 months ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆39Updated 7 months ago
• chengpeng-wang / LLMSAN
  LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow
  ☆49Updated 3 months ago
• parasol-aser / XRust
  ☆12Updated 4 years ago
• JonasAlaif / russol-alpha
  A tool for synthesis of Rust code, very early prototype
  ☆12Updated last year
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆46Updated last month
• Artisan-Lab / RAPx
  Rust Analysis Platform
  ☆48Updated last week
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 6 months ago
• LiHRaM / taint
  Thesis code
  ☆26Updated last year
• kaist-plrg / concrat
  Concurrent-C to Rust Automatic Translator
  ☆15Updated 2 years ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆30Updated last year
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆23Updated last month
• lizhuohua / rust-mir-checker
  ☆142Updated 8 months ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• BugSwarm / bugswarm
  ☆31Updated last month
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆38Updated last month
• UniCodeSphere / Creal
  ☆27Updated 3 months ago
• ucd-plse / PyDFix
  PyDFix is a tool that helps detect and fix dependency errors that cause the unreproducibility of Python builds. PyDFix takes as input the…
  ☆12Updated last year
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated 2 months ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated last year
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated last month
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆30Updated last year
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆24Updated 7 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 9 months ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year