2018
DOI: 10.1145/3230624
|View full text |Cite
|
Sign up to set email alerts
|

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

Abstract: xx A Theoretical Foundation of Sensitivity in an Abstract Interpretation FrameworkSE-WON KIM, S-Core 1 XAVIER RIVAL, CNRS, ENS, INRIA Paris-Rocquencourt, PSL* University SUKYOUNG RYU, KAIST Program analyses often utilize various forms of sensitivity such as context sensitivity, call-site sensitivity, and object sensitivity. These techniques all allow for more precise program analyses, that are able to compute more precise program invariants, and to verify stronger properties. Despite the fact that sensitivity … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
5
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
3
3
1

Relationship

1
6

Authors

Journals

citations
Cited by 14 publications
(5 citation statements)
references
References 32 publications
0
5
0
Order By: Relevance
“…Other works have used silhouettes [32]-abstractions of the shapes of the abstract values-to control disjunctions. Following [27], our disjunctions, that are guided by paths in values, can be understood as a form of control sensitivity. It is worth noticing that our disjuncts do not form a partition since some disjuncts may overlap-a degree of freedom that is advocated by [27].…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Other works have used silhouettes [32]-abstractions of the shapes of the abstract values-to control disjunctions. Following [27], our disjunctions, that are guided by paths in values, can be understood as a form of control sensitivity. It is worth noticing that our disjuncts do not form a partition since some disjuncts may overlap-a degree of freedom that is advocated by [27].…”
Section: Related Workmentioning
confidence: 99%
“…Following [27], our disjunctions, that are guided by paths in values, can be understood as a form of control sensitivity. It is worth noticing that our disjuncts do not form a partition since some disjuncts may overlap-a degree of freedom that is advocated by [27]. Based on our present work, we will investigate whether we can re-cast our disjuncts as conjunctions of implications, which could both improve precision and lead to a more parsimonious representations of abstract values.…”
Section: Related Workmentioning
confidence: 99%
“…Our paper introduces a systematic approach to generalize context-insensitive to context-sensitive analyses using BDDs. Kim et al [16] state the importance of utilizing different dimensions of sensitivity in static program analysis to improve the analysis precision. They present a general framework to capture many different dimensions of sensitivity, such as, context-, flow-, trace-sensitivity, that encompass a large variety of well-known analyses in all these dimensions and combination thereof.…”
Section: Relation To Previous Workmentioning
confidence: 99%
“…This definition allows us to explore data-flow-based coverage metrics with different sensitivities [32,36]. We adhere to the program analysis literature and define sensitivity as a coverage metric's ability to discriminate between a set of program behaviors [37]. In fuzzing, a coverage metric's sensitivity is its ability to preserve a chain of mutated test cases until they trigger a bug [32].…”
Section: A Coverage Sensitivitymentioning
confidence: 99%