inkdex: an index that states facts, a scanner that judges them

It analyzes codebases to identify security vulnerabilities by mapping data flows and composing security facts. The project has achieved significant performance improvements through incremental updates, fingerprinting, and a brute-force walk of the graph, resulting in faster indexing and analysis times. It uses a rigorous testing methodology, including property tests and a benchmark suite, to ensure accuracy and stability.