1. Checkmarx. https://www.checkmarx.com
2. Coverity. http://www.coverity.com
3. Fortify. https://software.microfocus.com/en-us/software/sca
4. IBM AppScan. http://www.ibm.com/software/products/en/appscan-source
5. Lecture Notes in Computer Science;G Barthe,2007