Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | AnalysisManager.h | 5576 | logplain |
-rw-r--r-- | BasicValueFactory.h | 6720 | logplain |
-rw-r--r-- | BlockCounter.h | 1565 | logplain |
-rw-r--r-- | CheckerContext.h | 4954 | logplain |
-rw-r--r-- | CheckerHelpers.h | 1103 | logplain |
-rw-r--r-- | ConstraintManager.h | 2770 | logplain |
-rw-r--r-- | CoreEngine.h | 20969 | logplain |
-rw-r--r-- | Environment.h | 2899 | logplain |
-rw-r--r-- | ExplodedGraph.h | 13898 | logplain |
-rw-r--r-- | ExprEngine.h | 19683 | logplain |
-rw-r--r-- | MemRegion.h | 34153 | logplain |
-rw-r--r-- | ObjCMessage.h | 9644 | logplain |
-rw-r--r-- | ProgramState.h | 29629 | 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 | 10788 | logplain |
-rw-r--r-- | StoreRef.h | 1401 | logplain |
-rw-r--r-- | SubEngine.h | 4922 | logplain |
-rw-r--r-- | SummaryManager.h | 1302 | logplain |
-rw-r--r-- | SymbolManager.h | 16914 | logplain |
-rw-r--r-- | WorkList.h | 2654 | logplain |