Abstract
The pointer analysis finds out what a pointer points to in a program. This analysis is useful in static program analysis, bug detection, source navigations and so on. We propose an approach to generate new constraints for one points-to and we use the constraints to refine it. The constraints can be used to refine other program analysis as well. This new constraints are based on the sequencings among the edges on a CFL-path. We propose algorithms to compute the sequencing relations for a CFL-path. Based on the news constraints, we propose a method to check the context-sensitivity of a points to by checking whether there is a trace of the C program satisfying the sequencing relations. We implement our approach in a proto-type tool called TCPA to evaluate the efficiency of our approach. Our approach can be useful in static program analysis, source code bug detection and source code understanding.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
