Yeah, I think the real problem is that the functional tests actually pass (on my machine, and most, I would assume). But the C code is invalid. In many circum

Yeah, I think the real problem is that the functional tests actually pass (on my machine, and most, I would assume). But the C code is invalid. In many circumstances, a one byte buffer overrun is exceedingly likely to "work", but ASAN flags those as bugs with 100% reliability. If I recall, it also had eiter a use-after-free or double free. The former can obviously cause problems but may not, not sure about the latter.