SecuCheck: Engineering configurable taint analysis for software developers.

Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden

Browse the full SCAM paper archive.