Perhaps it is a good idea to see whether one could use https://github.com/google/oss-fuzz to fuzz-test the feeder components and the C backend.
DCSO
