Filters








7,075 Hits in 11.4 sec

Equivalence analysis

Donglin Liang, Mary Jean Harrold
1999 Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '99  
This paper presents equivalence analysis, a general technique to improve the efficiency of data-flow analyses in the presence of pointers.  ...  Our empirical studies indicate that equivalence analysis may effectively improve the efficiency of many data-flow analyses.  ...  This paper presents equivalence analysis, a new technique that may improve the efficiency of many data-flow analyses in the presence of pointer variables.  ... 
doi:10.1145/316158.316175 dblp:conf/paste/LiangH99 fatcat:afi52zplofdfpge6be4vsvdzpq

Equivalence analysis

Donglin Liang, Mary Jean Harrold
1999 Software engineering notes  
This paper presents equivalence analysis, a general technique to improve the efficiency of data-flow analyses in the presence of pointers.  ...  Our empirical studies indicate that equivalence analysis may effectively improve the efficiency of many data-flow analyses.  ...  This paper presents equivalence analysis, a new technique that may improve the efficiency of many data-flow analyses in the presence of pointer variables.  ... 
doi:10.1145/381788.316175 fatcat:oedfwnjohfcsbjk72neju3e7m4

Equivalence analysis and its application in improving the efficiency of program slicing

Donglin Liang, Mary Jean Harrold
2002 ACM Transactions on Software Engineering and Methodology  
This paper presents equivalence analysis, a general technique to improve the efficiency of data-flow analyses in the presence of pointer variables.  ...  Thus, a data-flow analysis needs to compute the data-flow information for only a representative memory location in an equivalence class.  ...  There are other techniques that can improve the efficiency of data-flow analysis in the presence of pointer variables.  ... 
doi:10.1145/567793.567796 fatcat:73y6gz7c7rao5gkrngpf6gshkq

Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis

Guoqing Xu, Atanas Rountev
2008 Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08  
This technique naturally results in a new non-BDD context-sensitive points-to analysis.  ...  The experimental results show improvements over an existing 1-object-sensitive analysis with heap cloning, which is the most precise scalable analysis implemented in the state-of-the-art Paddle analysis  ...  We would like to thank the ISSTA reviewers for their valuable and very thorough comments and suggestions.  ... 
doi:10.1145/1390630.1390658 dblp:conf/issta/XuR08 fatcat:awx22va5ljegzjiuaa7borif2e

Interprocedural pointer alias analysis

Michael Hind, Michael Burke, Paul Carini, Jong-Deok Choi
1999 ACM Transactions on Programming Languages and Systems  
algorithm that incorporates kill information to improve precision; (5) empirical measurements of the efficiency and precision of the three interprocedural alias analysis algorithms.  ...  ; (2) a flow-sensitive interprocedural pointer alias analysis algorithm; (3) a flow-insensitive interprocedural pointer alias analysis algorithm; (4) a flow-insensitive interprocedural pointer alias analysis  ...  Anthony Pioli played a significant role in the design, implementation, and testing of the algorithms described in this ar-  ... 
doi:10.1145/325478.325519 fatcat:tpykmvjhhnen5e4ey6o4g23zq4

Semi-sparse flow-sensitive pointer analysis

Ben Hardekopf, Calvin Lin
2008 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09  
little progress has been made in improving the scalability of flow-sensitive pointer analysis.  ...  Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive.  ...  This research was supported by Air Force Research Laboratory contract FA8750-07-C-0035 from the Disruptive Technology Office and from a grant from the Intel Research Council.  ... 
doi:10.1145/1480881.1480911 dblp:conf/popl/HardekopfL09 fatcat:ozjqdfl2xbfn5nsdgrszqmkvvi

Semi-sparse flow-sensitive pointer analysis

Ben Hardekopf, Calvin Lin
2009 SIGPLAN notices  
little progress has been made in improving the scalability of flow-sensitive pointer analysis.  ...  Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive.  ...  This research was supported by Air Force Research Laboratory contract FA8750-07-C-0035 from the Disruptive Technology Office and from a grant from the Intel Research Council.  ... 
doi:10.1145/1594834.1480911 fatcat:7pq7lzqvqnawrpflhcx4gulvvi

Effective whole-program analysis in the presence of pointers

Darren C. Atkinson, William G. Griswold
1998 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '98/FSE-6  
First, we use a fast, flow-insensitive, points-to analysis before traditional data-flow analysis.  ...  We present new techniques for effectively coping with pointers in large software systems written in the C programming language and use our techniques to implement a program slicing tool.  ...  Acknowledgements: Thanks to Jeanne Ferrante for her help on the data-flow equations.  ... 
doi:10.1145/288195.288217 dblp:conf/sigsoft/AtkinsonG98 fatcat:h2wlgqx3rfbpznubsxotgnoy3y

