Skip to content

[SV-COMP'18 4/19] Constrain the malloc/alloca size to fit our object:offset encoding#1993

Closed
tautschnig wants to merge 1 commit intodiffblue:developfrom
tautschnig:object-offset-limits

Commits

Commits on Apr 3, 2018