These tools have roots in the research done at the University of Oulu in the Secure Programming Group (OUSPG).