summaryrefslogtreecommitdiffstats
path: root/llvm/test/Instrumentation/DataFlowSanitizer/arith.ll
Commit message (Collapse)AuthorAgeFilesLines
* [DFSan] Add UnaryOperator visitor to DataFlowSanitizerCameron McInally2019-06-191-0/+10
| | | | | | Differential Revision: https://reviews.llvm.org/D62815 llvm-svn: 363814
* Add target triples to all dfsan tests.Peter Collingbourne2014-12-051-0/+1
| | | | llvm-svn: 223536
* DataFlowSanitizer: correctly combine labels in the case where they are equal.Peter Collingbourne2013-08-231-4/+5
| | | | llvm-svn: 189133
* DataFlowSanitizer: Prefix the name of each instrumented function with "dfs$".Peter Collingbourne2013-08-221-5/+5
| | | | | | | | | | | | | | | | DFSan changes the ABI of each function in the module. This makes it possible for a function with the native ABI to be called with the instrumented ABI, or vice versa, thus possibly invoking undefined behavior. A simple way of statically detecting instances of this problem is to prepend the prefix "dfs$" to the name of each instrumented-ABI function. This will not catch every such problem; in particular function pointers passed across the instrumented-native barrier cannot be used on the other side. These problems could potentially be caught dynamically. Differential Revision: http://llvm-reviews.chandlerc.com/D1373 llvm-svn: 189052
* DataFlowSanitizer; LLVM changes.Peter Collingbourne2013-08-071-0/+62
DataFlowSanitizer is a generalised dynamic data flow analysis. Unlike other Sanitizer tools, this tool is not designed to detect a specific class of bugs on its own. Instead, it provides a generic dynamic data flow analysis framework to be used by clients to help detect application-specific issues within their own code. Differential Revision: http://llvm-reviews.chandlerc.com/D965 llvm-svn: 187923
OpenPOWER on IntegriCloud