Yitzhak Mandelbaum d002495b94 [clang][dataflow] Support integral casts ... Adds support for implicit casts `CK_IntegralCast` and `CK_IntegralToBoolean`. Differential Revision: https://reviews.llvm.org/D123037		2022-04-05 13:55:32 +00:00
..
Models	[clang][dataflow] Add support for `value_or` in a comparison.	2022-03-31 13:21:39 +00:00
CMakeLists.txt	[clang][dataflow] Add analysis that detects unsafe accesses to optionals	2022-03-10 11:05:31 +00:00
ControlFlowContext.cpp	[clang][dataflow] Include terminator statements in buildStmtToBasicBlockMap	2022-02-11 11:15:29 +00:00
DataflowAnalysisContext.cpp	[clang][dataflow] Add flow condition constraints to Environment	2022-03-02 08:57:27 +00:00
DataflowEnvironment.cpp	[clang][dataflow] Add support for correlation of boolean (tracked) values	2022-04-01 17:25:49 +00:00
SourceLocationsLattice.cpp	[clang][dataflow] Add a lattice to track source locations.	2022-03-04 17:13:24 +00:00
Transfer.cpp	[clang][dataflow] Support integral casts	2022-04-05 13:55:32 +00:00
TypeErasedDataflowAnalysis.cpp	[clang][dataflow] Allow disabling built-in transfer functions for CFG terminators	2022-03-15 15:10:32 +00:00
WatchedLiteralsSolver.cpp	[clang][dataflow] Add SAT solver interface and implementation	2022-02-25 14:46:52 +00:00