This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [patch] validate binary before use
- From: Jan Kratochvil <jan dot kratochvil at redhat dot com>
- To: Aleksandar Ristovski <aristovski at qnx dot com>
- Cc: "gdb-patches at sourceware dot org" <gdb-patches at sourceware dot org>
- Date: Wed, 3 Apr 2013 20:09:17 +0200
- Subject: Re: [patch] validate binary before use
- References: <5107F591 dot 304 at qnx dot com> <20130131063518 dot GA3027 at host2 dot jankratochvil dot net> <510A7EB0 dot 90702 at qnx dot com> <51278A2A dot 9000802 at qnx dot com> <512E42D1 dot 3040101 at qnx dot com> <514C58B2 dot 6090701 at qnx dot com> <20130328183727 dot GA14798 at host2 dot jankratochvil dot net> <515B0632 dot 1040502 at qnx dot com> <20130402165306 dot GA9479 at host2 dot jankratochvil dot net> <515B12D1 dot 7050505 at qnx dot com>
On Tue, 02 Apr 2013 19:18:09 +0200, Aleksandar Ristovski wrote:
> [AR]
> Ok, it's been a while since I looked at gdb.exp closely, and
> 'no-message' was added since. Changed the test as so:
>
> @@ -93,15 +93,7 @@ proc solib_matching_test { solibfile symsloaded msg } {
>
> set bp_location [gdb_get_line_number "set breakpoint 1 here"]
>
> - send_gdb "tbreak ${srcfile}:${bp_location}\n"
> - gdb_expect {
> - -re "Temporary breakpoint.*${gdb_prompt} $" {
> - }
> - default {
> - untested "${msg} - Failed to set temp. breakpoint at ${bp_location}"
> - return -1
> - }
> - }
> + gdb_breakpoint ${srcfile}:${bp_location} temporary no-message
"no-message" should not be used there, there should be just:
gdb_breakpoint ${srcfile}:${bp_location} temporary
Copy-pasting here the comment of gdb_break from lib/gdb.exp:
# Note: The handling of message vs no-message is messed up, but it's based
# on historical usage. By default this function does not print passes,
# only fails.
# no-message: turns off printing of fails (and passes, but they're already off)
# message: turns on printing of passes (and fails, but they're already on)
I have even verified now the behavior really fully corresponds to this comment.
You do not want to suppress FAIL if ${srcfile}:${bp_location} is not found.
> >Again, successful runto_main does not produce any PASS message.
>
>
> [AR]
> It does produce PASS (see gdb.exp, lines 476-488),
It does not, runto has the same parameters and behavior as gdb_breakpoint.
On those lines is:
if { $print_pass } {
pass $test_name
}
But $print_pass is true only if "message" parameter was specified, "message"
parameter should not be specified.
> but this comment is not relevant as test does not use 'run' any more, it
> uses gdb_run_cmd; it does not need to stop at main, just run to the line it
> wants.
There is now:
+ gdb_run_cmd { ${binlibfiledirrun} }
+ gdb_expect {
+ -re "set breakpoint 1 here.*${gdb_prompt} $" {
+ }
+ default {
+ untested "${msg} - Failed to hit breakpoint at ${bp_location}"
+ return -1
+ }
+ }
Never use gdb_expect, there is gdb_test_multiple for such cases which
automatically handles various errors, that "default" case is not needed there.
But here even gdb_test_multiple is not needed, use just:
gdb_run_cmd { ${binlibfiledirrun} }
gdb_test "" "set breakpoint 1 here.*" ""
First empty parameter of gdb_test does not send anything, even no newline.
> >But when you expect only one shared library make the expectation explicit,
> >both for a single line and for ${binlibfilebase}.
> >
> > gdb_test "info sharedlibrary ${solibfile}" \
> > "From\[^\r\n\]*To\[^\r\n\]*Syms\[^\r\n\]*Read\[^\r\n\]*Shared\[^\r\n\]*\r\n\[^\r\n\]*${symsloaded}\[^\r\n\]*[string_to_regexp ${binlibfilebase}]" \
> > (I did not test this regex.)
> >
> >I can very well imagine GDB could print >= 2 lines or a line without
> >${binlibfilebase} there which could make false PASS.
>
> [AR] How can it print >= 2 lines?
For example when "set auto-solib-add off" starts to behave differently and for
example vDSO get still displayed (if they get displayed) etc.
> I will augument regex to explicitly look for ${solibfile}
This will not work as if there are >= 2 lines ${symsloaded} may match on one
line and ${solibfile} may match on a different line.
>
> @@ -124,7 +124,7 @@ proc solib_matching_test { solibfile symsloaded msg } {
> }
>
> gdb_test "info sharedlibrary ${solibfile}" \
> - "From.*To.*Syms.*Read.*Shared.*\r\n.*${symsloaded}.*" \
> + "From.*To.*Syms.*Read.*Shared.*\r\n.*${symsloaded}.*${solibfile}.*" \
> "${msg} - Symbols for ${solibfile} loaded: expected '${symsloaded}'"
> return 0
> }
Thanks,
Jan