#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
usingnamespaceclang;
usingnamespaceento;
int ImplicitNullDerefEvent::Tag;
StringRef CheckerBase::getTagDescription() const { … }
CheckerNameRef CheckerBase::getCheckerName() const { … }
CheckerProgramPointTag::CheckerProgramPointTag(StringRef CheckerName,
StringRef Msg)
: … { … }
CheckerProgramPointTag::CheckerProgramPointTag(const CheckerBase *Checker,
StringRef Msg)
: … { … }
raw_ostream& clang::ento::operator<<(raw_ostream &Out,
const CheckerBase &Checker) { … }