Search results
Results from the WOW.Com Content Network
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
Thread safe, MT-safe: Use a mutex for every single resource to guarantee the thread to be free of race conditions when those resources are accessed by multiple threads simultaneously. Thread safety guarantees usually also include design steps to prevent or limit the risk of different forms of deadlocks , as well as optimizations to maximize ...
Windows 2011 2011-07-26 Proprietary: OpenMDX: cross-platform (Java) 2004-01-28 2.4 2009-03-26 BSD: Scriptcase: Scriptcase Corp. PHP Unix, Linux, Windows, iOS 2000 9.7 2022-04-13 Proprietary: T4: Microsoft: Windows 2005 2010 MIT License: Umple: University of Ottawa: cross-platform (Java) 2010 1.35.0 2024-10-11 MIT License: Velocity apache ...
Code analysis C: Monitor automata Yes No No No Free OCaml: Windows, Unix related CADP: Plain and probabilistic LOTOS, FC2, FSP, LNT AFMC, MCL, XTL SB, WB, BB, OE, STE, WTE, SE, tau*E Yes Yes No Yes FUSC C, Bourne shell, Tcl/Tk, LOTOS, LNT macOS, Linux, Solaris, Windows CPAchecker: Code analysis C: Monitor automata Yes Yes No Yes Free Java Any ...
The core app itself is free and open-source and can be downloaded for offline use. Some languages use ' n-gram ' data, [ 7 ] which is massive and requires considerable processing power and I/O speed, for some extra detections.