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. Strictly declarative specification of sophisticated points-to analyses
5. Ric Holt . 1997 . TA: The Tuple Attribute Language. Technical Report . University of Waterloo . Ric Holt. 1997. TA: The Tuple Attribute Language. Technical Report. University of Waterloo.