| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 72 svalBuilder.evalEQ(state, Extent, Size);
|
| VLASizeChecker.cpp | 150 svalBuilder.evalEQ(state, Extent, ArraySize);
|
| CStringChecker.cpp | 212 return state->assume(svalBuilder.evalEQ(state, *val, zero));
442 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
[all...] |
| MacOSKeychainAPIChecker.cpp | 242 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,
|
| BasicObjCFoundationChecks.cpp | 546 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
[all...] |
| MallocChecker.cpp | 778 svalBuilder.evalEQ(State, Extent, *DefinedSize);
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 118 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineC.cpp | [all...] |
| SValBuilder.cpp | 360 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state,
|
| ExprEngine.cpp | [all...] |
