fixed-point-analysis

There are 1 repository under fixed-point-analysis topic.

python-security / pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
pyt control-flow-graph static-analysis python python3 security static-code-analysis program-analysis fixed-point fixed-point-analysis dataflow dataflow-analysis taint taint-analysis abstract-syntax-tree abstract-syntax flask
Language:Python 2167