Headline
CVE-2023-40022: [gnuv2] Fix multiplication overflow check due compiler optimizations … · rizinorg/rz-libdemangle@51d0167
Rizin is a UNIX-like reverse engineering framework and command-line toolset. Versions 0.6.0 and prior are vulnerable to integer overflow in consume_count
of src/gnu_v2/cplus-dem.c
. The overflow check is valid logic but, is missing the modulus if the block once compiled. The compiler sees this block as unreachable code since the prior statement is multiplication by 10 and fails to consider overflow assuming the count will always be a multiple of 10. Rizin version 0.6.1 contains a fix for the issue. A temporary workaround would be disabling C++ demangling using the configuration option bin.demangle=false
.
Expand Up @@ -4,6 +4,9 @@ #include “minunit.h”
mu_demangle_tests(gnu_v2, // fuzzed strings mu_demangle_test("_ITM_deregisterTMCCCCCCCCCCCCCCCCCCCtart__5555555555555555CloneTable", NULL), // normal mu_demangle_test("_vt.foo", “foo virtual table”), mu_demangle_test("_vt$foo", “foo virtual table”), mu_demangle_test("_vt$foo$bar", “foo::bar virtual table”), Expand Down