Code

Add missing accesses to VLA lengths#1016

Code

Merged

sim642 merged 4 commits intomastergoblint/analyzer:masterfrom access-vlagoblint/analyzer:access-vlaCopy head branch name to clipboardMar 20, 2023

+58-1

Commits

Commits on Mar 20, 2023

• Add failing test with race in VLA length

  sim642

  committed
  11460bb

  Copy full SHA for 11460bb

• Emit accesses to VLA length

  sim642

  committed
  76df5fa

  Copy full SHA for 76df5fa

• Add failing test with race in sizeof

  sim642

  committed
  f646f19

  Copy full SHA for f646f19

• Emit accesses to sizeof

  sim642

  committed
  ef20185

  Copy full SHA for ef20185