clang  5.0.0

BugReporter → PathSensitive Relation

File in include/clang/StaticAnalyzer/Core/BugReporterIncludes file in include/clang/StaticAnalyzer/Core/PathSensitive
BugReporter.hProgramState.h
BugReporterVisitor.hSVals.h