d5cc7374b3d9fb9d160bbb129728614a75cf099d - llvm-project/clang

commit: d5cc7374b3d9fb9d160bbb129728614a75cf099d
[log]
author: Stanislav Gatev <sgatev@google.com>
Tue Mar 08 09:55:00 2022 +0000
committer: Copybara-Service <copybara-worker@google.com>
Wed Mar 09 01:51:43 2022 -0800
tree: 645529f21e03876c818ec817c25b2bfffc8509fd
parent: 7e7cceb1295e925726d3d672730d697e04fdde65 [diff]

[clang][dataflow] Add analysis that detects unsafe accesses to optionals

Adds a dataflow analysis that detects unsafe accesses to values of type
`std::optional`, `absl::optional`, or `base::Optional`.

Reviewed-by: ymandel, xazax.hun

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

GitOrigin-RevId: ce205cffdfa0f16ce9441ba46fa43e23cecf8be7

include/clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h[Added - diff]
include/clang/Analysis/FlowSensitive/TestingSupport.h[Renamed from unittests/Analysis/FlowSensitive/TestingSupport.h - diff]
lib/Analysis/FlowSensitive/CMakeLists.txt[diff]
lib/Analysis/FlowSensitive/Models/CMakeLists.txt[Added - diff]
lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp[Added - diff]
lib/Analysis/FlowSensitive/TestingSupport.cpp[Renamed from unittests/Analysis/FlowSensitive/TestingSupport.cpp - diff]
unittests/Analysis/FlowSensitive/CMakeLists.txt[diff]
unittests/Analysis/FlowSensitive/DataflowEnvironmentTest.cpp[diff]
unittests/Analysis/FlowSensitive/MatchSwitchTest.cpp[diff]
unittests/Analysis/FlowSensitive/Models/CMakeLists.txt[Added - diff]
unittests/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModelTest.cpp[Added - diff]
unittests/Analysis/FlowSensitive/MultiVarConstantPropagationTest.cpp[diff]
unittests/Analysis/FlowSensitive/SingleVarConstantPropagationTest.cpp[diff]
unittests/Analysis/FlowSensitive/TestingSupportTest.cpp[diff]
unittests/Analysis/FlowSensitive/TransferTest.cpp[diff]
unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp[diff]

16 files changed

tree: 645529f21e03876c818ec817c25b2bfffc8509fd