Search Results for "coverity"

...This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool.

...This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool.

...This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone both static code analysis from Coverity.

...This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis.

The OTA library enables you to manage the notification of a newly available update, download the update, and perform cryptographic verification of the firmware update. Using the library, you can logically separate firmware updates from the application running on your devices. The OTA library can share a network connection with the application, saving memory in resource-constrained devices. In addition, the OTA library lets you define application-specific logic for testing, committing, or...

...中文版(ChineseVersion) https://sourceforge.net/projects/visualstudioscan/files/Document/VS_Code_Scan_Assistant_Help_Chinese.docx/download English Version https://sourceforge.net/projects/visualstudioscan/files/Document/VS_Code_Scan_Assistant_Help_English.docx/download VisualStudio_Scan is a Visual Studio plugin for static analysis of C/C++ code. It not only covers the features provided by other analysis tools such as cppcheck, coverity,pclint, findbugs and PMD, but also provides many benefits that others are not offering. It debugs the types of bugs that are hardly detected by the compilers and also highly reduces fixing costs. Not depending on compilers enables it to find potential quality issues efficiently (100,000 line per minute). It can find critical issues such as null pointer dereference, memory leaks, buffer overrun, and logic errors

Your can get the HELP.DOC Here Chinese Version: https://sourceforge.net/projects/siscan/files/1.0.1/SI_Scan_Help.doc/download English Version: https://sourceforge.net/projects/siscan/files/1.0.1/SI_Scan_Help_English.doc/download sourceinsight-scan is a Source Insight plugin for static analysis of C/C++ code. It not only covers the features provided by other analysis tools such as cppcheck, coverity,pclint, findbugs and PMD, but also provides many benefits that others are not offering. It debugs the types of bugs that are hardly detected by the compilers and also highly reduces fixing costs. Not depending on compilers enables it to find potential quality issues efficiently (100,000 line per minute). It can find critical issues such as null pointer dereference, memory leaks, buffer overrun, and logic errors. ...