summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGiuseppe Scrivano <gscrivan@redhat.com>2021-03-18 16:28:54 +0100
committerGiuseppe Scrivano <gscrivan@redhat.com>2021-03-18 19:18:03 +0100
commit064e793e62f4d4900516ae159876b05f091a2b15 (patch)
tree5a069bd7946a877eeb22083d677a86a8a8c1ce4d /src
parentc305ef351bc9b254f3f65359ca2e6435bb920752 (diff)
downloadlibseccomp-064e793e62f4d4900516ae159876b05f091a2b15.tar.gz
bpf: fix uninitialized value usage
it was reported by clang with the option -fsanitize=memory: Uninitialized bytes in MemcmpInterceptorCommon at offset 0 inside [0x7070000002a0, 56) ==3791089==WARNING: MemorySanitizer: use-of-uninitialized-value #0 0x482a2c in memcmp (fuzzer+0x482a2c) #1 0x7fed2f120ebb in _hsh_add src/libseccomp/src/gen_bpf.c:598:9 #2 0x7fed2f121715 in _gen_bpf_action_hsh src/libseccomp/src/gen_bpf.c:796:6 #3 0x7fed2f121a53 in _gen_bpf_node src/libseccomp/src/gen_bpf.c:831:11 #4 0x7fed2f121a53 in _gen_bpf_chain.isra.0 src/libseccomp/src/gen_bpf.c:1072:13 #5 0x7fed2f121f16 in _gen_bpf_chain_lvl_res src/libseccomp/src/gen_bpf.c:977:12 #6 0x7fed2f121c74 in _gen_bpf_chain.isra.0 src/libseccomp/src/gen_bpf.c:1124:12 #7 0x7fed2f12253c in _gen_bpf_syscall src/libseccomp/src/gen_bpf.c:1520:10 #8 0x7fed2f12253c in _gen_bpf_syscalls src/libseccomp/src/gen_bpf.c:1615:18 #9 0x7fed2f12253c in _gen_bpf_arch src/libseccomp/src/gen_bpf.c:1683:7 #10 0x7fed2f12253c in _gen_bpf_build_bpf src/libseccomp/src/gen_bpf.c:2056:11 #11 0x7fed2f12253c in gen_bpf_generate src/libseccomp/src/gen_bpf.c:2321:7 #12 0x7fed2f11f41c in seccomp_export_bpf src/libseccomp/src/api.c:724:7 Uninitialized value was created by a heap allocation #0 0x4547ef in realloc (fuzzer+0x4547ef) #1 0x7fed2f121244 in _blk_resize src/libseccomp/src/gen_bpf.c:362:8 #2 0x7fed2f121244 in _blk_append src/libseccomp/src/gen_bpf.c:394:6 Signed-off-by: Giuseppe Scrivano <gscrivan@redhat.com>
Diffstat (limited to 'src')
-rw-r--r--src/gen_bpf.c10
-rw-r--r--src/helper.c25
-rw-r--r--src/helper.h1
3 files changed, 34 insertions, 2 deletions
diff --git a/src/gen_bpf.c b/src/gen_bpf.c
index 6961d09..602810c 100644
--- a/src/gen_bpf.c
+++ b/src/gen_bpf.c
@@ -351,6 +351,7 @@ static struct bpf_blk *_blk_resize(struct bpf_state *state,
{
unsigned int size_adj = (AINC_BLK > size_add ? AINC_BLK : size_add);
struct bpf_instr *new;
+ size_t old_size, new_size;
if (blk == NULL)
return NULL;
@@ -358,8 +359,10 @@ static struct bpf_blk *_blk_resize(struct bpf_state *state,
if ((blk->blk_cnt + size_adj) <= blk->blk_alloc)
return blk;
+ old_size = blk->blk_alloc * sizeof(*new);
blk->blk_alloc += size_adj;
- new = realloc(blk->blks, blk->blk_alloc * sizeof(*(blk->blks)));
+ new_size = blk->blk_alloc * sizeof(*new);
+ new = zrealloc(blk->blks, old_size, new_size);
if (new == NULL) {
_blk_free(state, blk);
return NULL;
@@ -443,10 +446,13 @@ static int _bpf_append_blk(struct bpf_program *prg, const struct bpf_blk *blk)
bpf_instr_raw *i_iter;
unsigned int old_cnt = prg->blk_cnt;
unsigned int iter;
+ size_t old_size, new_size;
/* (re)allocate the program memory */
+ old_size = BPF_PGM_SIZE(prg);
prg->blk_cnt += blk->blk_cnt;
- i_new = realloc(prg->blks, BPF_PGM_SIZE(prg));
+ new_size = BPF_PGM_SIZE(prg);
+ i_new = zrealloc(prg->blks, old_size, new_size);
if (i_new == NULL) {
rc = -ENOMEM;
goto bpf_append_blk_failure;
diff --git a/src/helper.c b/src/helper.c
index c746749..1017d52 100644
--- a/src/helper.c
+++ b/src/helper.c
@@ -47,3 +47,28 @@ void *zmalloc(size_t size)
return ptr;
}
+
+/**
+ * Change the size of an allocated buffer
+ * @param ptr pointer to the allocated buffer. If NULL it is equivalent to zmalloc.
+ * @param old_size the current size of the allocated buffer
+ * @param size the new size of the buffer
+ *
+ * This function changes the size of an allocated memory buffer and return a pointer
+ * to the buffer on success, the new buffer portion is initialized to zero. NULL is
+ * returned on failure. The returned buffer could be different than the specified
+ * ptr param.
+ *
+ */
+void *zrealloc(void *ptr, size_t old_size, size_t size)
+{
+ /* NOTE: unlike malloc() zero size allocations always return NULL */
+ if (size == 0)
+ return NULL;
+
+ ptr = realloc(ptr, size);
+ if (!ptr)
+ return NULL;
+ memset(ptr + old_size, 0, size - old_size);
+ return ptr;
+}
diff --git a/src/helper.h b/src/helper.h
index 2d610ce..5972f1a 100644
--- a/src/helper.h
+++ b/src/helper.h
@@ -23,5 +23,6 @@
#define _FILTER_HELPER_H
void *zmalloc(size_t size);
+void *zrealloc(void *ptr, size_t old_size, size_t size);
#endif