Code

Improve array bounds checks#339

Code

Merged

peterschrammel merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:improve_array_bounds_checkssmowton/cbmc:improve_array_bounds_checksCopy head branch name to clipboard

Feb 5, 2017

Commits

Commits on Feb 1, 2017

• Check static array bounds of dynamic objects

  Show description for 0f53d14
  smowton

  committed
  0f53d14

  Copy full SHA for 0f53d14

• mode!=ID_java is trivially true in this branch

  Show description for f41505b
  

  tautschnig

  authored and

  smowton

  committed
  f41505b

  Copy full SHA for f41505b

• Limit dereferencing checks to actual access size

  Show description for 867f748
  

  tautschnig

  authored and

  smowton

  committed
  867f748

  Copy full SHA for 867f748