On Efficiency and Accuracy of Data Flow Tracking Systems
Author | : |
Publisher | : |
Total Pages | : |
Release | : 2015 |
ISBN-10 | : OCLC:945485809 |
ISBN-13 | : |
Rating | : 4/5 (09 Downloads) |
Book excerpt: The TaintMark approach is inspired by blackbox differential testing principles to test for inaccuracies in DFTs, but it also addresses numerous practical challenges that arise when applying those principles to real, complex applications. We introduce the TaintMark methodology by using it to understand taint tracking accuracy trade-offs in TaintDroid, a well-known DFT system for Android. While the aforementioned works focus on the efficiency and accuracy issues of DFT systems that dynamically track data flow, we also explore another design choice that statically tracks information flow by analyzing and instrumenting the application source code. We apply this approach to the different problem of integer error detection in order to reduce the number of false alarmings.