Mode | Name | Size | |
-rw-r--r-- | AnalysisManager.cpp | 3473 | logplain |
-rw-r--r-- | BasicConstraintManager.cpp | 13388 | logplain |
-rw-r--r-- | BasicValueFactory.cpp | 7936 | logplain |
-rw-r--r-- | BlockCounter.cpp | 2590 | logplain |
-rw-r--r-- | BugReporter.cpp | 67740 | logplain |
-rw-r--r-- | BugReporterVisitors.cpp | 25430 | logplain |
-rw-r--r-- | CMakeLists.txt | 1023 | logplain |
-rw-r--r-- | Checker.cpp | 1254 | logplain |
-rw-r--r-- | CheckerContext.cpp | 2743 | logplain |
-rw-r--r-- | CheckerHelpers.cpp | 2291 | logplain |
-rw-r--r-- | CheckerManager.cpp | 25936 | logplain |
-rw-r--r-- | CheckerRegistry.cpp | 5188 | logplain |
-rw-r--r-- | CoreEngine.cpp | 20995 | logplain |
-rw-r--r-- | Environment.cpp | 10222 | logplain |
-rw-r--r-- | ExplodedGraph.cpp | 12433 | logplain |
-rw-r--r-- | ExprEngine.cpp | 73726 | logplain |
-rw-r--r-- | ExprEngineC.cpp | 30345 | logplain |
-rw-r--r-- | ExprEngineCXX.cpp | 11651 | logplain |
-rw-r--r-- | ExprEngineCallAndReturn.cpp | 18216 | logplain |
-rw-r--r-- | ExprEngineObjC.cpp | 10992 | logplain |
-rw-r--r-- | FunctionSummary.cpp | 1213 | logplain |
-rw-r--r-- | HTMLDiagnostics.cpp | 18047 | logplain |
-rw-r--r-- | IntervalConstraintManager.cpp | 16702 | logplain |
-rw-r--r-- | Makefile | 582 | logplain |
-rw-r--r-- | MemRegion.cpp | 34824 | logplain |
-rw-r--r-- | ObjCMessage.cpp | 2822 | logplain |
-rw-r--r-- | PathDiagnostic.cpp | 24500 | logplain |
-rw-r--r-- | PlistDiagnostics.cpp | 17114 | logplain |
-rw-r--r-- | ProgramState.cpp | 23323 | logplain |
-rw-r--r-- | RangeConstraintManager.cpp | 16201 | logplain |
-rw-r--r-- | RegionStore.cpp | 72742 | logplain |
-rw-r--r-- | SValBuilder.cpp | 13710 | logplain |
-rw-r--r-- | SVals.cpp | 10247 | logplain |
-rw-r--r-- | SimpleConstraintManager.cpp | 10308 | logplain |
-rw-r--r-- | SimpleConstraintManager.h | 4051 | logplain |
-rw-r--r-- | SimpleSValBuilder.cpp | 35279 | logplain |
-rw-r--r-- | Store.cpp | 13299 | logplain |
-rw-r--r-- | SubEngine.cpp | 465 | logplain |
-rw-r--r-- | SymbolManager.cpp | 15587 | logplain |
-rw-r--r-- | TextPathDiagnostics.cpp | 2519 | logplain |