Make points-to analysis handle all intrinsics explicitly#3452

Merged

artemagvanian merged 2 commits intomodel-checking:mainfrom artemagvanian:points-to-handle-all-intrinsics

Aug 19, 2024

+104-121

Commits on Aug 19, 2024