TaintTrace
Raul Cortinas, Lynda Levy, Baylor Wroblewski, Roman Dattilo
Static taint analysis in OCaml that flags SQL injection, XSS and command injection in IMP and Python code.
CS 336 · Program Analysis for Security & Privacy
Spring 2026
Taint Lite
Justin Veltri, Flavia Daniels, Arnav Vasa, Garrett Boag, Jonathan Veltri
Privacy leak detector that tracks personal data from sources to sinks in IMP-Core and Python programs.
Secret & Misconfiguration Scanner
Ziv Cohen, Zaccery Tarver, James Pazik, Matthew Keller
AST-based OCaml scanner that finds hardcoded secrets, high-entropy strings and insecure configuration.