Home
last modified time | relevance | path

Searched refs:DataFlowSanitizer (Results 1 – 12 of 12) sorted by relevance

/llvm-project-15.0.7/clang/docs/
H A DDataFlowSanitizer.rst2 DataFlowSanitizer title
16 DataFlowSanitizer is a generalised dynamic data flow analysis.
52 With no program changes, applying DataFlowSanitizer to a program
53 will not alter its behavior. To use DataFlowSanitizer, the program
55 check the tag of a specific data item. DataFlowSanitizer manages
67 DataFlowSanitizer uses a list of functions known as an ABI list to decide
71 how labels are propagated in the former case. DataFlowSanitizer comes with a
79 DataFlowSanitizer's ABI list file is a :doc:`SanitizerSpecialCaseList`.
269 DataFlowSanitizer supports up to 8 labels, to achieve low CPU and code
351 By ``-mllvm -dfsan-track-origins=1`` DataFlowSanitizer collects only
[all …]
H A Dindex.rst33 DataFlowSanitizer
H A DDataFlowSanitizerDesign.rst1 DataFlowSanitizer Design Document
4 This document sets out the design for DataFlowSanitizer, a general
11 DataFlowSanitizer is a program instrumentation which can associate
219 DataFlowSanitizer changes the ABI of each function in the translation unit.
238 The `ABI list <DataFlowSanitizer.html#abi-list>`_ provides a list of functions
H A DLanguageExtensions.rst3746 with :doc:`DataFlowSanitizer`.
H A DUsersManual.rst1708 - ``-fsanitize=dataflow``: :doc:`DataFlowSanitizer`, a general data
/llvm-project-15.0.7/llvm/lib/Transforms/Instrumentation/
H A DDataFlowSanitizer.cpp392 class DataFlowSanitizer { class
546 DataFlowSanitizer &DFS;
798 DataFlowSanitizer::DataFlowSanitizer( in DataFlowSanitizer() function in DataFlowSanitizer
845 bool DataFlowSanitizer::isZeroShadow(Value *V) { in isZeroShadow()
861 bool DataFlowSanitizer::shouldTrackOrigins() { in shouldTrackOrigins()
1107 DataFlowSanitizer::WrapperKind DataFlowSanitizer::getWrapperKind(Function *F) { in getWrapperKind()
1324 bool DataFlowSanitizer::runImpl(Module &M) { in runImpl()
2882 case DataFlowSanitizer::WK_Warning: in visitWrappedCallBase()
2890 case DataFlowSanitizer::WK_Discard: in visitWrappedCallBase()
2896 case DataFlowSanitizer::WK_Functional: in visitWrappedCallBase()
[all …]
H A DCMakeLists.txt6 DataFlowSanitizer.cpp
/llvm-project-15.0.7/llvm/utils/gn/secondary/llvm/lib/Transforms/Instrumentation/
H A DBUILD.gn16 "DataFlowSanitizer.cpp",
/llvm-project-15.0.7/compiler-rt/test/dfsan/
H A DCMakeLists.txt28 add_lit_testsuite(check-dfsan "Running the DataFlowSanitizer tests"
/llvm-project-15.0.7/compiler-rt/
H A DCODE_OWNERS.TXT13 D: DataFlowSanitizer
/llvm-project-15.0.7/clang/include/clang/Basic/
H A DSanitizers.def115 // DataFlowSanitizer
/llvm-project-15.0.7/clang/docs/tools/
H A Dclang-formatted-files.txt5569 llvm/include/llvm/Transforms/Instrumentation/DataFlowSanitizer.h
6868 llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp