Lines Matching refs:CheckerContext
38 DefinedOrUnknownSVal, CheckerContext &)>;
53 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
54 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
78 CheckerContext &C) const;
80 CheckerContext &C) const;
82 CheckerContext &C) const;
84 CheckerContext &C) const;
86 CheckerContext &C) const;
88 CheckerContext &C) const;
90 CheckerContext &C) const;
92 CheckerContext &C) const;
104 static const NoteTag *getNoteTag(CheckerContext &C, in getNoteTag()
138 static const NoteTag *getNoteTag(CheckerContext &C, in getNoteTag()
198 CheckerContext &C, bool IsNonNullParam, in addCastTransition()
260 ProgramStateRef State, CheckerContext &C, in addInstanceOfTransition()
342 CheckerContext &C, in evalNonNullParamNonNullReturn()
350 CheckerContext &C) { in evalNonNullParamNullReturn()
357 CheckerContext &C) { in evalNullParamNullReturn()
367 CheckerContext &C) const { in evalCast()
373 CheckerContext &C) const { in evalDynCast()
380 CheckerContext &C) const { in evalCastOrNull()
387 CheckerContext &C) const { in evalDynCastOrNull()
399 CheckerContext &C, in evalZeroParamNonNullReturn()
407 CheckerContext &C) { in evalZeroParamNullReturn()
414 CheckerContext &C) const { in evalCastAs()
419 CheckerContext &C) const { in evalGetAs()
429 CheckerContext &C) const { in evalIsa()
445 CheckerContext &C) const { in evalIsaAndNonNull()
464 CheckerContext &C) const { in evalCall()
515 CheckerContext &C) const { in checkDeadSymbols()