Whether context-sensitive program analysis is more effective than context-insensitive analysis is an ongoing discussion. There is evidence that context-sensitivity matters in complex analyses like pointer analysis or program slicing. Empirical data shows that contextsensitive program slicing is more precise and under some circumstances even faster than context-insensitive program slicing. This article will add to the discussion by examining if the context itself matters, i.e. if a given context leads to more precise slices for that context. Based on some experiments, we will show that this is strongly dependent on the structure of the programs
Abstract. In order to analyze programs that manipulate pointers, it is necessary to have safe inform...
Program slicing is a useful analysis for aiding different software engineering activities. In the ...
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each...
Program slicing is a family of program decomposition techniques based on extracting state-ments rele...
Abstract A program slice extracts a semantically meaningful portion of a program, based upon a user-...
Points-to analysis is a static program analysis that extracts reference information from programs, e...
Contextual information plays a vital role for software developers when understanding and fixing a bu...
Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' pa...
Program slicing is useful for assisting with software-maintenance tasks, such as program understandi...
Pervasive programs should be context-aware, which means that program functions should react accordin...
Data dependences, which relate statements that compute data value to statements that use those valu...
Recently, a few whole-program static slicers for the C programming language have been developed, per...
Program slicing is a commonly used approach for understanding and detecting the impact of changes to...
Pointer analysis addresses a fundamental problem in program analysis: determining statically whether...
To compute accurate information efficiently for programs that use pointer variables, a program analy...
Abstract. In order to analyze programs that manipulate pointers, it is necessary to have safe inform...
Program slicing is a useful analysis for aiding different software engineering activities. In the ...
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each...
Program slicing is a family of program decomposition techniques based on extracting state-ments rele...
Abstract A program slice extracts a semantically meaningful portion of a program, based upon a user-...
Points-to analysis is a static program analysis that extracts reference information from programs, e...
Contextual information plays a vital role for software developers when understanding and fixing a bu...
Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' pa...
Program slicing is useful for assisting with software-maintenance tasks, such as program understandi...
Pervasive programs should be context-aware, which means that program functions should react accordin...
Data dependences, which relate statements that compute data value to statements that use those valu...
Recently, a few whole-program static slicers for the C programming language have been developed, per...
Program slicing is a commonly used approach for understanding and detecting the impact of changes to...
Pointer analysis addresses a fundamental problem in program analysis: determining statically whether...
To compute accurate information efficiently for programs that use pointer variables, a program analy...
Abstract. In order to analyze programs that manipulate pointers, it is necessary to have safe inform...
Program slicing is a useful analysis for aiding different software engineering activities. In the ...
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each...