enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. List of tools for static code analysis - Wikipedia

    en.wikipedia.org/wiki/List_of_tools_for_static...

    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 ...

  3. Cppcheck - Wikipedia

    en.wikipedia.org/wiki/Cppcheck

    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.

  4. The Power of 10: Rules for Developing Safety-Critical Code

    en.wikipedia.org/wiki/The_Power_of_10:_Rules_for...

    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.

  5. PurifyPlus - Wikipedia

    en.wikipedia.org/wiki/PurifyPlus

    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.

  6. List of model checking tools - Wikipedia

    en.wikipedia.org/wiki/List_of_model_checking_tools

    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 ...

  7. List of performance analysis tools - Wikipedia

    en.wikipedia.org/wiki/List_of_performance...

    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

  8. Intel Inspector - Wikipedia

    en.wikipedia.org/wiki/Intel_Inspector

    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

  9. Duff's device - Wikipedia

    en.wikipedia.org/wiki/Duff's_device

    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.