Predicate Extension of Symbolic Memory Graphs for Analysis of Memory Safety Correctness
Proceedings of the Institute for System Programming of the RAS
doi 10.15514/ispras-2019-31(6)-1
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2019
Authors
Publisher
Institute for System Programming of the Russian Academy of Sciences