Code

Fix max malloc size#5298

Code

Merged

tautschnig merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:fix-max-alloc-sizethk123/cbmc:fix-max-alloc-sizeCopy head branch name to clipboard

Apr 23, 2020

Commits

Commits on Apr 22, 2020

• Fix overflow error for objects whose offset is >32

  Show description for 3f86b3e
  

  Thomas Kiley

  committed
  3f86b3e

  Copy full SHA for 3f86b3e

• Add unit test for checking the max malloc size

  Show description for 48497ff
  

  Thomas Kiley

  committed
  48497ff

  Copy full SHA for 48497ff

• Also check for pointers whose width is too small

  Show description for 5a2e85e
  

  Thomas Kiley

  committed
  5a2e85e

  Copy full SHA for 5a2e85e

• Clarify the calculation for working out the max allocation size

  

  Thomas Kiley

  committed
  4fe6842

  Copy full SHA for 4fe6842

• Allow offset of a single bit

  Show description for 12d94f1
  

  Thomas Kiley

  committed
  12d94f1

  Copy full SHA for 12d94f1

• Use mp_integer for calculation

  Show description for 448ff24
  

  Thomas Kiley

  committed
  448ff24

  Copy full SHA for 448ff24