Performant type-checking for python.
python
security
typechecker
static-analysis
ocaml
control-flow-analysis
code-quality
program-analysis
taint-analysis
abstract-interpretation
type-check
-
Updated
Aug 6, 2024 - OCaml
Performant type-checking for python.
Repository containing the didactic material and three projects of Prof. Gian-Luigi Ferrari and Prof.ssa Chiara Bodei for the exam of Language Based Technology for Security of the Cybersecurity LM-66 Faculty 2020/2021 (University of Pisa).
Add a description, image, and links to the control-flow-analysis topic page so that developers can more easily learn about it.
To associate your repository with the control-flow-analysis topic, visit your repo's landing page and select "manage topics."