OCaml and libFuzzer?

Ecosystem
1

I work on the Stan project, which is a probabilistic programming language whose front-end compiler is written in OCaml.

We have been looking into using Google’s oss-fuzz project to test our compiler.

It appears we need support for libFuzzer in order to use oss-fuzz. Please see the comments here.

What is the state of libFuzzer support with OCaml? Can you see any workaround for oss-fuzz?

Thanks in an advance!

1 Like
2

I am not aware of anyone working on integrating the instrumentation needed by libFuzzer with the OCaml compiler. Moreover, after a quick glance, it seems that this required instrumentation is defined as whatever the coverage sanitizer of LLVM implements, which is not a good sign for independent implementations.

1 Like