- Auto test with https://github.com/marketplace/actions/setup-python and publish with https://github.com/marketplace/actions/pypi-publish
- Stress tests
- Parse Linux kernel.
- Parse Big-Vul dataset https://github.com/ZeoVan/MSR_20_Code_vulnerability_CSV_Dataset.
- Handle multiple files and functions correctly. Currently, we have only verified correct procedure when the program is a single function.
- PDG (def-use graph)
https://en.cppreference.com/w/c
- preprocessor macros
- headers
- function parameters
- structs
- custom typedefs
- expressions inside statements, such as
if ((i = 0) == 0) - variadic functions
- global variables
- goto and labels