Memory safety in C by abstract interpretation.

Joseph Jones James Wasson Sean Brown Seth Poulsen Peter Aldous Eric Mercer

Published in: ACM SIGSOFT Softw. Eng. Notes (2018)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
databases
information systems
integrity constraints
main memory
dynamic analysis