Skip to content

Make AE pointer comparisons conservative - #1887

Open
bjjwwang wants to merge 2 commits into
SVF-tools:masterfrom
bjjwwang:fix/ae-pointer-comparison
Open

Make AE pointer comparisons conservative#1887
bjjwwang wants to merge 2 commits into
SVF-tools:masterfrom
bjjwwang:fix/ae-pointer-comparison

Represent AE null pointers in the address domain

998aaec
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build (ubuntu-latest)
succeeded Sep 10, 2026 in 14m 38s