GitHub repository: secure-software-engineering/HeaderGen
Primary language: Python
Description: HeaderGen annotates Jupyter notebooks using static analysis. Improves PyCG's call graph analysis by supporting external libraries and flow-sensitivity.