SLAyer: Memory Safety for Systems-Level Code.

Josh Berdine, Byron Cook, Samin Ishtiaq

Browse the full CAV paper archive.