Search results
Results from the WOW.Com Content Network
Simplifies managing a complex C/C++ code base by analyzing and visualizing code dependencies, by defining design rules, by doing impact analysis, and comparing different versions of the code. Cpplint: 2020-07-29 Yes; CC-BY-3.0 [8] — C++ — — — — — An open-source tool that checks for compliance with Google's style guide for C++ coding ...
Cppcheck is a static code analysis tool for the C and C++ programming languages. It is a versatile tool that can check non-standard code. [2] The creator and lead developer is Daniel Marjamäki. Cppcheck is free software under the GNU General Public License.
All loops must have fixed bounds. This prevents runaway code. Avoid heap memory allocation. Restrict functions to a single printed page. Use a minimum of two runtime assertions per function. Restrict the scope of data to the smallest possible. Check the return value of all non-void functions, or cast to void to indicate the return value is useless.
The ability to detect non-fatal errors is a major distinction between PurifyPlus and similar programs from the usual debuggers.By contrast, debuggers generally only allow the programmer to quickly find the sources of fatal errors, such as a program crash due to dereferencing a null pointer, but do not help to detect the non-fatal memory errors.
macOS, Linux, Solaris, Windows CPAchecker: Code analysis C: Monitor automata Yes Yes No Yes Free Java Any DREAM: Real-time C++, Timed automata: Monitor automata Yes No No No Free C++: Windows, Unix related FizzBee Specification Language Plain and probabilistic Python: LTL: Yes Yes No Yes Free Go: macOS, Windows, Linux Java Pathfinder: Plain and ...
AQtime by SmartBear Software: Windows .NET 1.0 to 4.0 applications (including ASP.NET applications), Silverlight 4.0 applications, Windows 32- and 64-bit applications including C, C++, Delphi for Win32 and VBScript and JScript functions Performance profiler and memory/resource debugging toolset. Proprietary Arm MAP: Linux
Intel Inspector (previously known as Intel Thread Checker) is a memory and thread checking and debugging tool to increase the reliability, security, and accuracy of C/C++ and Fortran applications. Reliability: Find deadlocks and memory errors that cause lockups & crashes; Security: Find memory and threading vulnerabilities used by hackers
In the C programming language, Duff's device is a way of manually implementing loop unrolling by interleaving two syntactic constructs of C: the do-while loop and a switch statement. Its discovery is credited to Tom Duff in November 1983, when Duff was working for Lucasfilm and used it to speed up a real-time animation program.