michael-schwarz

michael-schwarz's Stars

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML11.3k11.3k

• facebook/SPARTA

  SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

  Language:C++63449

• intel/yarpgen

  Yet Another Random Program Generator

  Language:C++49153

• zanderso/cil-template

  A simple tutorial about how to use the CIL compiler frontend

  Language:OCaml9

• eddelbuettel/filter-journal-spam

  spamassassin blocked-list to avoid traffic from predatory publishers

  Language:Makefile181

• lisa-analyzer/lisa

  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

  Language:Java5233

• smart-contract-verification/ethereum-via-asm

  Language:Assembly2

• csmith-project/creduce

  C-Reduce, a C and C++ program reducer

  Language:C++1.3k124

• soot-oss/SootUp

  A new version of Soot with a completely overhauled architecture

  Language:Java59181

• opalj/opal

  Language:Scala5127

• static-analysis-engineering/codehawk

  CodeHawk Abstract Interpretation Engine and Analyzers

  Language:OCaml6310

• ultimate-pa/ultimate

  The Ultimate program analysis framework.

  Language:Java20041

• moves-rwth/caesar

  Deductive verification infrastructure for probabilistic programs

  Language:Rust154

• kdudka/predator

  A Shape Analyzer Based on Symbolic Memory Graphs

  Language:C7321

• edwintorok/lintcstubs

  OCaml C stub static analyzer

  Language:OCaml81

• seahorn/clam

  Static Analyzer for LLVM bitcode based on Abstract Interpretation

  Language:C27737

• wala/WALA

  T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

  Language:Java764223

• flux-rs/flux

  Refinement Types for Rust

  Language:Rust66021

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C441131

• AbsInt/itc-benchmarks

  static analysis benchmarks from Toyota ITC

  Language:C85

• svobodovaLucie/ConcurrencyBenchmark

  Language:C2

• ExpoSEJS/ExpoSE

  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

  Language:JavaScript19037

• kaist-plrg/concrat

  Concurrent-C to Rust Automatic Translator

  Language:Rust144

• goblint/GobPie

  Goblint IDE integration via MagpieBridge

  Language:Java84

• danluu/setjmp-longjmp-ucontext-snippets

  Implementing coroutines, channels, message passing, etc.

  Language:C13231

• souffle-lang/souffle

  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  Language:C++931208

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++849265

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k108

• esbmc/esbmc

  The efficient SMT-based context-bounded model checker (ESBMC)

  Language:C30398

• zkincaid/duet

  Duet: static analysis for unbounded concurrency

  Language:OCaml2317