* [PATCH 1/2] tools, bpf_asm: Hard error on out of range jumps.
2021-02-24 21:24 [PATCH 0/2] More strict error checking in bpf_asm (v3) Ian Denhardt
@ 2021-02-24 2:15 ` Ian Denhardt
2021-02-24 2:24 ` [PATCH 2/2] tools, bpf_asm: exit non-zero on errors Ian Denhardt
2021-02-26 22:00 ` [PATCH 0/2] More strict error checking in bpf_asm (v3) Daniel Borkmann
2 siblings, 0 replies; 5+ messages in thread
From: Ian Denhardt @ 2021-02-24 2:15 UTC (permalink / raw)
To: ast, daniel, bpf, netdev
Per discussion at:
https://lore.kernel.org/bpf/c964892195a6b91d20a67691448567ef528ffa6d.camel@linux.ibm.com/T/#t
...this was originally introduced as a warning due to concerns about
breaking existing code, but a hard error probably makes more sense,
especially given that concerns about breakage were only speculation.
Signed-off-by: Ian Denhardt <ian@zenhack.net>
Acked-by: Ilya Leoshkevich <iii@linux.ibm.com>
---
tools/bpf/bpf_exp.y | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/tools/bpf/bpf_exp.y b/tools/bpf/bpf_exp.y
index 8d48e896be50..8d03e5245da5 100644
--- a/tools/bpf/bpf_exp.y
+++ b/tools/bpf/bpf_exp.y
@@ -549,9 +549,11 @@ static uint8_t bpf_encode_jt_jf_offset(int off, int i)
{
int delta = off - i - 1;
- if (delta < 0 || delta > 255)
- fprintf(stderr, "warning: insn #%d jumps to insn #%d, "
+ if (delta < 0 || delta > 255) {
+ fprintf(stderr, "error: insn #%d jumps to insn #%d, "
"which is out of range\n", i, off);
+ exit(1);
+ }
return (uint8_t) delta;
}
--
2.30.1
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [PATCH 2/2] tools, bpf_asm: exit non-zero on errors.
2021-02-24 21:24 [PATCH 0/2] More strict error checking in bpf_asm (v3) Ian Denhardt
2021-02-24 2:15 ` [PATCH 1/2] tools, bpf_asm: Hard error on out of range jumps Ian Denhardt
@ 2021-02-24 2:24 ` Ian Denhardt
2021-02-26 22:00 ` [PATCH 0/2] More strict error checking in bpf_asm (v3) Daniel Borkmann
2 siblings, 0 replies; 5+ messages in thread
From: Ian Denhardt @ 2021-02-24 2:24 UTC (permalink / raw)
To: ast, daniel, bpf, netdev
...so callers can correctly detect failure.
Signed-off-by: Ian Denhardt <ian@zenhack.net>
---
tools/bpf/bpf_exp.y | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/tools/bpf/bpf_exp.y b/tools/bpf/bpf_exp.y
index 8d03e5245da5..dfb7254a24e8 100644
--- a/tools/bpf/bpf_exp.y
+++ b/tools/bpf/bpf_exp.y
@@ -185,13 +185,13 @@ ldx
| OP_LDXB number '*' '(' '[' number ']' '&' number ')' {
if ($2 != 4 || $9 != 0xf) {
fprintf(stderr, "ldxb offset not supported!\n");
- exit(0);
+ exit(1);
} else {
bpf_set_curr_instr(BPF_LDX | BPF_MSH | BPF_B, 0, 0, $6); } }
| OP_LDX number '*' '(' '[' number ']' '&' number ')' {
if ($2 != 4 || $9 != 0xf) {
fprintf(stderr, "ldxb offset not supported!\n");
- exit(0);
+ exit(1);
} else {
bpf_set_curr_instr(BPF_LDX | BPF_MSH | BPF_B, 0, 0, $6); } }
;
@@ -472,7 +472,7 @@ static void bpf_assert_max(void)
{
if (curr_instr >= BPF_MAXINSNS) {
fprintf(stderr, "only max %u insns allowed!\n", BPF_MAXINSNS);
- exit(0);
+ exit(1);
}
}
@@ -522,7 +522,7 @@ static int bpf_find_insns_offset(const char *label)
if (ret == -ENOENT) {
fprintf(stderr, "no such label \'%s\'!\n", label);
- exit(0);
+ exit(1);
}
return ret;
--
2.30.1
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [PATCH 0/2] More strict error checking in bpf_asm (v3).
@ 2021-02-24 21:24 Ian Denhardt
2021-02-24 2:15 ` [PATCH 1/2] tools, bpf_asm: Hard error on out of range jumps Ian Denhardt
` (2 more replies)
0 siblings, 3 replies; 5+ messages in thread
From: Ian Denhardt @ 2021-02-24 21:24 UTC (permalink / raw)
To: ast, daniel, bpf, netdev
Gah, managed to typo my own name in the v2 patch >.<
This one should be good :/
Ian Denhardt (2):
tools, bpf_asm: Hard error on out of range jumps.
tools, bpf_asm: exit non-zero on errors.
tools/bpf/bpf_exp.y | 14 ++++++++------
1 file changed, 8 insertions(+), 6 deletions(-)
--
2.30.1
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH 0/2] More strict error checking in bpf_asm (v3).
2021-02-24 21:24 [PATCH 0/2] More strict error checking in bpf_asm (v3) Ian Denhardt
2021-02-24 2:15 ` [PATCH 1/2] tools, bpf_asm: Hard error on out of range jumps Ian Denhardt
2021-02-24 2:24 ` [PATCH 2/2] tools, bpf_asm: exit non-zero on errors Ian Denhardt
@ 2021-02-26 22:00 ` Daniel Borkmann
2021-02-26 22:41 ` Ian Denhardt
2 siblings, 1 reply; 5+ messages in thread
From: Daniel Borkmann @ 2021-02-26 22:00 UTC (permalink / raw)
To: Ian Denhardt, ast, bpf, netdev
On 2/24/21 10:24 PM, Ian Denhardt wrote:
> Gah, managed to typo my own name in the v2 patch >.<
>
> This one should be good :/
>
> Ian Denhardt (2):
> tools, bpf_asm: Hard error on out of range jumps.
> tools, bpf_asm: exit non-zero on errors.
>
> tools/bpf/bpf_exp.y | 14 ++++++++------
> 1 file changed, 8 insertions(+), 6 deletions(-)
Applied, thanks!
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH 0/2] More strict error checking in bpf_asm (v3).
2021-02-26 22:00 ` [PATCH 0/2] More strict error checking in bpf_asm (v3) Daniel Borkmann
@ 2021-02-26 22:41 ` Ian Denhardt
0 siblings, 0 replies; 5+ messages in thread
From: Ian Denhardt @ 2021-02-26 22:41 UTC (permalink / raw)
To: Daniel Borkmann, ast, bpf, netdev
Quoting Daniel Borkmann (2021-02-26 17:00:58)
> Applied, thanks!
You're welcome!
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2021-02-26 22:43 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-02-24 21:24 [PATCH 0/2] More strict error checking in bpf_asm (v3) Ian Denhardt
2021-02-24 2:15 ` [PATCH 1/2] tools, bpf_asm: Hard error on out of range jumps Ian Denhardt
2021-02-24 2:24 ` [PATCH 2/2] tools, bpf_asm: exit non-zero on errors Ian Denhardt
2021-02-26 22:00 ` [PATCH 0/2] More strict error checking in bpf_asm (v3) Daniel Borkmann
2021-02-26 22:41 ` Ian Denhardt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).