This aims to verify the validity of the response from the debugging
server in GDBRemoteCommunicationClient::GetMemoryRegionInfo. I was
working with ds2 (https://github.com/facebook/ds2) and encountered a bug
that caused the server's response to have a 'size' value of 0, which
caused lldb to behave incorrectly.
Details
Diff Detail
- Build Status
Buildable 5164 Build 5164: arc lint + arc unit
Event Timeline
Doing additional checking on the packets returned over the wire seems decent to me. CC'ing @clayborg to see what he thinks about it also.
The additional check sounds fine. There's a test for this class in unittests/Process/gdb-remote/GDBRemoteCommunicationClientTest.cpp where you can add a test for this behavior.
Simple logic change so we don't check the range validity more than once.
source/Plugins/Process/gdb-remote/GDBRemoteCommunicationClient.cpp | ||
---|---|---|
1506–1510 | Logic is fine, but I would work this into the if statement below. Something like: if (region_info.GetRange().IsValid()) { if (!saw_permissions) { region_info.SetReadable(MemoryRegionInfo::eNo); region_info.SetWritable(MemoryRegionInfo::eNo); region_info.SetExecutable(MemoryRegionInfo::eNo); region_info.SetMapped(MemoryRegionInfo::eNo); } } else { // We got an invalid address range back error.SetErrorString("Server returned invalid range"); } |
Added unit tests for the method and changed the logic according to clayborg's suggestion.
source/Plugins/Process/gdb-remote/GDBRemoteCommunicationClient.cpp | ||
---|---|---|
1506–1510 | Thanks for pointing that out! |
Thank you for adding the test. Lgtm, assuming the second getmemoryregioninfo call is accidental.
unittests/Process/gdb-remote/GDBRemoteCommunicationClientTest.cpp | ||
---|---|---|
373 ↗ | (On Diff #93566) | This seems out of place. Should we delete it? |
I'll resubmit after removing the extra code in the test and get somebody to commit for me.
unittests/Process/gdb-remote/GDBRemoteCommunicationClientTest.cpp | ||
---|---|---|
373 ↗ | (On Diff #93566) | Whoops! I was going to extend this test further but I decided not to in the end and forgot to remove this. Thanks for pointing it out. |
Logic is fine, but I would work this into the if statement below. Something like: