sentence: coverity is a software vendor which develops development testing solutions , including static code analysis tools , for c , c++ , java and c# , used to find defects and security vulnerabilities in source code .