Code

Call graph enhancements#1498

Code

Merged

smowton merged 10 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/call_graph_improvementssmowton/cbmc:smowton/feature/call_graph_improvementsCopy head branch name to clipboard

Dec 16, 2017

Commits

Commits on Dec 13, 2017

• Call graph: optionally record callsites

  Show description for 8115248
  smowton

  committed
  8115248

  Copy full SHA for 8115248

• Call graph -> grapht transformation

  Show description for aaa8513
  smowton

  committed
  aaa8513

  Copy full SHA for aaa8513

• grapht: add get_reachable function

  Show description for 9b65862
  smowton

  committed
  9b65862

  Copy full SHA for 9b65862

• Call graph: add constructors that only include reachable functions

  Show description for 3b06a16
  smowton

  committed
  3b06a16

  Copy full SHA for 3b06a16

• Add call graph helpers

  Show description for 8f6f429
  smowton

  committed
  8f6f429

  Copy full SHA for 8f6f429

• Add documentation to call graph

  Show description for 8ed3ccb
  smowton

  committed
  8ed3ccb

  Copy full SHA for 8ed3ccb

• Improve call graph unit tests

  smowton

  committed
  9c29bee

  Copy full SHA for 9c29bee

• Expose limited call graph via goto-instrument

  smowton

  committed
  d136bbc

  Copy full SHA for d136bbc

• Slice global inits: use improved call graph

  Show description for 6228ed3
  smowton

  committed
  6228ed3

  Copy full SHA for 6228ed3

• Rename call graph constructors

  smowton

  committed
  7a98e15

  Copy full SHA for 7a98e15