Uncovering Information Flow Policy Violations in C Programs

Darion Cassel, Yan Huang, Limin Jia

Programmers of cryptographic applications written in C need to avoid common mistakes such as sending private data over public channels, modifying trusted data with untrusted functi…