Search results
Results from the WOW.Com Content Network
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 ...
This is a list of free and open-source software packages, computer software licensed under free software licenses and open-source licenses.Software that fits the Free Software Definition may be more appropriately called free software; the GNU project in particular objects to their works being referred to as open-source. [1]
ISP code level verifier for MPI programs; Java Pathfinder: an open-source model checker for Java programs; Libdmc: a framework for distributed model checking; mCRL2 Toolset, Boost Software License, Based on ACP; NuSMV: a new symbolic model checker; PAT: an enhanced simulator, model checker and refinement checker for concurrent and real-time systems
Java — — — PHP A static code analysis solution with many integration options for the automated detection of complex security vulnerabilities. SAST Online: 2022-03-07 (1.1.0) No; proprietary — — Java — — — Kotlin, APK: Check the Android Source code thoroughly to uncover and address potential security concerns and vulnerabilities.
The Copy/Paste Detector (CPD) is an add-on to PMD that uses the Rabin–Karp string search algorithm to find duplicated code. Unlike PMD, CPD works with a broader range of languages including Java, JavaServer Pages (JSP), C , C++ , Fortran , PHP , and C# code.
Link verification is performed on links which appear in <a> tags, as well as images, frames, plug-ins, backgrounds, local image maps, style sheets, scripts, and Java applets. The program follows links to other pages, and checks the links on those pages also, so it is possible to check an entire site for broken links in one session.
A Technology Compatibility Kit (TCK) is a suite of tests that at least nominally checks a particular alleged implementation of a Java Specification Request (JSR) for compliance. It is one of the three required pieces for a ratified JSR in the Java Community Process, which are: the JSR specification; the JSR reference implementation
Pointer arithmetic, that is, the ability to modify a pointer's target address with arithmetic operations (as well as magnitude comparisons), is restricted by the language standard to remain within the bounds of a single array object (or just after it), and will otherwise invoke undefined behavior.