The invention discloses an abstract memory model for static analysis of a C program sequential storage structure. For the pre-processed C program, interval operation and pointer analysis technology is adopted to analyze a pointer access sequence storage structure operation process in a program C. The method comprises the steps of A, performing modeling suitable for data flow analysis on a sequence storage structure, and describing abstract representation of the sequence storage structure in a memory and pointing areas and offsets of pointer variables pointing to the sequence storage structure; B, defining migration operation of accessing a sequential storage structure through a pointer, and proposing safety range judgment to ensure operation safety; and C, defining a predicate operation of accessing the sequential storage structure through a pointer. According to the method, the property of offset on the sequential storage structure can be effectively described, meanwhile, the processof accessing the sequential storage structure by the pointer can be accurately described through defined migration operation and predicate operation, and the operation safety is guaranteed.