Lines Matching refs:CheckerContext
39 DefinedOrUnknownSVal, CheckerContext &)>;
54 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
55 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
79 CheckerContext &C) const;
81 CheckerContext &C) const;
83 CheckerContext &C) const;
85 CheckerContext &C) const;
87 CheckerContext &C) const;
89 CheckerContext &C) const;
91 CheckerContext &C) const;
93 CheckerContext &C) const;
105 static const NoteTag *getNoteTag(CheckerContext &C, in getNoteTag()
139 static const NoteTag *getNoteTag(CheckerContext &C, in getNoteTag()
199 CheckerContext &C, bool IsNonNullParam, in addCastTransition()
261 ProgramStateRef State, CheckerContext &C, in addInstanceOfTransition()
343 CheckerContext &C, in evalNonNullParamNonNullReturn()
351 CheckerContext &C) { in evalNonNullParamNullReturn()
358 CheckerContext &C) { in evalNullParamNullReturn()
370 CheckerContext &C) const { in evalCast()
376 CheckerContext &C) const { in evalDynCast()
383 CheckerContext &C) const { in evalCastOrNull()
390 CheckerContext &C) const { in evalDynCastOrNull()
402 CheckerContext &C, in evalZeroParamNonNullReturn()
410 CheckerContext &C) { in evalZeroParamNullReturn()
417 CheckerContext &C) const { in evalCastAs()
422 CheckerContext &C) const { in evalGetAs()
432 CheckerContext &C) const { in evalIsa()
448 CheckerContext &C) const { in evalIsaAndNonNull()
467 CheckerContext &C) const { in evalCall()
518 CheckerContext &C) const { in checkDeadSymbols()