Stanislav Gatev 2ddd57ae1e [clang][dataflow] Model the behavior of optional and std swap ...

Differential Revision: https://reviews.llvm.org/D122129

Reviewed-by: ymandel, xazax.hun

2022-03-22 08:35:34 +00:00

..

Models

[clang][dataflow] Model the behavior of optional and std swap

2022-03-22 08:35:34 +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] Model the behavior of non-standard optional assignment

2022-03-17 17:11:12 +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] Model the behavior of non-standard optional assignment

2022-03-17 17:11:12 +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