Skip to content

[kani] Prove zero-only pointer validation - #3652

Open
joshlf wants to merge 1 commit into
G56sp4dsuukjpe3trlzhqbkuvl6f53jkgfrom
Gzi6kdmiqx3hi24gccqw5f6pebmv47idc
Open

[kani] Prove zero-only pointer validation#3652
joshlf wants to merge 1 commit into
G56sp4dsuukjpe3trlzhqbkuvl6f53jkgfrom
Gzi6kdmiqx3hi24gccqw5f6pebmv47idc

[kani] Prove zero-only pointer validation

4c03bd0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar