Security

Static analysis of tainted variables and sanitation in Datalog

Static analysis and sanitation of tainted variables; implementation in Datalog. A group project in Program Analysis for System Security and Reliability (PASS).