Overview
System Model
SecLan Model
Pyre/Pysa
A tool for performing taint analysis on Python code.
Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Taint Analysis
Check for data flows between lists of sources and sinks.