diff --git a/README.md b/README.md index 45c179b..8efee6b 100644 --- a/README.md +++ b/README.md @@ -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.