reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
90 ASTContext &Ctx = C.getASTContext(); 97 ProgramStateRef state = C.getState(); 98 SVal sizeV = C.getSVal(SE); 101 reportBug(VLA_Garbage, SE, state, C); 112 reportBug(VLA_Tainted, SE, nullptr, C, 124 reportBug(VLA_Zero, SE, stateZero, C); 136 SValBuilder &svalBuilder = C.getSValBuilder(); 144 ConstraintManager &CM = C.getConstraintManager(); 149 reportBug(VLA_Negative, SE, state, C); 169 const LocationContext *LC = C.getLocationContext(); 181 C.addTransition(state);