Commits

Breadcrumbs

History for

onvs-nullptr

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 13, 2023

• Remove all references to optionalt

  Show description for 851c486
  tautschnig

  committed
  851c486

  Copy full SHA for 851c486

Commits on Aug 23, 2023

• Make memory-analyzer compatible with i386

  Show description for c1f9237
  tautschnig

  committed
  c1f9237

  Copy full SHA for c1f9237

Commits on Nov 20, 2022

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Mar 31, 2021

• memory analyzer: fail when gdb cannot be started

  Show description for d83aee3
  tautschnig

  committed
  d83aee3

  Copy full SHA for d83aee3

Commits on Jul 4, 2019

• Support passing arguments to the command analyzed by memory-analyzer

  Show description for c6f9e44
  danpoe

  committed
  c6f9e44

  Copy full SHA for c6f9e44

Commits on Jun 30, 2019

• Accept line not starting with `done` in gdb api

  Show description for 964b377
  danpoe

  committed
  964b377

  Copy full SHA for 964b377

Commits on May 30, 2019

• Reimplement query-malloc-size

  Show description for 43cb772
  petr-bauch

  committed
  43cb772

  Copy full SHA for 43cb772

• Collecting the malloc information directly

  Show description for e1b446b
  petr-bauch

  committed
  e1b446b

  Copy full SHA for e1b446b

• Helpers to extract values from gdb record

  Show description for 4807320
  petr-bauch

  committed
  4807320

  Copy full SHA for 4807320

• Add documentation to gdb api

  Show description for c1a65c4
  petr-bauch

  committed
  c1a65c4

  Copy full SHA for c1a65c4

Commits on May 20, 2019

• Optionalize the results of querying gdb

  Show description for 93f4ee4
  petr-bauch

  committed
  93f4ee4

  Copy full SHA for 93f4ee4

• Add a method to get the malloc(ed) size estimate

  Show description for 40bd28b
  petr-bauch

  committed
  40bd28b

  Copy full SHA for 40bd28b

Commits on May 16, 2019

• Improve gdb_api

  Show description for af27d1f
  

  petr-bauch

  authored and

  danpoe

  committed
  af27d1f

  Copy full SHA for af27d1f

• Make memory analyzer optional

  Show description for 856aa5c
  

  hannes-steffenhagen-diffblue

  authored and

  danpoe

  committed
  856aa5c

  Copy full SHA for 856aa5c

• Update gdb api to return more information about pointed-to objects

  Show description for 4c3967e
  danpoe

  committed
  4c3967e

  Copy full SHA for 4c3967e

Commits on Mar 19, 2019

• Fix based on comments

  

  Petr Bauch

  authored and

  danpoe

  committed
  d803bde

  Copy full SHA for d803bde

• Replace #ifdef __linux__ by guards allowing more Unices

  Show description for 7e6bd17
  danpoe

  committed
  7e6bd17

  Copy full SHA for 7e6bd17

• Add empty lines in gdb_api.cpp to improve readability

  danpoe

  committed
  5c518e7

  Copy full SHA for 5c518e7

• Switch gdb_apit to using the gdb machine interface

  Show description for fa3c78f
  danpoe

  committed
  fa3c78f

  Copy full SHA for fa3c78f

• Update banners for gdb api files

  danpoe

  committed
  0b9480b

  Copy full SHA for 0b9480b

• Adapt gdb interaction exception to cprover style

  danpoe

  committed
  d44dfb9

  Copy full SHA for d44dfb9

• Use streams to communicate with gdb subprocess

  Show description for b73bb29
  danpoe

  committed
  b73bb29

  Copy full SHA for b73bb29

• Add method to parse gdb output records

  Show description for d28c85c
  danpoe

  committed
  d28c85c

  Copy full SHA for d28c85c

• 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

Loading