Code

Java Bytecode parsing tidy#1796

Code

Merged

kroening merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:refactor/bytecode-parsing-tidythk123/cbmc:refactor/bytecode-parsing-tidyCopy head branch name to clipboard

Feb 6, 2018

Commits

Commits on Feb 5, 2018

• Improved error reporting on invalid constant pool index

  Show description for 6fe1808
  

  thk123

  committed
  6fe1808

  Copy full SHA for 6fe1808

• Adding an early guard for correctly parsed exception table

  Show description for 9bfe177
  

  thk123

  committed
  9bfe177

  Copy full SHA for 9bfe177

• Adding comments on the non-standard patternt

  

  thk123

  committed
  4a538d2

  Copy full SHA for 4a538d2