Effective whole-program analysis in the presence of pointers

Darren C. Atkinson, William G. Griswold
1998 Software engineering notes  
First, we use a fast, flow-insensitive, points-to analysis before traditional data-flow analysis.  ...  We present new techniques for effectively coping with pointers in large software systems written in the C programming language and use our techniques to implement a program slicing tool.  ...  Acknowledgements: Thanks to Jeanne Ferrante for her help on the data-flow equations.  ... 
doi:10.1145/291252.288217 fatcat:siv33skaqrdufe2uhxz7aa5ada

Detecting Trivial Mutant Equivalences via Compiler Optimisations

Marinos Kintis, Mike Papadakis, Yue Jia, Nicos Malevris, Yves Le Traon, Mark Harman
2018 IEEE Transactions on Software Engineering  
It is used to evaluate the adequacy of test suites and to guide test case generation.  ...  It is a potentially powerful form of testing, but it is well-known that its effectiveness is inhibited by the presence of equivalent mutants.  ...  It can also be used as a technique for generating test data [10] , [11] , as well as for assessing test data quality and can also explore subtle faults [12] , [13] in the presence of fault masking  ... 
doi:10.1109/tse.2017.2684805 fatcat:jlhuiljrbzbclmr622vwdcgkjm

Points-to analysis with efficient strong updates

Ondrej Lhoták, Kwok-Chiang Andrew Chung
2011 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11  
We have implemented and evaluated the analysis as an extension of the standard flow-insensitive points-to analysis in the LLVM compiler infrastructure.  ...  The analysis therefore focuses flow sensitivity on singleton sets. Larger sets, which will not lead to strong updates, are modelled flow insensitively to maintain efficiency.  ...  Acknowledgements We thank Ben Hardekopf for his assistance with the semi-sparse analysis of [17] .  ... 
doi:10.1145/1926385.1926389 dblp:conf/popl/LhotakC11 fatcat:3lhnw5kj6rhvjmnehxwya4xcuu

Putting pointer analysis to work

Rakesh Ghiya, Laurie J. Hendren
1998 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98  
This paper addresses the problem of how to apply pointer analysis to a wide variety of compiler applications. We are not presenting a new pointer analysis.  ...  We have implemented our techniques in our McCAT C compiler, and we demonstrate examples of applying our methods on a set of pointer-intensive C benchmarks, as well as present concrete empirical data on  ...  Shapiro and Horwitz study the effects of various flow-insensitive pointer analyses on the efficiency and precision of other anaIyses like live variable analysis and GMOD analysis, but not on actual program  ... 
doi:10.1145/268946.268957 dblp:conf/popl/GhiyaH98 fatcat:fp4wbsq6wrhwnjr4enkxkjfks4

Exception analysis and points-to analysis

Martin Bravenboer, Yannis Smaragdakis
2009 Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09  
We show that our exception analysis is expressible highly elegantly in a declarative form, and can apply to points-to analyses of varying precision.  ...  At the same time, our analysis achieves much higher precision of points-to information (an average of half as many values for each reachable variable for most of the DaCapo benchmarks) than points-to analyses  ...  This work was funded by the NSF (CCR-0735267, CCF-0934631) and LogicBlox Inc. We thank Chen Fu and Ondřej Lhoták for their help with our experiments.  ... 
doi:10.1145/1572272.1572274 dblp:conf/issta/BravenboerS09 fatcat:pqjoiv5vbnfgbj2ktg6plzqafi

PtrTracker: Pragmatic pointer analysis

Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck
2013 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM)  
Static program analysis for bug detection in industrial C/C++ code has many challenges. One of them is to analyze pointer and pointer structures efficiently.  ...  In this work we present a new pointer analysis tool for C/C++ code.  ...  For verification purposes, the pointer analysis is used to improve the accuracy of the static analysis phase and to remove false positives (spurious warnings).  ... 
doi:10.1109/scam.2013.6648186 dblp:conf/scam/BiallasOCH13 fatcat:mk2schdbkzf3lf7usddofcduea

Control-Flow Analysis of Functional Programs

Jan Midtgaard
2007 BRICS Report Series  
Analyses of the control flow of functional programs have been formulated in multiple settings and have led to many different approximations, starting with the seminal works of Jones, Shivers, and Sestoft  ...  We present a survey of control-flow analysis of functional programs, which has been the subject of extensive investigation throughout the past 25 years.  ...  Jensen and Janus Dam Nielsen for comments on an earlier version of this survey, and to Fritz Henglein and David Van Horn for insightful discussions on control-flow analysis.  ... 
doi:10.7146/brics.v14i18.21936 fatcat:hgc2ce533zdwrgbprp45axhsce
« Previous Showing results 1 — 15 out of 7,075 results