Sign in

Memory safety in C by abstract interpretation.

Joseph JonesJames WassonSean BrownSeth PoulsenPeter AldousEric 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