Alternatives and similar repositories for mir-semantics:

Users that are interested in mir-semantics are comparing it to the libraries listed below

• awslabs / rust-smt-ir
  ☆37Updated 7 months ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• Practical-Formal-Methods / bran
  Static analysis framework for EVM bytecode
  ☆30Updated 5 years ago
• LiHRaM / taint
  Thesis code
  ☆26Updated last year
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆37Updated 2 years ago
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆68Updated last month
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• cdisselkoen / llvm-ir-analysis
  ☆71Updated last year
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆79Updated this week
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆65Updated 5 years ago
• KomaEc / crown
  Ownership analysis that helps translating C to Rust
  ☆20Updated last year
• lizhuohua / rust-ffi-checker
  ☆53Updated 2 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆67Updated 3 weeks ago
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆125Updated this week
• phayes / sidefuzz
  Fuzzer to automatically find side-channel (timing) vulnerabilities
  ☆116Updated 3 years ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated last week
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆51Updated this week
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆122Updated 2 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆53Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆75Updated 2 weeks ago
• trailofbits / umberto
  poststructural fuzzing
  ☆31Updated 5 years ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆121Updated 9 months ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated 3 years ago
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆47Updated last year
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated 4 months ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆49Updated last month
• sfu-rsl / symrustc
  SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.
  ☆10Updated last year
• darkmacheken / wasmati
  A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
  ☆28Updated 7 months ago