Sciweavers

Share
ISSTA
2010
ACM

Strict control dependence and its effect on dynamic information flow analyses

9 years 3 days ago
Strict control dependence and its effect on dynamic information flow analyses
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that affects individual outputs). Without considering control dependence, information can leak via implicit channels without being tracked; important inputs may be absent from output lineage. However, considering control dependence may lead to a large volume of false alarms in information flow tracking or undesirably large lineage sets. We identify a special type of control dependence called strict control dependence (SCD). The nature of SCDs highly resembles that of data dependences, reflecting strong correlations between statements and hence should be considered the same way as data dependences in various applications. We formally define the semantics. We also describe a cost-effective design that allows tracing only strict control dependence. Our empirical evaluation shows that the proposed technique has v...
Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2010
Where ISSTA
Authors Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
Comments (0)
books