tree 41d775aecea9b190fc7da3c5ea137da248c1f136
parent c0d140353ec9e99371df54ae61d2aa0f304e043d
author Michael Flanders <flanders.michaelk@gmail.com> 1740224220 -0600
committer GitHub <noreply@github.com> 1740224220 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJnubbcCRC1aQ7uu5UhlAAAVAQQAHf2NPs9rct84MSuMUssnu5V
 3htfl9jUdgwEnCg8EmGZPUxWNyEl9USjkXhlIZwMuxTp7I4MyYghUwPhraN2g8om
 uVz4V/0k14EzCV2GgzVd7cv2IM67sbS3SATs6nBJcYNXse4WVOCPx8JmW7FjMjd0
 iQcbFZjTIgbltxmDuZ36lNlmTycaq/Xh6g2FGBCds6UCLzMOgDfRtySVNJqMQxDY
 da/fAkZKljrEsyCSCvRYO/iLwhsW6ZVHI7GDHkFHH48OdLXXdg4gIDVOozEeTHlx
 z9AB7zGtVG29cKvCY6Vn5cZTH8UWnlpfrY+WjNeC2PD6zlm5WYkrnMU4OtJwdppu
 CqbtK65QZ+50GpkwCSFO0hWz3KrUJfi2omHe+ybhgKKxU8HdU/k3u3Fkuz0xooQf
 bbLfB9Nho8kFf3oYWoMYhVFgDGivuG0LsEoaFIH7McpLAqng3sTUOV6/eM/Tc0/c
 VoUrRTEKcRzGmmzwfh37XVZAuMuhX+zTeF1uUfYcCzjDd5yjz7Rhfp8B5eqv4KLh
 XU8Y3xdfjEhko6u3c4DTWCSx3fcmnuqDkiaXvlRhQv+dIZKoAXrrCzJDJNY9ESEH
 4MkdD6ttuvsCvjRmS445Y+/bCY8SpRty0OIcY0RayXl5Z/Vv8zk6EVOjbR0qcDLD
 mt5yxc75L2+jEBbKwyBO
 =UWcM
 -----END PGP SIGNATURE-----
 

[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#123003)

In general, if we see an allocation, we associate the immutable memory
space with the constructed memory region.
This works fine if we see the allocation.
However, with symbolic regions it's not great because there we don't
know anything about their memory spaces, thus put them into the Unknown
space.

The unfortunate consequence is that once we learn about some aliasing
with this Symbolic Region, we can't change the memory space to the
deduced one.

In this patch, we open up the memory spaces as a trait, basically
allowing associating a better memory space with a memregion that
was created with the Unknown memory space.

As a side effect, this means that now queriing the memory space of a
region depends on the State, but many places in the analyzer, such as
the Store, doesn't have (and cannot have) access to the State by design.

This means that some uses must solely rely on the memspaces of the
region, but any other users should use the getter taking a State.

Co-authored-by: Balazs Benics <benicsbalazs@gmail.com>