SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs.

Xutong Ma Jiwei Yan Yaqi Li Jun Yan Jian Zhang

Published in: ASE (2019)

Keyphrases

data structure
intermediate level
probabilistic model
data mining
logic programs
error analysis
smart environments
fixpoint
method finds