| .. | | 13-Apr-2024 | - |
| APSIntType.h | H A D | 09-Feb-2023 | 3.7 KiB | 109 | 55 |
| AnalysisManager.h | H A D | 08-May-2022 | 4.6 KiB | 161 | 102 |
| BasicValueFactory.h | H A D | 23-Jun-2023 | 9.1 KiB | 294 | 200 |
| BlockCounter.h | H A D | 08-May-2022 | 1.6 KiB | 60 | 28 |
| CallDescription.h | H A D | 23-Jun-2023 | 10.1 KiB | 258 | 101 |
| CallEvent.h | H A D | 13-Apr-2024 | 51.4 KiB | 1,449 | 827 |
| CheckerContext.h | H A D | 12-Jan-2024 | 16.6 KiB | 432 | 210 |
| CheckerHelpers.h | H A D | 23-Jun-2023 | 3.5 KiB | 118 | 70 |
| ConstraintManager.h | H A D | 13-Apr-2024 | 7.7 KiB | 199 | 103 |
| CoreEngine.h | H A D | 12-Jan-2024 | 20 KiB | 593 | 374 |
| DynamicCastInfo.h | H A D | 08-May-2022 | 1.5 KiB | 56 | 35 |
| DynamicExtent.h | H A D | 13-Apr-2024 | 2.7 KiB | 65 | 23 |
| DynamicType.h | H A D | 13-Apr-2024 | 4.2 KiB | 90 | 45 |
| DynamicTypeInfo.h | H A D | 14-May-2022 | 1.7 KiB | 56 | 28 |
| Environment.h | H A D | 08-May-2022 | 3.8 KiB | 126 | 70 |
| ExplodedGraph.h | H A D | 12-Jan-2024 | 17.7 KiB | 542 | 299 |
| ExprEngine.h | H A D | 12-Jan-2024 | 44 KiB | 1,021 | 541 |
| FunctionSummary.h | H A D | 23-Jun-2023 | 4 KiB | 142 | 97 |
| LoopUnrolling.h | H A D | 14-May-2022 | 2.1 KiB | 48 | 14 |
| LoopWidening.h | H A D | 08-May-2022 | 1.4 KiB | 36 | 12 |
| MemRegion.h | H A D | 12-Jan-2024 | 54.3 KiB | 1,674 | 1,014 |
| ProgramState.h | H A D | 23-Jun-2023 | 35 KiB | 927 | 519 |
| ProgramStateTrait.h | H A D | 09-Feb-2023 | 11.1 KiB | 299 | 168 |
| ProgramState_Fwd.h | H A D | 08-May-2022 | 1.2 KiB | 43 | 28 |
| RangedConstraintManager.h | H A D | 09-Feb-2023 | 19.8 KiB | 503 | 189 |
| Regions.def | H A D | 12-Jan-2024 | 4 KiB | 95 | 89 |
| SMTConstraintManager.h | H A D | 12-Jan-2024 | 12.4 KiB | 362 | 237 |
| SMTConv.h | H A D | 23-Jun-2023 | 28.6 KiB | 794 | 551 |
| SValBuilder.h | H A D | 13-Apr-2024 | 15.8 KiB | 420 | 249 |
| SValVisitor.h | H A D | 13-Apr-2024 | 5.4 KiB | 142 | 86 |
| SVals.def | H A D | 13-Apr-2024 | 2.3 KiB | 73 | 65 |
| SVals.h | H A D | 13-Apr-2024 | 15.3 KiB | 509 | 314 |
| SimpleConstraintManager.h | H A D | 09-Feb-2023 | 3.9 KiB | 94 | 42 |
| Store.h | H A D | 23-Jun-2023 | 13.2 KiB | 326 | 154 |
| StoreRef.h | H A D | 08-May-2022 | 1.6 KiB | 54 | 26 |
| SummaryManager.h | H A D | 08-May-2022 | 1.2 KiB | 58 | 16 |
| SymExpr.h | H A D | 12-Jan-2024 | 4.4 KiB | 152 | 81 |
| SymbolManager.h | H A D | 12-Jan-2024 | 22.6 KiB | 693 | 442 |
| Symbols.def | H A D | 09-Feb-2023 | 1.7 KiB | 57 | 48 |
| WorkList.h | H A D | 08-May-2022 | 2.8 KiB | 95 | 56 |