clang: lib/StaticAnalyzer/Core/CoreEngine.cpp File Reference (original) (raw)

Go to the source code of this file.

Functions
STATISTIC (NumSteps, "The # of steps executed.")
STATISTIC (NumSTUSteps, "The # of STU steps executed.")
STATISTIC (NumCTUSteps, "The # of CTU steps executed.")
STATISTIC (NumReachedMaxSteps, "The # of times we reached the max number of steps.")
STATISTIC (NumPathsExplored, "The # of paths explored by the analyzer.")
static std::unique_ptr< WorkList > generateWorkList (AnalyzerOptions &Opts)

DEBUG_TYPE

#define DEBUG_TYPE "CoreEngine"

generateWorkList()

STATISTIC() [1/5]

STATISTIC ( NumCTUSteps ,
"The # of CTU steps executed."
)

STATISTIC() [2/5]

STATISTIC ( NumPathsExplored ,
"The # of paths explored by the analyzer."
)

STATISTIC() [3/5]

STATISTIC ( NumReachedMaxSteps ,
"The # of times we reached the max number of steps."
)

STATISTIC() [4/5]

STATISTIC ( NumSteps ,
"The # of steps executed."
)

STATISTIC() [5/5]

STATISTIC ( NumSTUSteps ,
"The # of STU steps executed."
)