1. 2001. Cppx - Open Source C++ Fact Extractor. http://www.swag.uwaterloo.ca/cppx. 2001. Cppx - Open Source C++ Fact Extractor. http://www.swag.uwaterloo.ca/cppx.
2. 2010. Javex - Java Fact Extractor. http://www.swag.uwaterloo.ca/javex. 2010. Javex - Java Fact Extractor. http://www.swag.uwaterloo.ca/javex.
3. 2018. ClangEx – A Fast C/C++ Fact Extractor. https://github.com/bmuscede/ClangEx. 2018. ClangEx – A Fast C/C++ Fact Extractor. https://github.com/bmuscede/ClangEx.
4. 2019. Mythril: A Security Analysis Tool for EVM Bytecode. https://github.com/ConsenSys/mythril. 2019. Mythril: A Security Analysis Tool for EVM Bytecode. https://github.com/ConsenSys/mythril.
5. 2020. Etherscan. https://etherscan.io. 2020. Etherscan. https://etherscan.io.