Work

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