[Bug translator/30395] Regex code has invalid memory reads caught by KASAN

serhei at serhei dot io sourceware-bugzilla@sourceware.org
Wed May 3 13:55:36 GMT 2023


https://sourceware.org/bugzilla/show_bug.cgi?id=30395

Serhei Makarov <serhei at serhei dot io> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |serhei at serhei dot io

--- Comment #5 from Serhei Makarov <serhei at serhei dot io> ---
Taking a look at this problem. At first glance, it may be a case of
stapregex-dfa.cxx emit_final() needing to work differently when it is called as
a result of seeing the end NUL byte. It has some cases that continue on to the
next character if we accept in the middle of a string, which might be triggered
erroneously. Will need to go through the generated code more closely.

(The stapregex code is, in fact, a from-the-ground-up rewrite of the re2c
codebase which was... stylistically mismatched from our own coding style, to
put it mildly. So there is no option to 'just upgrade', alas.)

-- 
You are receiving this mail because:
You are the assignee for the bug.


More information about the Systemtap mailing list