Enabling High – Quality C/c++ Software, Automatically-coverity Prevent
What Is It?
Coverity Prevent SQS™ is the market-leading automated approach to identify and resolve the most critical defects in C, C++, and Java source code. By providing a complete understanding of your build environment, source code, and development process, Prevent SQS sets the standard in enabling high-quality software across organizations worldwide.
Prevent SQS for C/C++ automatically analyzes large, complex C and C++ code bases and detects critical, must-fix defects that could lead to system crashes, memory corruption, security vulnerabilities, unpredictable behavior, and performance degradation.
Prevent SQS features:
• 100% path coverage: Prevent SQS for C/C++ analyzes 100% of the paths through your source code, ensuring that all possible execution branches are followed, while avoiding impossible paths to maintain fast execution.
• Low false positive rate: Prevent SQS for C/C++ maintains a very low false positive rate , ensuring that developers’ time spent inspecting defects will result in noticeable quality improvements.
• Highly scalable: Prevent SQS for C/C++ analyzes millions of lines of code in a matter of hours, easily integrating into your regular build process with little or no additional hardware and no disruption to your development process.
What Makes It Great?
Unlike other C/C++ analysis tools that focus on programming style and syntax-based checks, Prevent SQS for C/C++ performs deep, interprocedural analysis to uncover the critical, must-fix defects that matter most to developers. Prevent SQS for C/C++ leverages multiple analysis engines to uncover hard-to-find defects including:
• Path Flow Engine understands the control flow through each function in your code base, allowing Prevent SQS to analyze 100% of the paths through your code.
• Statistical Engine tracks behavioral patterns throughout your entire code base, allowing Prevent SQS to infer correct behavior based on previously observed behavior.
• Interprocedural Summary Engine enables Prevent SQS to perform a whole program analysis of complex call chains at any depth across files and modules in a form that is most similar to the eventual executing Binary. This result in the highest-fidelity results available.
• False Path Engine solves each branch condition to determine if it will be true, false, or unknown on the current path. This allows Prevent SQS to efficiently remove obvious false positives from the set of defects reported.
A sample of the critical defects reported by Prevent SQS for C/C++ include:
Concurrency Issues
• Double locks, missing locks.
• Locks acquired in incorrect order.
• Locks held by blocking functions.
Memory Corruption and
Mismanagement
• Resource leaks.
• Calls to freeing functions using invalid arguments.
• Excessive stack use in memory constrained systems.
Crash-causing pointer errors
• Dereference of null pointers.
• Failure to check for null return values.
• Misuse of data contained within wrapper data types.
C++ Specific Errors
• Misuse of STL iterators.
• Failure to de-allocate memory by destructors.
• Incorrect override of virtual functions.
• Uncaught exceptions.
Window/COM Specific Errors
• Incorrect memory allocation with COM interfaces.
• Incorrect type conversions.
Security Vulnerabilities
• Buffer overruns.
• SQL injection.
• Cross-site scripting.
• Integer overflows.
About Coverity
Coverity (www.coverity.com) is the market leader in improving software quality and security. Coverity’s groundbreaking technology automates the approach to identifying and resolving critical defects and security vulnerabilities in C/C++ and Java source code. More than 300 leading companies have chosen Coverity Prevent SQS because it scales to tens of millions of lines of code, has the lowest false positive rate in the industry and provides total path coverage. Companies like Ericsson, HP, Samsung, EMC, and Symantec work with Coverity to eliminate security and quality defects from their mission-critical systems.
Coverity also has customers like Symbian, RIM (Blackberry), Juniper networks, Cisco, Texas instruments and is also used by the Department of Homeland security to scan lots of open source projects.
Free trial
Coverity offers a free trial of Prevent SQS that will detect a wide range of crash-causing defects in your code base within hours. No changes to your code are necessary, there are no limitations on code size, and you will receive a complimentary report detailing actionable analysis results. Register for the on-site evaluation at: http://www.coverity.com .
About the Author
Coverity (www.coverity.com) is the market leader in improving software quality and security. Coverity’s groundbreaking technology automates the approach to identifying and resolving critical defects and security vulnerabilities in C/C++ and Java source code. More than 300 leading companies have chosen Coverity Prevent SQS because it scales to tens of millions of lines of code, has the lowest false positive rate in the industry and provides total path coverage.
Create High Quality Instrument Tracks with Dimension LE
|
|
Mastercool MSC52224A Non-Contact Infrared Thermometer with Laser $39.95 Infrared thermometer ranges from -58 to 932 degrees F, with large easy to read 1″ LCD display, scan mode, maximum temperature display, and F/C button. The unit includes 2 AAA batteries, instruction manual and a plastic molded carrying case…. |
|
|
Precise 60 Lbs Digital Weight Scale Electronic Food Postal Price Tool Kit Set Instrument Measure Kitchen $74.95 This unbeatable 60lb / 27kg Weight Scale is an excellent design with 5-digit tower display. Its durable performance ensures accuracy and reliability. The high-satisfaction unit is perfect for commodity weighing in grocery stores, departments or supermarket. Here is a good helper for a busy retailer!! Please buy it right now to reach this reliable friend! Features: Brand New in Box CE Certification… |
|
|
Wonderful Food Manual Bubble Tea Boba Cup Sealer Sealing Machine Maker Equipment Device Facility Tool Kit Set Instrument $119.95 Here we are offering a brand new style and durable boba tea cup sealing machine. It is made for sealing cup beverage, Boba Milk Tea, Ice and Hot Coffee, Smoothie, etc. This economy cup sealer is perfectly suitabel for commercial use, Restaurants, Supermarkets, Fast food Stands, Snack Bars and so on. It can seal as many as 300-500 cups/hour. You should never miss such a man friday for your business… |
|
|
Bad (Spec) $4.00 No Description Available.Genre: Popular MusicMedia Format: Compact DiskRating: Release Date: 16-OCT-2001… |
|
|
The Richest Man In Babylon $9.22 Thievery Corporation’s Eric Hilton and Rob Garza have always treated the line between acoustic and electronic music as a drunken sailor might, unpredictably falling on one side or the other with equal frequency. By this measure, The Richest Man in Babylon is their soberest effort to date, striding confidently into jazz, soul, world beat, and other styles with a direct, reverential approach. The ba… |
|
|
Bond: Explosive – The Best of Bond $9.90 EXPLOSIVE:THE BEST OF BOND – Dual Format Disk… |
|
|
MAGLITE 3-D Cell LED Flashlight $42.30 … |
|
|
MAGLITE AA Mini Flashlight and Holster Combo Pack $13.99 Mag – Lite Mini Mag – Lite “AA” Flashlight with Holster Pack carries on your hip! From trusted Mag-Lite comes another super-duty beam that’s built tough! Has standard rugged machined aluminum construction you’ve come to expect, with shock and water resistance for long life. Anodized inside and out, too, for increased resistance to corrosion. Plus, spot-to-flood light adjustability allows you to ch… |
|
|
Mini Digital Sound Level Meter $22.00 Mini digital sound level meter is less than 6″ in length making it perfect for your pocket or tool box! Great for measuring and monitoring noise and sound in any environment…. |
|
|
Groom Mate Platinum XL Nose & Ear Hair Trimmer $18.88 The Groom Mate Platinum XL nose & ear hair trimmer is our best selling battery-free trimmer. The vast majority of our customers agree that the Platinum XL is far superior to any battery operated model. We offer an unconditional lifetime warranty on the Platinum XL which simply means that you should never have to purchase another nose hair trimmer. The patented rotary cutting blades are guarante… |
