Execution with sanitizers, integration with syzkaller

Hello,

Thanks for the amazing project!

From https://github.com/sashiko-dev/sashiko README.md:

> Stage 3: Execution flow verification. Traces C code execution flow,
> checking for logic errors, missing return checks, unhandled error paths,
> and off-by-one errors.

I wonder if sashiko's Stage 3 can be configured or altered
with KASAN, KMSAN etc. sanitizers. I couldn't find how the execution works.
Perhaps, such as sanitizers could improve the PATCH review,
as the optional flag during Stage 3.

This also brings up a vague thought about sashiko + syzkaller projects,
where sashiko could provide information about the similar bugs found
in the PATCH, if any, among syzkaller reports. Like adding syzkaller
mailing list
reports as context as well.