SLAyer

Language:
English
SLAyer is an automatic, separation-logic-based memory safety checker. Last published: December 17, 2012.