Compositional Vulnerability Detection with Insecurity Separation Logic (Extended Version)

Toby Murray, Pengbo Yan, Gidon Ernst

Memory-safety issues and information leakage are known to be depressingly common. We consider the compositional static detection of these kinds of vulnerabilities in first-order C-…