static_analysis_example

Simple taint analysis example based on official online documentaion, that can be found here: https://pyre-check.org/docs/pysa-running/#example

installation steps (ubuntu)

python3 -m venv /temp/static_analysis_example
source /tempstatic_analysis_example/bin/activate
pip3 install pyre-check

pyre analyze

pyre analyze --save-results-to ./pysa-results

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
pysa-results		pysa-results
stubs/taint		stubs/taint
.gitignore		.gitignore
.pyre_configuration		.pyre_configuration
LICENSE		LICENSE
README.md		README.md
source.py		source.py