analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Add explicit W set to base protection privatization

Open sim642 opened this issue 10 months ago • 3 comments

Regarding https://github.com/goblint/analyzer/pull/1636#discussion_r1963055883.

Surprisingly, there was even a TODO about it: https://github.com/goblint/analyzer/blob/a9354564fbb6b3d86879a4949f9d93c04399584c/src/analyses/basePriv.ml#L940-L943

sim642 avatar Feb 20 '25 09:02 sim642