Code

Java basic lazy method conversion#407

Code

Merged

kroening merged 18 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:java_basic_lazy_conversionsmowton/cbmc:java_basic_lazy_conversionCopy head branch name to clipboard

Feb 27, 2017

Commits

Commits on Feb 16, 2017

• Skip already-loaded Java classes

  smowton

  committed
  d70afb7

  Copy full SHA for d70afb7

• Convert Java methods only when they have a caller

  Show description for 11ff2b2
  smowton

  committed
  11ff2b2

  Copy full SHA for 11ff2b2

• Remove dead global variables

  Show description for fcd03f9
  smowton

  committed
  fcd03f9

  Copy full SHA for fcd03f9

• Restrict virtual method targets to known-created types

  Show description for 7f752bb
  smowton

  committed
  7f752bb

  Copy full SHA for 7f752bb

• Mark all classes in root jar reachable if it doesn't declare a main function

  smowton

  committed
  e1cb0c4

  Copy full SHA for e1cb0c4

• Add this-parameter before determining needed classes

  Show description for c10849c
  smowton

  committed
  c10849c

  Copy full SHA for c10849c

• Lazy method conversion: load callee parent classes

  Show description for 8d96409
  smowton

  committed
  8d96409

  Copy full SHA for 8d96409

• Always assume String, Class and Object are callable

  smowton

  committed
  2024c34

  Copy full SHA for 2024c34

• Don't try to call an abstract function

  smowton

  committed
  6700a56

  Copy full SHA for 6700a56

• Make lazy method loading optional

  smowton

  committed
  79ff667

  Copy full SHA for 79ff667

• Add CBMC lazy-methods parameter

  Show description for 5be7106
  smowton

  committed
  5be7106

  Copy full SHA for 5be7106

• Document lazy methods

  smowton

  committed
  d932cfd

  Copy full SHA for d932cfd

• Style fixes

  smowton

  committed
  d19448a

  Copy full SHA for d19448a

• Add lazy loading tests

  smowton

  committed
  7c669b2

  Copy full SHA for 7c669b2

• Improve code style

  Show description for b909a54
  smowton

  committed
  b909a54

  Copy full SHA for b909a54

• Use safe pointers for optional arguments

  Show description for 145c2d4
  smowton

  committed
  145c2d4

  Copy full SHA for 145c2d4

• Add lazy conversion documentation

  Show description for 8e38c0e
  smowton

  committed
  8e38c0e

  Copy full SHA for 8e38c0e

• Improve failed test printer

  smowton

  committed
  73e0479

  Copy full SHA for 73e0479