SLAyer: Memory Safety for Systems-Level Code.

Josh Berdine Byron Cook Samin Ishtiaq

Published in: CAV (2011)

Keyphrases

safety critical
application level
expert systems
source code
abstraction levels
management system
distributed systems
main memory
associative memory
autonomous mobile
data sets
computing power
building blocks
case study
website
genetic algorithm
databases