Search Results for "coverity"
Sort By:
Showing 7 open source projects for "coverity"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
AWS IoT Device Defender Library
Client library for using AWS IoT Defender service on embedded devices
.... This library is distributed under the MIT Open Source License. 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. -
2
AWS SigV4 Library
AWS library to sign AWS HTTP requests with Signature Version 4
.... This library is distributed under the MIT Open Source License. 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. -
3
AWS IoT Jobs library
Client library for using AWS IoT Jobs service on embedded devices
.... The library is written in C compliant with ISO C90 and MISRA C:2012, and is distributed under the MIT Open Source License. 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. -
4
AWS IoT Fleet Provisioning Library
Client library for using AWS IoT Fleet Provisioning service
... 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. -
Cybersecurity Solutions to Protect, Detect and Respond Against CyberattacksFrom system upgrades or a move to the cloud … to applications meant to improve the customer experience … and to integral third-party relationships, one misstep can cascade into IP theft, wire fraud, ransomware, data breaches and more; not to mention regulatory action, civil litigation and reputational damage. That’s why we’ve structured end-to-end solutions to manage the entire threat lifecycle.
-
5
AWS IoT Over-the-air Update Library
Manage the notification of a newly available update
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... -
6
VisualStudio_Scan
VisualStudio plugin for static analysis of C/C++ code.
You can Get Help Ducument Here. 中文版(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... -
7
sourceinsight-scan
a Source Insight plugin for static analysis of C/C++ code.
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...
- Previous
- You're on page 1
- Next