Memory analyzer to take memory snapshots [blocks: #2649, #4438]#4261

Merged

tautschnig merged 20 commits intodiffblue:developfrom

danpoe:feature/memory-analyzer

May 16, 2019

Commits on May 15, 2019

Add a highlevel api to test types on exprt and typet

mmuesly
authored and
danpoe
committed

Commits on May 16, 2019

Add the actual core dump analyzer

mmuesly
authored and
danpoe
committed
Add regression tests for the memory analyzer

mmuesly
authored and
danpoe
committed
Add Makefiles enabeling memory-analyzer and tests

mmuesly
authored and
danpoe
committed
Update existing memory analyzer regression tests
danpoe
committed
Update gdb api to return more information about pointed-to objects
danpoe
committed
Remove obsolete functions is_pointer(), is_struct(), etc. from std_expr.h
danpoe
committed
Update memory analyzer driver and options parsing
danpoe
committed
Update symbol_analyzert
danpoe
committed
Add additional regression tests for the memory analyzer
danpoe
committed
Make memory analyzer optional

hannes-steffenhagen-diffblue
authored and
danpoe
committed
Add support for running regression tests under CMake

petr-bauch
authored and
danpoe
committed
Improve the regression tests

petr-bauch
authored and
danpoe
committed
Improve building scripts

petr-bauch
authored and
danpoe
committed
Improve gdb_api

petr-bauch
authored and
danpoe
committed
Improve type utility functions

petr-bauch
authored and
danpoe
committed
Refactor analyze_symbols

petr-bauch
authored and
danpoe
committed
Improve memory_analyzer parser and main

petr-bauch
authored and
danpoe
committed
Update unit test

petr-bauch
authored and
danpoe
committed
Add User level documentation

petr-bauch
authored and
danpoe
committed