Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | AnalysisManager.h | 6286 | logplain |
-rw-r--r-- | BasicValueFactory.h | 6720 | logplain |
-rw-r--r-- | BlockCounter.h | 1402 | logplain |
-rw-r--r-- | CheckerContext.h | 6332 | logplain |
-rw-r--r-- | CheckerHelpers.h | 1103 | logplain |
-rw-r--r-- | ConstraintManager.h | 2790 | logplain |
-rw-r--r-- | CoreEngine.h | 18801 | logplain |
-rw-r--r-- | Environment.h | 2958 | logplain |
-rw-r--r-- | ExplodedGraph.h | 13966 | logplain |
-rw-r--r-- | ExprEngine.h | 19221 | logplain |
-rw-r--r-- | ExprEngineBuilders.h | 2400 | logplain |
-rw-r--r-- | MemRegion.h | 34107 | logplain |
-rw-r--r-- | ObjCMessage.h | 7213 | logplain |
-rw-r--r-- | ProgramState.h | 29488 | logplain |
-rw-r--r-- | ProgramStateTrait.h | 5527 | logplain |
-rw-r--r-- | SValBuilder.h | 9035 | logplain |
-rw-r--r-- | SVals.h | 14847 | logplain |
-rw-r--r-- | Store.h | 10846 | logplain |
-rw-r--r-- | StoreRef.h | 1401 | logplain |
-rw-r--r-- | SubEngine.h | 4452 | logplain |
-rw-r--r-- | SummaryManager.h | 1302 | logplain |
-rw-r--r-- | SymbolManager.h | 16914 | logplain |
-rw-r--r-- | TransferFuncs.h | 2927 | logplain |
-rw-r--r-- | WorkList.h | 2654 | logplain |