Composing Context Sensitive Analysis

Pune, India September 11-September 15

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.12

Fourth IEEE International Conference ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Prahladavaradan Sampath Articles by Shrawan Kumar

	ASCII Text	x
	Prahladavaradan Sampath, Shrawan Kumar, "Composing Context Sensitive Analysis," Software Engineering and Formal Methods, International Conference on, pp. 186-195, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006.

	BibTex	x
	@article{ 10.1109/SEFM.2006.12, author = {Prahladavaradan Sampath and Shrawan Kumar}, title = {Composing Context Sensitive Analysis}, journal ={Software Engineering and Formal Methods, International Conference on}, volume = {0}, year = {2006}, isbn = {0-7695-2678-0}, pages = {186-195}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.12}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Engineering and Formal Methods, International Conference on TI - Composing Context Sensitive Analysis SN - 0-7695-2678-0 SP186 EP195 A1 - Prahladavaradan Sampath, A1 - Shrawan Kumar, PY - 2006 KW - null VL - 0 JA - Software Engineering and Formal Methods, International Conference on ER -

Prahladavaradan Sampath, GM India Science Lab, India

Shrawan Kumar, TRDDC, India

In this paper we present a mechanism for developing context-sensitive analyses by composing together two analyses: a subject analysis and a context analysis. The construction provides a means for building analyses of complex properties out of analyses of simpler component properties. In particular, it becomes possible to introduce different forms of context-sensitivity into an analysis.

This paper also considers the practical problems of implementing such analyses. In particular, the na??ve method of implementing the construction leads to analyses that are impractical and infeasible. We attack this problem by proposing a generic abstraction scheme based on the duality-theory of boolean algebras that makes this approach for building context-sensitive analyses practical.

Citation:

Prahladavaradan Sampath, Shrawan Kumar, "Composing Context Sensitive Analysis," sefm, pp.186-195, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.