|
clang
5.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"#include "clang/AST/Expr.h"#include "clang/AST/ExprCXX.h"#include "clang/AST/StmtCXX.h"#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"#include "llvm/ADT/Statistic.h"#include "llvm/Support/Casting.h"Go to the source code of this file.
Macros | |
| #define | DEBUG_TYPE "CoreEngine" |
Functions | |
| STATISTIC (NumSteps,"The # of steps executed.") | |
| STATISTIC (NumReachedMaxSteps,"The # of times we reached the max number of steps.") | |
| STATISTIC (NumPathsExplored,"The # of paths explored by the analyzer.") | |
| #define DEBUG_TYPE "CoreEngine" |
Definition at line 27 of file CoreEngine.cpp.
| STATISTIC | ( | NumSteps | , |
| "The # of steps executed." | |||
| ) |
| STATISTIC | ( | NumReachedMaxSteps | , |
| "The # of times we reached the max number of steps." | |||
| ) |
| STATISTIC | ( | NumPathsExplored | , |
| "The # of paths explored by the analyzer." | |||
| ) |
1.8.6