Explore relationships

Shape analysis (program analysis)

In program analysis, shape analysis is a static code analysis technique that discovers and verifies properties of linked, dynamically allocated data structures in (usually imperative) computer programs.

Use + to expand a branch. Click a topic name to open its summary.