Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path.

Guang Chen Min Zhou Jiaguang Sun Xiaoyu Song

Published in: APSEC (2018)

Keyphrases

access path
safety analysis
nuclear power plant
safety critical
control system
fault model
b tree
main memory
symbolic model checking
data model
formal methods
artificial intelligence
fault tolerant
database
embedded systems
reliability analysis
index structure
object oriented
training set