Ada is pretty interesting for fuzzing, since all the runtime checks (the ones your compiler couldn’t enforce statically) and all the defensive code you’ve added (through pre-/post-conditions, asserts, ...) can be leveraged as fuzzing targets. Here’s a recipe to use American Fuzzy Lop on your Ada code.

source: grugq