Shape Analysis by Refining on Abstract Evaluation Path | Zendy

Xiaodong Ma | Zendy; Ji Wang | Zendy; Wei Dong | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Shape Analysis by Refining on Abstract Evaluation Path

Author(s) -

Xiaodong Ma,

Ji Wang,

Wei Dong

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.03.090

Subject(s) - computer science , refining (metallurgy) , path (computing) , set (abstract data type) , statement (logic) , expression (computer science) , graph , semantics (computer science) , programming language , path analysis (statistics) , theoretical computer science , algorithm , machine learning , chemistry , political science , law

This paper presents a novel method for shape analysis, which can deal with complex expressions in C language. It supports taking addresses of fields and stack variables. The concept of abstract evaluation path (AEP) is proposed, which is generated from the expression in the language. AEP is used to refine the abstract shape graph (ASG) to get a set of more precise ASGs, on which the semantics of the statement can be defined easily. The results can be used to determine “shape invariants” and detect memory leak conservatively. A prototype has been implemented and the results of the experiment are shown

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research