Alternatives and similar repositories for toy-wasm-symbexp

Users that are interested in toy-wasm-symbexp are comparing it to the libraries listed below

• matthesjh / coq-tal
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆18Updated last year
• Tritlo / PropR
  Genetic program repair using GHC
  ☆33Updated last year
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated last year
• aeflores / CoFloCo
  CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive program…
  ☆19Updated 4 years ago
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated 2 years ago
• langston-barrett / souffle-lint
  A linter for Soufflé Datalog
  ☆16Updated last year
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 3 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Updated 5 years ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆62Updated 2 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆69Updated 2 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆28Updated 8 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆79Updated this week
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆72Updated last month
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆143Updated 3 weeks ago
• katydid / regex-deriv-coq
  ☆23Updated last year
• SkyLabsAI / BRiCk
  Formalization of C++ for verification purposes.
  ☆87Updated this week
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆40Updated 3 months ago
• TiarkRompf / reachability
  ☆53Updated 3 months ago
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 6 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆67Updated 10 months ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆28Updated 3 years ago
• aslanix / SmallStepNI
  Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
  ☆20Updated 5 years ago
• luc-tielen / souffle-haskell
  Haskell bindings for the Souffle datalog language
  ☆104Updated last year
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• kwanghoon / yapb
  YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)
  ☆16Updated 7 months ago
• tweag / pirouette
  Language-generic workbench for building static analysis
  ☆47Updated 2 years ago