| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| APSIntType.h | D | 03-May-2024 | 3.7 KiB | 110 | 55 | |
| AnalysisManager.h | D | 03-May-2024 | 3.5 KiB | 136 | 88 | |
| BasicValueFactory.h | D | 03-May-2024 | 6.3 KiB | 201 | 133 | |
| BlockCounter.h | D | 03-May-2024 | 1.6 KiB | 61 | 28 | |
| CallEvent.h | D | 03-May-2024 | 37.7 KiB | 1,129 | 639 | |
| CheckerContext.h | D | 03-May-2024 | 13.2 KiB | 354 | 162 | |
| CheckerHelpers.h | D | 03-May-2024 | 1.2 KiB | 50 | 25 | |
| ConstraintManager.h | D | 03-May-2024 | 7 KiB | 189 | 96 | |
| CoreEngine.h | D | 03-May-2024 | 19.2 KiB | 551 | 357 | |
| DynamicTypeInfo.h | D | 03-May-2024 | 1.6 KiB | 53 | 27 | |
| DynamicTypeMap.h | D | 03-May-2024 | 2.2 KiB | 58 | 32 | |
| Environment.h | D | 03-May-2024 | 3.7 KiB | 129 | 71 | |
| ExplodedGraph.h | D | 03-May-2024 | 15.8 KiB | 508 | 285 | |
| ExprEngine.h | D | 03-May-2024 | 28.1 KiB | 658 | 340 | |
| FunctionSummary.h | D | 03-May-2024 | 3.8 KiB | 141 | 95 | |
| LoopWidening.h | D | 03-May-2024 | 1.3 KiB | 37 | 12 | |
| MemRegion.h | D | 03-May-2024 | 43.4 KiB | 1,366 | 832 | |
| ProgramState.h | D | 03-May-2024 | 31.5 KiB | 855 | 495 | |
| ProgramStateTrait.h | D | 03-May-2024 | 7.3 KiB | 246 | 162 | |
| ProgramState_Fwd.h | D | 03-May-2024 | 1.2 KiB | 44 | 28 | |
| Regions.def | D | 03-May-2024 | 3.7 KiB | 90 | 84 | |
| SValBuilder.h | D | 03-May-2024 | 12.3 KiB | 339 | 205 | |
| SValVisitor.h | D | 03-May-2024 | 5.1 KiB | 152 | 93 | |
| SVals.def | D | 03-May-2024 | 2.4 KiB | 75 | 67 | |
| SVals.h | D | 03-May-2024 | 15 KiB | 580 | 397 | |
| Store.h | D | 03-May-2024 | 11.1 KiB | 289 | 141 | |
| StoreRef.h | D | 03-May-2024 | 1.4 KiB | 52 | 25 | |
| SubEngine.h | D | 03-May-2024 | 7 KiB | 171 | 95 | |
| SummaryManager.h | D | 03-May-2024 | 1.3 KiB | 62 | 18 | |
| SymExpr.h | D | 03-May-2024 | 3.6 KiB | 124 | 63 | |
| SymbolManager.h | D | 03-May-2024 | 19.3 KiB | 600 | 389 | |
| Symbols.def | D | 03-May-2024 | 1.7 KiB | 56 | 48 | |
| TaintManager.h | D | 03-May-2024 | 1.6 KiB | 47 | 21 | |
| TaintTag.h | D | 03-May-2024 | 859 | 28 | 8 | |
| WorkList.h | D | 03-May-2024 | 2.7 KiB | 101 | 60 |