Code

Feature memory-analyzer#2648

Code

Closed

mmuesly wants to merge 7 commits intodiffblue:developdiffblue/cbmc:developfrom

mmuesly:feature_memory_analyzermmuesly/cbmc:feature_memory_analyzerCopy head branch name to clipboard

Commits

Commits on Jul 31, 2018

• Add a highlevel api to test types on exprt and typet

  Show description for f8f661c
  mmuesly

  committed
  f8f661c

  Copy full SHA for f8f661c

• Add an api to analyze a core dump with gdb

  Show description for 66c1db1
  mmuesly

  committed
  66c1db1

  Copy full SHA for 66c1db1

• Add constants for the integer base system

  Show description for 5165d05
  mmuesly

  committed
  5165d05

  Copy full SHA for 5165d05

• Add the actual core dump analyzer

  Show description for c457ae9
  mmuesly

  committed
  c457ae9

  Copy full SHA for c457ae9

• Add regression tests for the memory analyzer

  Show description for fc7046c
  mmuesly

  committed
  fc7046c

  Copy full SHA for fc7046c

• Add Makefiles enabeling memory-analyzer and tests

  mmuesly

  committed
  25b7766

  Copy full SHA for 25b7766

• Update unit/Makefile for removing miniBDD.o on clean

  mmuesly

  committed
  a455b5d

  Copy full SHA for a455b5d