Searched refs:DataFlowSanitizer (Results 1 – 21 of 21) sorted by relevance
2 DataFlowSanitizer title16 DataFlowSanitizer is a generalised dynamic data flow analysis.52 With no program changes, applying DataFlowSanitizer to a program53 will not alter its behavior. To use DataFlowSanitizer, the program55 check the tag of a specific data item. DataFlowSanitizer manages67 DataFlowSanitizer uses a list of functions known as an ABI list to decide71 how labels are propagated in the former case. DataFlowSanitizer comes with a75 it is implemented in assembly or another language which DataFlowSanitizer does79 DataFlowSanitizer's ABI list file is a :doc:`SanitizerSpecialCaseList`.269 DataFlowSanitizer supports up to 8 labels, to achieve low CPU and code[all …]
33 DataFlowSanitizer
1 DataFlowSanitizer Design Document4 This document sets out the design for DataFlowSanitizer, a general11 DataFlowSanitizer is a program instrumentation which can associate219 DataFlowSanitizer changes the ABI of each function in the translation unit.238 The `ABI list <DataFlowSanitizer.html#abi-list>`_ provides a list of functions
3877 with :doc:`DataFlowSanitizer`.
1889 - ``-fsanitize=dataflow``: :doc:`DataFlowSanitizer`, a general data
410 class DataFlowSanitizer { class565 DataFlowSanitizer(const std::vector<std::string> &ABIListFiles);572 DataFlowSanitizer &DFS;608 DFSanFunction(DataFlowSanitizer &DFS, Function *F, bool IsNativeABI, in DFSanFunction()857 DataFlowSanitizer::DataFlowSanitizer( in DataFlowSanitizer() function in DataFlowSanitizer869 TransformedFunction DataFlowSanitizer::getCustomFunctionType(FunctionType *T) { in getCustomFunctionType()904 bool DataFlowSanitizer::isZeroShadow(Value *V) { in isZeroShadow()915 bool DataFlowSanitizer::hasLoadSizeForFastPath(uint64_t Size) { in hasLoadSizeForFastPath()920 bool DataFlowSanitizer::shouldTrackOrigins() { in shouldTrackOrigins()925 Constant *DataFlowSanitizer::getZeroShadow(Type *OrigTy) { in getZeroShadow()[all …]
6 DataFlowSanitizer.cpp
17 "DataFlowSanitizer.cpp",
12 DataFlowSanitizer.cpp \
115 // DataFlowSanitizer
2667 ./usr/include/llvm/Transforms/Instrumentation/DataFlowSanitizer.h
2666 ./usr/include/llvm/Transforms/Instrumentation/DataFlowSanitizer.h
2668 ./usr/include/llvm/Transforms/Instrumentation/DataFlowSanitizer.h
5560 llvm/include/llvm/Transforms/Instrumentation/DataFlowSanitizer.h6856 llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp