| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| APSIntType.h | D | 07-May-2024 | 3.7 KiB | 110 | 55 | |
| AnalysisManager.h | D | 07-May-2024 | 3.5 KiB | 136 | 88 | |
| BasicValueFactory.h | D | 07-May-2024 | 6.3 KiB | 201 | 133 | |
| BlockCounter.h | D | 07-May-2024 | 1.6 KiB | 61 | 28 | |
| CallEvent.h | D | 07-May-2024 | 36.3 KiB | 1,092 | 625 | |
| CheckerContext.h | D | 07-May-2024 | 13 KiB | 350 | 161 | |
| CheckerHelpers.h | D | 07-May-2024 | 1.2 KiB | 50 | 25 | |
| ConstraintManager.h | D | 07-May-2024 | 7 KiB | 189 | 96 | |
| CoreEngine.h | D | 07-May-2024 | 19.1 KiB | 548 | 356 | |
| DynamicTypeInfo.h | D | 07-May-2024 | 1.6 KiB | 53 | 27 | |
| DynamicTypeMap.h | D | 07-May-2024 | 2.2 KiB | 58 | 32 | |
| Environment.h | D | 07-May-2024 | 3.7 KiB | 128 | 70 | |
| ExplodedGraph.h | D | 07-May-2024 | 15.4 KiB | 498 | 280 | |
| ExprEngine.h | D | 07-May-2024 | 27.6 KiB | 647 | 334 | |
| FunctionSummary.h | D | 07-May-2024 | 3.8 KiB | 141 | 95 | |
| LoopWidening.h | D | 07-May-2024 | 1.3 KiB | 37 | 12 | |
| MemRegion.h | D | 07-May-2024 | 43.3 KiB | 1,370 | 856 | |
| ProgramState.h | D | 07-May-2024 | 31.5 KiB | 855 | 494 | |
| ProgramStateTrait.h | D | 07-May-2024 | 7.3 KiB | 246 | 162 | |
| ProgramState_Fwd.h | D | 07-May-2024 | 1.2 KiB | 44 | 28 | |
| SValBuilder.h | D | 07-May-2024 | 12.1 KiB | 334 | 202 | |
| SVals.h | D | 07-May-2024 | 15 KiB | 575 | 391 | |
| Store.h | D | 07-May-2024 | 11.1 KiB | 289 | 141 | |
| StoreRef.h | D | 07-May-2024 | 1.4 KiB | 52 | 25 | |
| SubEngine.h | D | 07-May-2024 | 6.5 KiB | 163 | 90 | |
| SummaryManager.h | D | 07-May-2024 | 1.3 KiB | 62 | 18 | |
| SymbolManager.h | D | 07-May-2024 | 21.1 KiB | 682 | 443 | |
| TaintManager.h | D | 07-May-2024 | 1.6 KiB | 47 | 21 | |
| TaintTag.h | D | 07-May-2024 | 859 | 28 | 8 | |
| WorkList.h | D | 07-May-2024 | 2.7 KiB | 101 | 60 |