| .. |
|
CFGMatchSwitchTest.cpp
|
[clang][dataflow] Generalise match switch utility to other AST types and add a `CFGMatchSwitch` which currently handles `CFGStmt` and `CFGInitializer`.
|
2022-09-01 10:15:53 +00:00 |
|
CMakeLists.txt
|
[clang][dataflow] Implement transferBranch
|
2022-10-26 15:24:55 +02:00 |
|
ChromiumCheckModelTest.cpp
|
[clang][dataflow] Modify `transfer` in `DataflowModel` to take `CFGElement` as input instead of `Stmt`.
|
2022-09-19 18:40:29 +00:00 |
|
DataflowAnalysisContextTest.cpp
|
[clang][dataflow] Add support for a Top value in boolean formulas.
|
2022-10-14 17:41:53 +00:00 |
|
DataflowEnvironmentTest.cpp
|
[clang][dataflow] Move NoopAnalysis from unittests to include
|
2022-07-22 14:11:32 +00:00 |
|
DebugSupportTest.cpp
|
[clang][dataflow] Add explicit "AST" nodes for implications and iff
|
2022-07-26 14:19:22 +02:00 |
|
MapLatticeTest.cpp
|
[clang][dataflow] Fix MapLattice::insert() to not drop return value
|
2022-07-25 14:24:33 -04:00 |
|
MatchSwitchTest.cpp
|
[clang][dataflow] Refactor `clang/Analysis/FlowSensitive/MatchSwitchTest.cpp`.
|
2022-09-19 19:10:41 +00:00 |
|
MultiVarConstantPropagationTest.cpp
|
[clang/unittests] Use std::nullopt instead of None (NFC)
|
2022-12-03 12:14:19 -08:00 |
|
SignAnalysisTest.cpp
|
Remove unused #include "llvm/ADT/Optional.h"
|
2022-12-05 06:31:11 +00:00 |
|
SingleVarConstantPropagationTest.cpp
|
[clang/unittests] Use std::nullopt instead of None (NFC)
|
2022-12-03 12:14:19 -08:00 |
|
SolverTest.cpp
|
[clang][dataflow] Add support for a Top value in boolean formulas.
|
2022-10-14 17:41:53 +00:00 |
|
TestingSupport.cpp
|
Remove unused #include "llvm/ADT/Optional.h"
|
2022-12-05 06:31:11 +00:00 |
|
TestingSupport.h
|
[clang][dataflow] Implement transferBranch
|
2022-10-26 15:24:55 +02:00 |
|
TestingSupportTest.cpp
|
[clang][dataflow] Replace usage of the deprecated overload of `checkDataflow`.
|
2022-09-16 16:19:07 +00:00 |
|
TransferBranchTest.cpp
|
[clang][dataflow] Implement transferBranch
|
2022-10-26 15:24:55 +02:00 |
|
TransferTest.cpp
|
[clang/unittests] Use std::nullopt instead of None (NFC)
|
2022-12-03 12:14:19 -08:00 |
|
TypeErasedDataflowAnalysisTest.cpp
|
[clang][dataflow] Generalize custom comparison to return tri-value result.
|
2022-11-03 23:31:20 +00:00 |
|
UncheckedOptionalAccessModelTest.cpp
|
[clang][dataflow] Replace usage of deprecated functions with the optional check
|
2022-09-19 17:33:25 +00:00 |
|
ValueTest.cpp
|
[clang][dataflow] Add equivalence relation `Value` type.
|
2022-10-19 12:23:09 +00:00 |
a996cc217c