Code

Uncaught exceptions analysis#510

Code

Closed

cristina-david wants to merge 4 commits intodiffblue:masterdiffblue/cbmc:masterfrom

cristina-david:uncaught-exceptions-defcristina-david/cbmc:uncaught-exceptions-defCopy head branch name to clipboard

Commits

Commits on Mar 14, 2017

• Modified the expected goto-program for cbmc-java/virtual7

  Show description for 75a6311
  cristina-david

  committed
  75a6311

  Copy full SHA for 75a6311

Commits on Mar 16, 2017

• Added an uncaught exceptions analysis

  Show description for 8feff95
  cristina-david

  committed
  8feff95

  Copy full SHA for 8feff95

• Make sure that both the caller and callee have exceptional return vars before instrumenting function calls

  cristina-david

  committed
  727f37b

  Copy full SHA for 727f37b

Commits on May 20, 2017

• Merge branch 'master' into uncaught-exceptions-def

  

  Daniel Kroening

  authored
  96aafe2

  Copy full SHA for 96aafe2