Hi! I maintain rllvm, a whole-program bitcode toolchain in the same family as wllvm and gllvm. I tested it against PhASAR (v2604, LLVM 22.1.8), building PhASAR through its wrappers. Then running phasar-cli on the extracted module. Here is the documented example in my repo: examples/external/phasar.
If you are open to it, I wonder if we can add rllvm to the Whole-Program-Analysis wiki page alongside wllvm and gllvm. The wiki does not take pull requests, so let me know how you would prefer to handle it. Happy to push the edit myself if wiki editing is open, or to send you the text.
Thanks!
Hi! I maintain rllvm, a whole-program bitcode toolchain in the same family as wllvm and gllvm. I tested it against PhASAR (v2604, LLVM 22.1.8), building PhASAR through its wrappers. Then running phasar-cli on the extracted module. Here is the documented example in my repo: examples/external/phasar.
If you are open to it, I wonder if we can add
rllvmto the Whole-Program-Analysis wiki page alongsidewllvmandgllvm. The wiki does not take pull requests, so let me know how you would prefer to handle it. Happy to push the edit myself if wiki editing is open, or to send you the text.Thanks!