Does that list only include binary-to-llvm lifters, since it is missing at least valgrind (vex) and BAP (bapil) otherwise?