Cluster 637686

3 repos

OCaml · 2

Python · 1

abstract-interpretation ·7,203

python ·7,203

static-analysis ·7,203

control-flow-analysis ·7,172

ocaml ·7,172

program-analysis ·7,172

type-check ·7,172

security ·7,172

typechecker ·7,172

taint-analysis ·7,172

Related clusters

facebook/pyre-check

Performant type-checking for python.

OCaml

7,172

18,768 commits

facebook/Pysa

Security-focused Python Static Analyzer

OCaml

18,850 commits

caterinaurban/Lyra

Lyra is a prototype static analyzer for data science applications written in Python.

Python

1,140 commits