Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Coverity is a software vendor based in San Francisco. It was incorporated in November 2002. It develops static code analysis tools, for C, C++ and other programming languages, used to find defects and security vulnerabilities in source code. The product originated from a Stanford research project. Coverity Static Analysis is a static code analysis tool for C, C++, C# and Java source code. Coverity commercialized a research tool for finding bugs through static analysis, the Stanford Checker, which used abstract interpretation to identify defects in source code. The most notable use of the tool was under a United States Department of Homeland Security contract, in which it was used to examine over 150 open source applications for bugs.

Под заказ:
	OZON.ru - 4316 руб.	Перейти

Рейтинг книги: 4 из 5, 1 голос(-ов).