Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | AnalysisManager.h | 5638 | logplain |
-rw-r--r-- | BasicValueFactory.h | 6566 | logplain |
-rw-r--r-- | BlockCounter.h | 1565 | logplain |
-rw-r--r-- | CheckerContext.h | 6594 | logplain |
-rw-r--r-- | CheckerHelpers.h | 1103 | logplain |
-rw-r--r-- | ConstraintManager.h | 2806 | logplain |
-rw-r--r-- | CoreEngine.h | 18521 | logplain |
-rw-r--r-- | Environment.h | 4238 | logplain |
-rw-r--r-- | ExplodedGraph.h | 14113 | logplain |
-rw-r--r-- | ExprEngine.h | 19714 | logplain |
-rw-r--r-- | MemRegion.h | 37084 | logplain |
-rw-r--r-- | ObjCMessage.h | 10357 | logplain |
-rw-r--r-- | ProgramState.h | 31194 | logplain |
-rw-r--r-- | ProgramStateTrait.h | 5530 | logplain |
-rw-r--r-- | ProgramState_Fwd.h | 565 | logplain |
-rw-r--r-- | SValBuilder.h | 10784 | logplain |
-rw-r--r-- | SVals.h | 14223 | logplain |
-rw-r--r-- | Store.h | 10887 | logplain |
-rw-r--r-- | StoreRef.h | 1401 | logplain |
-rw-r--r-- | SubEngine.h | 4794 | logplain |
-rw-r--r-- | SummaryManager.h | 1302 | logplain |
-rw-r--r-- | SymbolManager.h | 20565 | logplain |
-rw-r--r-- | TaintManager.h | 1199 | logplain |
-rw-r--r-- | TaintTag.h | 791 | logplain |
-rw-r--r-- | WorkList.h | 2724 | logplain |