4 ms·

Here is the source code: https://github.com/google/souper https://github.com/google/souper The paper mentions that Souper links against LLVM 3.9, but a recent

Here is the source code: https://github.com/google/souper https://github.com/google/souper The paper mentions that Souper links against LLVM 3.9, but a recent commit on GitHub states that dependencies have been bumped to LLVM 5.0, the most recent version.

CalChris 9y ago
The Souper source has been available and Regehr has posted on his Embedded in Academia blog several times about Souper. https://blog.regehr.org/archives/1192 https://blog.regehr.org/archives/1192 https://blog.regehr.org/archives/1252 https://blog.regehr.org/archives/1252 But then a paper is a whole nuther thing.