The library is very impressive as it looks like a pareto frontier. But I see there are no updates in about half a year. E.g. trivial fix for UBSan did not get merged: https://github.com/inikep/lizard/pull/33 It makes me wondering about the perspectives of this project.