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.
A code editor web component, [30] available as (among other things) a TinyMCE plugin. [31] TinyMCE 4.x, TinyMCE 5.x, and TinyMCE 6.x. [31] Released under the open source MIT License. [32] N1ED Visual editor for block-by-block content creation. [33] TinyMCE 4.x, TinyMCE 5.x, and TinyMCE 6.x. [34] Base editor is free for one site and up to five ...
MDK-Editor Monaco Editor (Visual Studio Code) Implementation nestable full parsers pattern-based parser pattern-based parser parsers Syntax highlight Over 110 languages 129 languages: Yes mixed mode: HTML + JavaScript and CSS, PHP, EJS; single mode: JavaScript, Java, JSON, CSS, Python, Ruby, XML, YAML (pluggable)
A source code editor with web development features. GPL-2.0-or-later: Brackets: A modular, web-oriented editor built using HTML, CSS and JavaScript on top of the Chromium Embedded Framework. MIT: CodeWright: An editing system or source code editor which can be configured to work with other integrated development environment (IDE) systems ...
Sublime Text is a text and source code editor featuring a minimal interface, syntax highlighting and code folding with native support for numerous programming and markup languages, search and replace with support for regular expressions, an integrated terminal/console window, and customizable themes.