1. Ida pro. https://www.hex-rays.com/ida-pro/, 2003.
2. Wllvm fails. https://github.com/SRI-CSL/gllvm/issues/47, 2015.
3. Coverity scan. https://scan.coverity.com/projects/, 2018.
4. Coverity scan fails. https://stackoverflow.com/questions/50434236/coverity-scan-fails-to-build-stdlib-h-with-gnu-source-defined/, 2018.
5. Mcsema. https://github.com/lifting-bits/mcsema/, 2018.