Collaborated with:
X.Ma J.Yan J.Y.0009 J.Zhang
Talks about:
program (1) printer (1) pointer (1) checker (1) static (1) smart (1) error (1) find (1)
Person: Yaqi Li
DBLP: Li:Yaqi
Contributed to:
Wrote 1 papers:
- ASE-2019-MaYLYZ #c++ #fault #named #pointer #source code #static analysis
- SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs (XM, JY, YL, JY0, JZ), pp. 1122–1125.