Popular repositories Loading

1. analyzer analyzer Public

   Forked from goblint/analyzer

   The goblint static analysis framework

   OCaml

2. static-analysis static-analysis Public

   Forked from analysis-tools-dev/static-analysis

   ⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.

   Rust

3. td-side-verified-artifact td-side-verified-artifact Public

   A formalization of an extension of the top-down solver with update rules for mixed flow-sensitive analyses.

   Isabelle