Post #2912065
2026-05-04 16:09 UTC
@regehr@mastodon.social I've wanted to do differential fuzzing when llubi is more complete, but based on the README, alive-exec has a lot of limitations that will make testing reasonable programs somewhat difficult, on top of likely not catching a lot of issues:
> For example, the function cannot take inputs, cannot use memory, cannot depend on undefined behaviors, and cannot include loops that execute too many iterations.
Replies (1)
-
@regehr@mastodon.social 2026-05-04 16:45
@boomanaiden154@hachyderm.io some of these limitations can be addressed! but also, it's probably still worth doing some differential fuzzing if we can reliably stay within the common subset. let's talk about this later. (also argh this semester was rough, but this week or next I'll finally have time for the compiler explorer move. sigh.)