Post #2161255
2026-05-04 15:35 UTC
Yingwei's work on the LLVM undefined behavior aware interpreter proceeds! this is super good stuff. it would have been nice if we could have made Alive2's interpreter mode fast enough that this tool wasn't necessary, but oh well. hopefully someone will do some differential testing between this tool and Alive2.
https://github.com/llvm/llvm-project/pull/195339
Replies (2)
-
@cfbolz@mastodon.social 2026-05-04 15:47
@regehr@mastodon.social oh nice! I might have a pretty direct use case for this soon
-
@boomanaiden154@hachyderm.io 2026-05-04 16:09
@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.