Skip to content

GDB API [blocks: #4261] #3983

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
danpoe merged 17 commits into from
Mar 19, 2019
Merged

GDB API [blocks: #4261] #3983

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
1e71fd7
Add an api to analyze a core dump with gdb
mmuesly Jul 12, 2018
d28c85c
Add method to parse gdb output records
danpoe Jan 23, 2019
81fcf26
Remove unnecessary forward declarations of cprover types
danpoe Jan 23, 2019
b73bb29
Use streams to communicate with gdb subprocess
danpoe Jan 24, 2019
d44dfb9
Adapt gdb interaction exception to cprover style
danpoe Jan 24, 2019
a49c421
Add #endif comments to gdb api header file
danpoe Jan 24, 2019
0b9480b
Update banners for gdb api files
danpoe Jan 24, 2019
fa3c78f
Switch gdb_apit to using the gdb machine interface
danpoe Jan 27, 2019
58f6d11
Remove unused gdb_inaccessible_memory_exceptiont
danpoe Jan 28, 2019
5c518e7
Add empty lines in gdb_api.cpp to improve readability
danpoe Jan 28, 2019
b72245b
Install gdb package in CI to make gdb_apit unit tests work
danpoe Jan 29, 2019
0e1a5ca
Add file module_dependencies.txt to memory-analyzer
danpoe Jan 29, 2019
7e6bd17
Replace #ifdef __linux__ by guards allowing more Unices
danpoe Feb 4, 2019
aece5a5
Enable and update gdb api unit tests
danpoe Jan 24, 2019
fcbe7b9
Add new unit tests for the gdb api
danpoe Jan 24, 2019
fa2ed7b
Install gdb on macos builds
danpoe Feb 11, 2019
d803bde
Fix based on comments
Mar 13, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 8 additions & 2 deletions .travis.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,6 +99,7 @@ jobs:
- libubsan0
- parallel
- jq
- gdb
before_install:
- mkdir bin
- ln -s /usr/bin/gcc-5 bin/gcc
Expand All @@ -115,7 +116,7 @@ jobs:
compiler: clang
cache: ccache
before_install:
- HOMEBREW_NO_AUTO_UPDATE=1 brew install ccache parallel
- HOMEBREW_NO_AUTO_UPDATE=1 brew install ccache parallel gdb
- export PATH=$PATH:/usr/local/opt/ccache/libexec
env: COMPILER="ccache clang++"

Expand All @@ -134,6 +135,7 @@ jobs:
- g++-5
- libubsan0
- jq
- gdb
before_install:
- mkdir bin
- ln -s /usr/bin/gcc-5 bin/gcc
Expand Down Expand Up @@ -162,6 +164,7 @@ jobs:
- libstdc++-5-dev
- libubsan0
- jq
- gdb
before_install:
- mkdir bin
- ln -s /usr/bin/gcc-5 bin/gcc
Expand Down Expand Up @@ -189,6 +192,7 @@ jobs:
packages:
- g++-7
- jq
- gdb
before_install:
- mkdir bin
- ln -s /usr/bin/gcc-7 bin/gcc
Expand Down Expand Up @@ -216,6 +220,7 @@ jobs:
packages:
- g++-7
- jq
- gdb
before_install:
- mkdir bin
- ln -s /usr/bin/gcc-7 bin/gcc
Expand Down Expand Up @@ -249,6 +254,7 @@ jobs:
- libubsan0
- parallel
- jq
- gdb
before_install:
- mkdir bin
# Use gcc/g++ 5 for tests, as Clang doesn't work yet
Expand All @@ -270,7 +276,7 @@ jobs:
compiler: clang
cache: ccache
before_install:
- HOMEBREW_NO_AUTO_UPDATE=1 brew install ccache
- HOMEBREW_NO_AUTO_UPDATE=1 brew install ccache gdb
- export PATH=$PATH:/usr/local/opt/ccache/libexec
env:
- BUILD_SYSTEM=cmake
Expand Down
2 changes: 1 addition & 1 deletion buildspec.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ phases:
- apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA9EF27F
- add-apt-repository ppa:openjdk-r/ppa -y
- apt-get update -y
- apt-get install -y g++-5 flex bison make git libwww-perl patch ccache libc6-dev-i386 jq
- apt-get install -y g++-5 flex bison make git libwww-perl patch ccache libc6-dev-i386 jq gdb
- apt-get install -y openjdk-8-jdk
- update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
- update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
Expand Down
Loading