summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
AgeCommit message (Expand)Author
2025-08-20[clang][dataflow] Fix uninitialized memory bug. (#154575)Yitzhak Mandelbaum
2025-08-18[clang][dataflow] Add support for serialization and deserialization. (#152487)Yitzhak Mandelbaum
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata
2025-04-27[clang] Use range constructors of *Set (NFC) (#137574)Kazu Hirata
2025-02-01[clang][dataflow][NFC] Remove double lookup (#125282)Balazs Benics
2024-05-08[clang][dataflow] Allow `DataflowAnalysisContext` to use a non-owned `Solver`...martinboehme
2024-04-16[clang][dataflow] Expose getReferencedDecls and relocate free functions. (#88...Samira Bazuzi
2024-03-19[clang][dataflow][NFC] Rename `ControlFlowContext` to `AdornedCFG`. (#85640)martinboehme
2024-01-16[clang][dataflow] Tighten checking for existence of a function body. (#78163)martinboehme
2024-01-16[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flowConditi...martinboehme
2024-01-10Revert "[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flo...martinboehme
2024-01-09[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flowConditi...martinboehme
2023-12-04[clang][dataflow] Add synthetic fields to `RecordStorageLocation` (#73860)martinboehme
2023-11-07[clang][dataflow] Fix -Wrange-loop-construct in DataflowAnalysisContext.cpp (...Jie Fu
2023-11-07[clang][dataflow] Simplify flow conditions displayed in HTMLLogger. (#70848)martinboehme
2023-10-25[clang][dataflow] Add `Environment::allows()`. (#70046)martinboehme
2023-10-23[clang][dataflow] Remove `DataflowAnalysisContext::flowConditionIsTautology()...martinboehme
2023-10-19Reapply "[dataflow] use true/false literals in formulas, rather than variables"Sam McCall
2023-10-11[clang][dataflow] Add support for lambda captures (#68558)Stanislav Gatev
2023-09-22Revert "[dataflow] use true/false literals in formulas, rather than variables"Douglas Yung
2023-09-22[dataflow] use true/false literals in formulas, rather than variablesSam McCall
2023-09-14[dataflow] Add global invariant condition to DataflowAnalysisContext (#65949)Sam McCall
2023-08-29[clang][dataflow][NFC] Eliminate `getStorageLocation()` / `setStorageLocation...Martin Braenne
2023-08-01[clang][dataflow] Rename `AggregateStorageLocation` to `RecordStorageLocation...Martin Braenne
2023-07-24[clang][dataflow] Eliminate duplication between `AggregateStorageLocation` an...Martin Braenne
2023-07-17[clang][dataflow] Add `DataflowEnvironment::createObject()`.Martin Braenne
2023-07-12[clang] Create a buildkite-pipeline.yml file for clangNikolas Klauser
2023-07-10[clang][dataflow] Various changes to handling of modeled fields.Martin Braenne
2023-07-07Reland "[dataflow] Add dedicated representation of boolean formulas"Sam McCall
2023-07-05Revert "Reland "[dataflow] Add dedicated representation of boolean formulas" ...Sam McCall
2023-07-05[dataflow] use true/false literals in formulas, rather than variablesSam McCall
2023-07-05[dataflow] Replace most BoolValue subclasses with references to Formula (and ...Sam McCall
2023-07-05Reland "[dataflow] Add dedicated representation of boolean formulas"Sam McCall
2023-07-04Revert "[dataflow] Add dedicated representation of boolean formulas"Tom Weaver
2023-07-04[dataflow] Add dedicated representation of boolean formulasSam McCall
2023-06-26[dataflow] Make SAT solver deterministicSam McCall
2023-05-30[clang][dataflow] Remove unnecessary `ASTContext` parameter from `ControlFlow...Martin Braenne
2023-05-25[clang][dataflow] Add a `ControlFlowContext::build()` overload taking a `Func...Martin Braenne
2023-05-15[clang][dataflow] Don't analyze templated declarations.Martin Braenne
2023-04-19[dataflow] add HTML logger: browse code/cfg/analysis timeline/stateSam McCall
2023-04-19[dataflow] Extract arena for Value/StorageLocation out of DataflowAnalysisCon...Sam McCall
2023-04-06[clang][dataflow] Use `isRecordType()` where appropriate.Martin Braenne
2023-04-04[clang][dataflow] Fix -Wdeprecated-declarations after D147302 (NFC)Jie Fu
2023-04-04[clang][dataflow] Add `create<T>()` methods to `Environment` and `DataflowAna...Martin Braenne
2023-03-23[FlowSensitive] Log analysis progress for debugging purposesSam McCall
2023-03-22[dataflow] Log flow condition to the correct stream.Sam McCall
2023-03-15[clang] Use *{Map,Set}::contains (NFC)Kazu Hirata
2023-01-10[clang][dataflow][NFC] Refine names and comments for field filtering.Yitzhak Mandelbaum
2023-01-10[clang][dataflow] Unify `TransferOptions` and `DataflowAnalysisContext::Optio...Yitzhak Mandelbaum
2023-01-09Revert "Revert "[clang][dataflow] Only model struct fields that are used in t...Yitzhak Mandelbaum
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-18 11:28:28 +0000