Utilizing type systems for static vulnerability analysis.

Lavrentii Tsvetkov, Anton Spivak

Browse the full FRUCT paper archive.