Skip to content

Enhance detection of buffer overflows by introducing variable for length of array/blob#1330

Draft
FungOliver wants to merge 133 commits intogoblint:masterfrom
FungOliver:relationalArray

Commits

Commits on Feb 9, 2024

Commits on Feb 10, 2024

Commits on Feb 11, 2024

Commits on Feb 12, 2024

Commits on Feb 13, 2024

Commits on Feb 20, 2024

Commits on Feb 21, 2024

Commits on Feb 26, 2024

Commits on Feb 28, 2024