Lightweight context sensitive pointer analysis method based on high-order function

The invention discloses a lightweight context sensitive pointer analysis method based on a high-order function. The lightweight context sensitive pointer analysis method comprises the following steps: determining a function analysis sequence; collecting context-insensitive pointing constraints according to a function analysis sequence; collecting context-sensitive pointing constraints; solving the context-insensitive pointing constraint and the context-sensitive pointing constraint to obtain a pointing information analysis result of the called function, and storing the pointing information analysis result in a high-order function form; whether all the functions are analyzed or not is judged, and if not, pointing constraints of other functions continue to be collected; otherwise, outputting a pointer analysis result; according to the method, the situation that an auxiliary variable and a mapping table are additionally introduced for solving the indirect reference problem in an existing method can be avoided, a