Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -93,7 +93,7 @@ Solutions for each exercise are provided in the `solutions` directory.

To determine the objects where variables can point to, we first need to describe what an object is.
During runtime a program can allocate multiple objects using the `new ...` expression at a single location in the program.
Since we are statically analyzing a program we need to approximate object allocation and we do that by representing objects by their allocation size, that is the program location where an object is allocated using a `new ...` expression.
Since we are statically analyzing a program we need to approximate object allocation and we do that by representing objects by their allocation site, that is the program location where an object is allocated using a `new ...` expression.

Write a query to find all allocation sites by looking for the `new ...` expression.

Expand Down