vbpf / prevail / 22153083365

push

github

Replace zone-based TypeDomain with DSU + bitset implementation (#1011)

The zone-based TypeDomain encoded types as integers and tracked them using
a numeric abstract domain (DBM/zones). Since zones are convex, joining
non-adjacent types like {map_fd, shared} would include all intermediate
types as spurious possibilities, losing precision.

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>
Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

1367 of 1440 new or added lines in 17 files covered. (94.93%)

10089 of 11486 relevant lines covered (87.84%)

886886.58 hits per line