Searched refs:DataFlowSanitizer (Results 1 – 11 of 11) sorted by relevance
| /external/clang/docs/ |
| D | DataFlowSanitizer.rst | 2 DataFlowSanitizer title
16 DataFlowSanitizer is a generalised dynamic data flow analysis.
26 With no program changes, applying DataFlowSanitizer to a program
27 will not alter its behavior. To use DataFlowSanitizer, the program
29 check the tag of a specific data item. DataFlowSanitizer manages
39 DataFlowSanitizer uses a list of functions known as an ABI list to decide
43 how labels are propagated in the former case. DataFlowSanitizer comes with a
47 it is implemented in assembly or another language which DataFlowSanitizer does
51 DataFlowSanitizer's ABI list file is a :doc:`SanitizerSpecialCaseList`.
152 DataFlowSanitizer is a work in progress, currently under development for
|
| D | DataFlowSanitizerDesign.rst | 1 DataFlowSanitizer Design Document
4 This document sets out the design for DataFlowSanitizer, a general
11 DataFlowSanitizer is a program instrumentation which can associate
148 DataFlowSanitizer changes the ABI of each function in the translation unit.
167 The `ABI list <DataFlowSanitizer.html#abi-list>`_ provides a list of functions
|
| D | index.rst | 28 DataFlowSanitizer
|
| D | UsersManual.rst | 973 - ``-fsanitize=dataflow``: :doc:`DataFlowSanitizer`, a general data
|
| /external/llvm/lib/Transforms/Instrumentation/ |
| D | DataFlowSanitizer.cpp | 182 class DataFlowSanitizer : public ModulePass { class
275 DataFlowSanitizer(
284 DataFlowSanitizer &DFS;
287 DataFlowSanitizer::InstrumentedABI IA;
307 DFSanFunction(DataFlowSanitizer &DFS, Function *F, bool IsNativeABI) in DFSanFunction()
358 char DataFlowSanitizer::ID;
359 INITIALIZE_PASS(DataFlowSanitizer, "dfsan",
366 return new DataFlowSanitizer(ABIListFiles, getArgTLS, getRetValTLS); in createDataFlowSanitizerPass()
369 DataFlowSanitizer::DataFlowSanitizer( in DataFlowSanitizer() function in DataFlowSanitizer
380 FunctionType *DataFlowSanitizer::getArgsFunctionType(FunctionType *T) { in getArgsFunctionType()
[all …]
|
| D | CMakeLists.txt | 4 DataFlowSanitizer.cpp
|
| /external/compiler-rt/test/dfsan/ |
| D | lit.cfg | 6 config.name = 'DataFlowSanitizer' + config.name_suffix
24 # DataFlowSanitizer tests are currently supported on Linux only.
|
| D | CMakeLists.txt | 37 add_lit_testsuite(check-dfsan "Running the DataFlowSanitizer tests"
|
| /external/compiler-rt/ |
| D | CODE_OWNERS.TXT | 13 D: DataFlowSanitizer
|
| /external/clang/include/clang/Basic/ |
| D | Sanitizers.def | 81 // DataFlowSanitizer
|
| /external/llvm/docs/ |
| D | LibFuzzer.rst | 893 .. _DataFlowSanitizer: http://clang.llvm.org/docs/DataFlowSanitizer.html target in Trophies
|