Article

Solving Demand Versions of Interprocedural Analysis Problems

Author:

Thomas W. RepsAuthors Info & Claims

CC '94: Proceedings of the 5th International Conference on Compiler Construction

Pages 389 - 403

Published: 07 April 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Sun CMidkiff SMussbacher GAtlee JBultan T(2019)Demand-driven refinement of points-to analysisProceedings of the 41st International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion.2019.00106(264-265)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE-Companion.2019.00106
Cai CZhang QZuo ZNguyen KXu GSu Z(2018)Calling-to-reference context translation via constraint-guided CFL-reachabilityACM SIGPLAN Notices10.1145/3296979.319237853:4(196-210)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3296979.3192378
Cai CZhang QZuo ZNguyen KXu GSu ZFoster JGrossman D(2018)Calling-to-reference context translation via constraint-guided CFL-reachabilityProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192378(196-210)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3192366.3192378
Show More Cited By

Solving Demand Versions of Interprocedural Analysis Problems
1. Mathematics of computing

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 ...
Interprocedural Pointer Analysis in Goanna

Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches, Goanna uses the off-the-shelf model checker NuSMV as its core analysis engine on a syntactic flow-...
Demand-driven pointer analysis

Known algorithms for pointer analysis are “global” in the sense that they perform an exhaustive analysis of a program or program component. In this paper we introduce a demand-driven approach for pointer analysis. Specifically, we describe a demand-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

CC '94: Proceedings of the 5th International Conference on Compiler Construction

April 1994

479 pages

ISBN:3540578773

Editor:
Peter Fritzon

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 07 April 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

39
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 05 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sun CMidkiff SMussbacher GAtlee JBultan T(2019)Demand-driven refinement of points-to analysisProceedings of the 41st International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion.2019.00106(264-265)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE-Companion.2019.00106
Cai CZhang QZuo ZNguyen KXu GSu Z(2018)Calling-to-reference context translation via constraint-guided CFL-reachabilityACM SIGPLAN Notices10.1145/3296979.319237853:4(196-210)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3296979.3192378
Cai CZhang QZuo ZNguyen KXu GSu ZFoster JGrossman D(2018)Calling-to-reference context translation via constraint-guided CFL-reachabilityProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192378(196-210)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3192366.3192378
Scholz BJordan HSubotić PWestmann TZaks AHermenegildo M(2016)On fast large-scale program analysis in DatalogProceedings of the 25th International Conference on Compiler Construction10.1145/2892208.2892226(196-206)Online publication date: 17-Mar-2016
https://dl.acm.org/doi/10.1145/2892208.2892226
Weiss CRubio-González CLiblit BBertolino ACanfora GElbaum S(2015)Database-backed program analysis for scalable error propagationProceedings of the 37th International Conference on Software Engineering - Volume 110.5555/2818754.2818827(586-597)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2818754.2818827
Ohmann PBrown DLiblit BReps TXu HBinder W(2015)Recovering execution data from incomplete observationsProceedings of the 13th International Workshop on Dynamic Analysis10.1145/2823363.2823368(19-24)Online publication date: 26-Oct-2015
https://dl.acm.org/doi/10.1145/2823363.2823368
Tierney KPacino DJensen R(2014)On the complexity of container stowage planning problemsDiscrete Applied Mathematics10.1016/j.dam.2014.01.005169(225-230)Online publication date: 1-May-2014
https://dl.acm.org/doi/10.1016/j.dam.2014.01.005
Sridharan MChandra SDolby JFink SYahav E(2013)Alias analysis for object-oriented programsAliasing in Object-Oriented Programming10.5555/2554511.2554523(196-232)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.5555/2554511.2554523
Kastrinis GSmaragdakis Y(2013)Hybrid context-sensitivity for points-to analysisACM SIGPLAN Notices10.1145/2499370.246219148:6(423-434)Online publication date: 16-Jun-2013
https://dl.acm.org/doi/10.1145/2499370.2462191
Kastrinis GSmaragdakis YBoehm HFlanagan C(2013)Hybrid context-sensitivity for points-to analysisProceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/2491956.2462191(423-434)Online publication date: 16-Jun-2013
https://dl.acm.org/doi/10.1145/2491956.2462191
Show More Cited By

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

Recommendations

Interprocedural pointer alias analysis

Interprocedural Pointer Analysis in Goanna

Demand-driven pointer analysis

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