stilscher

Pinned Repositories

static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Language:Rust13.3k 322 5761.4k
cil
C Intermediate Language
Language:OCaml349 24 3487
analyzer
Static analysis framework for C
Language:OCaml174 19 63273
cil
C Intermediate Language
Language:OCaml49 10 7016
gobview
Frontend for goblint written with jsoo-react
Language:Reason2 12 175
GobWeb
Website for the Static Analyzer Goblint
Language:TypeScript3 4 300
analyzer
The goblint static analysis framework
Language:OCaml00
static-analysis
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
Language:Rust0 0 00

stilscher's Repositories

stilscher/analyzer
The goblint static analysis framework
Language:OCaml00
stilscher/static-analysis
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
Language:Rust0 0 00