Article

Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation

Authors:

TAPSOFT '95: Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development

Pages 651 - 665

Published: 22 May 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Reaves BBowers JGorski III SAnise OBobhate RCho RDas HHussain SKarachiwala HScaife NWright BButler KEnck WTraynor P(2016)*droidACM Computing Surveys10.1145/299635849:3(1-30)Online publication date: 21-Oct-2016
https://dl.acm.org/doi/10.1145/2996358
Ravitch TCreswick ETomb AFoltzer AElliott TCasburn LPreda MMcDonald J(2014)Multi-App Security Analysis with FUSEProceedings of the 4th Program Protection and Reverse Engineering Workshop10.1145/2689702.2689705(1-10)Online publication date: 9-Dec-2014
https://dl.acm.org/doi/10.1145/2689702.2689705
Brabrand CRibeiro MTolêdo TWinther JBorba P(2013)Intraprocedural dataflow analysis for software product linesTransactions on Aspect-Oriented Software Development X10.5555/2554488.2554491(73-108)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.5555/2554488.2554491
Show More Cited By

Index Terms

Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation

Index terms have been assigned to the content through auto-classification.

Recommendations

Interprocedural pointer alias analysis

We present practical approximation methods for computing and representing interprocedural aliases for a program written in a language that includes pointers, reference parameters, and recursion. We present the following contributions: (1) a framework ...
Precise interprocedural analysis using random interpretation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural analyses. There is no such natural extension known for deterministic ...
Precise interprocedural analysis using random interpretation
POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural analyses. There is no such natural extension known for deterministic ...

Comments

Information & Contributors

Information

Published In

TAPSOFT '95: Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development

May 1995

800 pages

ISBN:3540592938

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 22 May 1995

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Reaves BBowers JGorski III SAnise OBobhate RCho RDas HHussain SKarachiwala HScaife NWright BButler KEnck WTraynor P(2016)*droidACM Computing Surveys10.1145/299635849:3(1-30)Online publication date: 21-Oct-2016
https://dl.acm.org/doi/10.1145/2996358
Ravitch TCreswick ETomb AFoltzer AElliott TCasburn LPreda MMcDonald J(2014)Multi-App Security Analysis with FUSEProceedings of the 4th Program Protection and Reverse Engineering Workshop10.1145/2689702.2689705(1-10)Online publication date: 9-Dec-2014
https://dl.acm.org/doi/10.1145/2689702.2689705
Brabrand CRibeiro MTolêdo TWinther JBorba P(2013)Intraprocedural dataflow analysis for software product linesTransactions on Aspect-Oriented Software Development X10.5555/2554488.2554491(73-108)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.5555/2554488.2554491
Callahan DCooper KKennedy KTorczon L(2004)Interprocedural constant propagationACM SIGPLAN Notices10.1145/989393.98941239:4(155-166)Online publication date: 1-Apr-2004
https://dl.acm.org/doi/10.1145/989393.989412
Franke BO'boyle M(2003)Array recovery and high-level transformations for DSP applicationsACM Transactions on Embedded Computing Systems10.1145/643470.6434722:2(132-162)Online publication date: 1-May-2003
https://dl.acm.org/doi/10.1145/643470.643472
Goodwin D(1997)Interprocedural dataflow analysis in an executable optimizerACM SIGPLAN Notices10.1145/258916.25892732:5(122-133)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/258916.258927
Goodwin DChen MCytron R(1997)Interprocedural dataflow analysis in an executable optimizerProceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation10.1145/258915.258927(122-133)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/258915.258927
Duesterwald EGupta RSoffa MRombach H(1996)A demand-driven analyzer for data flow testing at the integration levelProceedings of the 18th international conference on Software engineering10.5555/227726.227845(575-584)Online publication date: 1-May-1996
https://dl.acm.org/doi/10.5555/227726.227845
Ramalingam G(1996)Data flow frequency analysisACM SIGPLAN Notices10.1145/249069.23143331:5(267-277)Online publication date: 1-May-1996
https://dl.acm.org/doi/10.1145/249069.231433
Ramalingam GFischer C(1996)Data flow frequency analysisProceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation10.1145/231379.231433(267-277)Online publication date: 1-May-1996
https://dl.acm.org/doi/10.1145/231379.231433

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Interprocedural pointer alias analysis

Precise interprocedural analysis using random interpretation

Precise interprocedural analysis using random interpretation

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations