Skip to content

Make Base.get more precise with unknown points during dereference

89a1adf
Select commit
Loading
Failed to load commit list.
Merged

Fix unsound dereferencing of unknown pointer offset chain in DDVerify #684

Make Base.get more precise with unknown points during dereference
89a1adf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs