I only know lief by name, it seems to have fuzzing and tests implemented so i'd say it's a good library