| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 38 class ExplodedNode;
57 virtual const ExplodedNode*
58 getOriginalNode(const ExplodedNode *N) = 0;
73 const ExplodedNode *ErrorNode;
84 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode)
89 const ExplodedNode *errornode)
102 const ExplodedNode *getErrorNode() const { return ErrorNode; }
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| MacOSKeychainAPIChecker.cpp | 104 ExplodedNode *N) const;
137 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
138 const ExplodedNode *PrevN,
264 ExplodedNode *N = C.generateNode(State);
307 ExplodedNode *N = C.generateNode(State);
365 ExplodedNode *N = C.generateNode(State);
425 ExplodedNode *N = C.generateNode(State);
508 ExplodedNode *N) const {
548 ExplodedNode *N = C.generateNode(State);
588 ExplodedNode *N = B.generateNode(state)
[all...] |
| CallAndMessageChecker.cpp | 49 ExplodedNode *N) const;
64 ExplodedNode *N = C.generateSink();
92 if (ExplodedNode *N = C.generateSink()) {
155 if (ExplodedNode *N = C.generateSink()) {
227 if (ExplodedNode *N = C.generateSink()) {
263 ExplodedNode *N) const {
308 if (ExplodedNode *N = C.generateSink(state))
333 if (ExplodedNode *N = C.generateSink(state))
|
| UnixAPIChecker.cpp | 114 ExplodedNode *N = C.generateSink(trueState);
149 ExplodedNode *N = C.generateSink(state);
197 ExplodedNode *N = C.generateSink(falseState);
|
| VLASizeChecker.cpp | 57 ExplodedNode *N = C.generateSink();
85 ExplodedNode *N = C.generateSink(stateZero);
|
| ArrayBoundChecker.cpp | 64 ExplodedNode *N = C.generateSink(StOutBound);
|
| CastToStructChecker.cpp | 59 if (ExplodedNode *N = C.generateNode()) {
|
| DivZeroChecker.cpp | 59 if (ExplodedNode *N = C.generateSink(stateZero)) {
|
| MacOSXAPIChecker.cpp | 64 ExplodedNode *N = C.generateSink(state);
|
| PointerArithChecker.cpp | 53 if (ExplodedNode *N = C.generateNode()) {
|
| PointerSubChecker.cpp | 62 if (ExplodedNode *N = C.generateNode()) {
|
| ReturnPointerRangeChecker.cpp | 64 ExplodedNode *N = C.generateSink(StOutBound);
|
| UndefResultChecker.cpp | 41 ExplodedNode *N = C.generateSink();
|
| UndefinedAssignmentChecker.cpp | 41 ExplodedNode *N = C.generateSink();
|
| PthreadLockChecker.cpp | 117 ExplodedNode *N = C.generateSink();
181 ExplodedNode *N = C.generateSink();
|
| CastSizeChecker.cpp | 70 if (ExplodedNode *errorNode = C.generateSink()) {
|
| UndefCapturedBlockVarChecker.cpp | 80 if (ExplodedNode *N = C.generateSink()) {
|
| DereferenceChecker.cpp | 73 if (ExplodedNode *N = C.generateSink()) {
100 ExplodedNode *N = C.generateSink(nullState);
179 if (ExplodedNode *N = C.generateSink(nullState)) {
|
| RetainCountChecker.cpp | 56 ExplodedNode *MakeNode(const ProgramState *state, ExplodedNode *Pred,
63 ExplodedNode *N = ENB->generateNode(state, Pred);
[all...] |
| AttrNonNullChecker.cpp | 94 if (ExplodedNode *errorNode = C.generateSink(stateNull)) {
|
| BasicObjCFoundationChecks.cpp | 90 if (ExplodedNode *N = C.generateSink()) {
318 if (ExplodedNode *N = SourceSize < TargetSize ? C.generateSink()
408 ExplodedNode *N = C.generateSink(stateTrue);
467 if (ExplodedNode *N = C.generateNode()) {
589 llvm::Optional<ExplodedNode*> errorNode;
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineCallAndReturn.cpp | 40 const ExplodedNode *Pred = B.getPredecessor();
161 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred,
175 virtual void expandGraph(ExplodedNodeSet &Dst, ExplodedNode *Pred) {
232 void ExprEngine::VisitReturnStmt(const ReturnStmt *RS, ExplodedNode *Pred,
|
| ExprEngineC.cpp | 23 ExplodedNode *Pred,
160 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred,
176 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
185 ExplodedNode *subExprNode = *I;
303 ExplodedNode *Pred,
319 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
340 ExplodedNode *N = *I;
374 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
423 ExplodedNode *Pred,
464 ExplodedNode *Pred
[all...] |
| CheckerManager.cpp | 141 ExplodedNodeSet &Dst, ExplodedNode *Pred) {
181 ExplodedNodeSet &Dst, ExplodedNode *Pred) {
223 ExplodedNodeSet &Dst, ExplodedNode *Pred) {
261 ExplodedNodeSet &Dst, ExplodedNode *Pred) {
301 ExplodedNode *Pred,
332 ExplodedNodeSet &Dst, ExplodedNode *Pred) {
410 ExplodedNode *Pred = *NI;
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 37 class ExplodedNode;
49 virtual void expandGraph(ExplodedNodeSet &Dst, ExplodedNode *Pred) = 0;
235 NodeBuilder &B, ExplodedNode *Pred,
338 typedef CheckerFn<void (const Stmt *, NodeBuilder &, ExplodedNode *Pred,
363 ExplodedNode *Pred,
|
