clang: lib/StaticAnalyzer/Core/CoreEngine.cpp File Reference (original) (raw)
Go to the source code of this file.
◆ 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." |
|
|
|
) |
|
|
|