ESSS. Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.