Code

Dynamic memory snapshot#4578

Code

Merged

xbauch merged 17 commits intodiffblue:developdiffblue/cbmc:developfrom

xbauch:feature/dynamic-memory-snapshotxbauch/cbmc:feature/dynamic-memory-snapshotCopy head branch name to clipboard

May 30, 2019

Commits

Commits on May 30, 2019

• Fix the ordering in which symbols are initialised

  Show description for 221a7ae
  petr-bauch

  committed
  221a7ae

  Copy full SHA for 221a7ae

• Add documentation to gdb api

  Show description for c1a65c4
  petr-bauch

  committed
  c1a65c4

  Copy full SHA for c1a65c4

• Un-constify pointer_valuet data

  Show description for b4ebeff
  petr-bauch

  committed
  b4ebeff

  Copy full SHA for b4ebeff

• Helpers to extract values from gdb record

  Show description for 4807320
  petr-bauch

  committed
  4807320

  Copy full SHA for 4807320

• Collecting the malloc information directly

  Show description for e1b446b
  petr-bauch

  committed
  e1b446b

  Copy full SHA for e1b446b

• Reimplement query-malloc-size

  Show description for 43cb772
  petr-bauch

  committed
  43cb772

  Copy full SHA for 43cb772

• Introduce facilities for tracking dynamically allocated memory

  Show description for 22368b0
  petr-bauch

  committed
  22368b0

  Copy full SHA for 22368b0

• Re-implement points_to_member query

  Show description for dff2162
  petr-bauch

  committed
  dff2162

  Copy full SHA for dff2162

• Initialise the databases for dynamic allocation and known symbols

  Show description for a20ee20
  petr-bauch

  committed
  a20ee20

  Copy full SHA for a20ee20

• Wrap extracting the type size

  Show description for 3113c15
  petr-bauch

  committed
  3113c15

  Copy full SHA for 3113c15

• Remove building dummies for pointee objects

  Show description for 3950c99
  petr-bauch

  committed
  3950c99

  Copy full SHA for 3950c99

• Refactor get-pointer-to-member-value

  Show description for 46ac404
  petr-bauch

  committed
  46ac404

  Copy full SHA for 46ac404

• Refactor get-pointer-value

  Show description for 23f02fb
  petr-bauch

  committed
  23f02fb

  Copy full SHA for 23f02fb

• Make the assignments into a map

  Show description for 5712386
  petr-bauch

  committed
  5712386

  Copy full SHA for 5712386

• Update older tests

  Show description for 8ef9155
  petr-bauch

  committed
  8ef9155

  Copy full SHA for 8ef9155

• More tests for static and dynamic arrays

  Show description for e01e0df
  petr-bauch

  committed
  e01e0df

  Copy full SHA for e01e0df

• Build goto-gcc during compilation

  Show description for ba8beb5
  petr-bauch

  committed
  ba8beb5

  Copy full SHA for ba8beb5