40 results about "Pointer analysis" patented technology

A system and method for analyzing a concurrent program employ asynchronous function calls for communication and recursion. A control flow graph is constructed based on a context-sensitive pointer analysis, whereupon encountering a function pointer, a points-to set of the function pointer is computed in a context-sensitive fashion to determine a set of potential function calls. The context-sensitive pointer analysis is terminated when no new potential function calls are encountered and where the potential function calls may contribute new data races other than those that exist in the contexts traversed thus far. To decide this, a characterization of pointer aliasing based upon complete update sequences is employed. A set of contexts that may contribute to different data races are enumerated by tracking update sequences for function and lock pointers and pointers that are shared or point to shared memory locations. Data race detection is carried out on the control flow graph.

The invention discloses a method of fully detecting null pointer reference defects. The method comprises recognizing all addressable expressions of an application to be detected based on an abstract syntax tree; carrying out conservative interval arithmetic and pointer analysis on the application to be detected according to a control flow diagram, and generating a procedural summary according to results of the interval arithmetic and the pointer analysis; recognizing all pointer reference and referred pointers according to the procedural summary and the abstract syntax tree, and creating a null pointer reference defect state machine example on each referred pointer; and running the null pointer reference defect state machine examples based on the control flow diagram, carrying out state transition on each defect state machine example on each node of the control flow diagram according to the results of the interval arithmetic and the pointer analysis, and carrying out null pointer reference detection. By adopting the method of fully detecting the null pointer reference defects, the problem of failing to report the null pointer reference defects can be effectively solved, and zero omission and low misinformation of the null pointer reference defect detection are achieved.

Embodiments of the present invention provide a pointer analysis method and device. The pointer analysis method provided by the present invention includes: reading statement information in the multi-threaded program to be analyzed; performing pointer analysis on the program according to the statement information of the program to obtain shared information of the program, the shared information It includes shared amount, pointer pointing set and memory access behavior, wherein the shared amount includes global shared amount and local shared amount; compensation analysis is performed on the shared amount according to the shared information of the program. The embodiment of the present invention solves the problem in the prior art that the pointer analysis of multi-threaded programs is limited to the global share in the program, and the analysis results are not comprehensive, improves the accuracy of pointer analysis, and correspondingly improves the implementation scope of program optimization and effects.