Nuno and I wrote a blog post about alive2: https://blog.regehr.org/archives/1722 The tl;dr is: - alive2 works directly on LLVM IR, there is no need to rewrite optimizations in a DSL - alive2 handles memory operations and vectors and generally has quite a lot more coverage of LLVM features than alive did (coverage is definitely not complete, however) - alive2 is available on a Compiler Explorer instance: http://volta.cs.utah.edu:8080/ this instance is temporary and availability may not be super high, we're looking for a permanent home Thanks! John and Nuno