Code

Use malloc fail null by default#8101

Code

Merged

esteffin merged 8 commits intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/default-malloc-failurethomasspriggs/cbmc:tas/default-malloc-failureCopy head branch name to clipboard

Dec 19, 2023

Commits

Commits on Dec 18, 2023

• Add `--no-malloc-fail` parameter

  Show description for 5059a20
  

  thomasspriggs

  authored and

  Enrico Steffinlongo

  committed
  5059a20

  Copy full SHA for 5059a20

• Use `malloc-fail-null` as the default model configuration

  

  thomasspriggs

  authored and

  Enrico Steffinlongo

  committed
  3696020

  Copy full SHA for 3696020

• Make `--no-standard-checks` reinstate old malloc behaviour

  Show description for 06a48de
  

  thomasspriggs

  authored and

  Enrico Steffinlongo

  committed
  06a48de

  Copy full SHA for 06a48de

• Add `--no-malloc-fail` to test runners

  Show description for f69be77
  

  thomasspriggs

  authored and

  Enrico Steffinlongo

  committed
  f69be77

  Copy full SHA for f69be77

• Upate man files to match `--no-malloc-fail` option implemented

  

  thomasspriggs

  authored and

  Enrico Steffinlongo

  committed
  c3635b1

  Copy full SHA for c3635b1

Commits on Dec 19, 2023

• Renamed no-malloc-fail to no-malloc-may-fail to mirror malloc-may-fail

  

  Enrico Steffinlongo

  committed
  77befb9

  Copy full SHA for 77befb9

• Added malloc failure model to goto-analyzer

  

  Enrico Steffinlongo

  committed
  c63610b

  Copy full SHA for c63610b

• Renamed no-malloc-fail to no-malloc-may-fail to mirror malloc-may-fail on tests runners

  

  Enrico Steffinlongo

  committed
  c3c7bc0

  Copy full SHA for c3c7bc0