Static-Analysis on Pirmin Schmid :: Homepagehttps://www.pirmin-schmid.ch/tags/static-analysis/Recent content in Static-Analysis on Pirmin Schmid :: HomepageHugoen-usFri, 04 Jan 2019 00:00:00 +0000Static analysis of tainted variables and sanitation in Dataloghttps://www.pirmin-schmid.ch/software/datalog-tainted-variables-static-analysis-and-sanitation/Fri, 04 Jan 2019 00:00:00 +0000https://www.pirmin-schmid.ch/software/datalog-tainted-variables-static-analysis-and-sanitation/<p>Static analysis and sanitation of tainted variables; implementation in Datalog. A group project in Program Analysis for System Security and Reliability (PASS).</p>