Code

GDB API [blocks: #4261]#3983

Code

Merged

danpoe merged 17 commits intodiffblue:developdiffblue/cbmc:developfrom

danpoe:feature/gdb-apidanpoe/cbmc:feature/gdb-apiCopy head branch name to clipboard

Mar 19, 2019

Commits

Commits on Mar 19, 2019

• Add an api to analyze a core dump with gdb

  Show description for 1e71fd7
  

  mmuesly

  authored and

  danpoe

  committed
  1e71fd7

  Copy full SHA for 1e71fd7

• Add method to parse gdb output records

  Show description for d28c85c
  danpoe

  committed
  d28c85c

  Copy full SHA for d28c85c

• Remove unnecessary forward declarations of cprover types

  danpoe

  committed
  81fcf26

  Copy full SHA for 81fcf26

• Use streams to communicate with gdb subprocess

  Show description for b73bb29
  danpoe

  committed
  b73bb29

  Copy full SHA for b73bb29

• Adapt gdb interaction exception to cprover style

  danpoe

  committed
  d44dfb9

  Copy full SHA for d44dfb9

• Add #endif comments to gdb api header file

  danpoe

  committed
  a49c421

  Copy full SHA for a49c421

• Update banners for gdb api files

  danpoe

  committed
  0b9480b

  Copy full SHA for 0b9480b

• Switch gdb_apit to using the gdb machine interface

  Show description for fa3c78f
  danpoe

  committed
  fa3c78f

  Copy full SHA for fa3c78f

• Remove unused gdb_inaccessible_memory_exceptiont

  danpoe

  committed
  58f6d11

  Copy full SHA for 58f6d11

• Add empty lines in gdb_api.cpp to improve readability

  danpoe

  committed
  5c518e7

  Copy full SHA for 5c518e7

• Install gdb package in CI to make gdb_apit unit tests work

  danpoe

  committed
  b72245b

  Copy full SHA for b72245b

• Add file module_dependencies.txt to memory-analyzer

  danpoe

  committed
  0e1a5ca

  Copy full SHA for 0e1a5ca

• Replace #ifdef __linux__ by guards allowing more Unices

  Show description for 7e6bd17
  danpoe

  committed
  7e6bd17

  Copy full SHA for 7e6bd17

• Enable and update gdb api unit tests

  Show description for aece5a5
  danpoe

  committed
  aece5a5

  Copy full SHA for aece5a5

• Add new unit tests for the gdb api

  Show description for fcbe7b9
  danpoe

  committed
  fcbe7b9

  Copy full SHA for fcbe7b9

• Install gdb on macos builds

  danpoe

  committed
  fa2ed7b

  Copy full SHA for fa2ed7b

• Fix based on comments

  

  Petr Bauch

  authored and

  danpoe

  committed
  d803bde

  Copy full SHA for d803bde