Search results
Results from the WOW.Com Content Network
Promela: Process or Protocol Meta Language; it is a verification modeling language. The language allows for the dynamic creation of concurrent processes to model, for example, distributed systems. Starlark: Starlark is a dialect of Python created by Google for Bazel. Model checkers like FizzBee uses Starlark/Python as the modeling language.
Free and open-source software portal; Scapy is a packet manipulation tool for computer networks, [3] [4] originally written in Python by Philippe Biondi. It can forge or decode packets, send them on the wire, capture them, and match requests and replies.
Pylint is a static code analysis tool for the Python programming language. It is named following a common convention in Python of a "py" prefix, and a nod to the C programming lint program. It follows the style recommended by PEP 8, the Python style guide. [4] It is similar to Pychecker and Pyflakes, but includes the following features:
The Natural Language Toolkit, or more commonly NLTK, is a suite of libraries and programs for symbolic and statistical natural language processing (NLP) for English written in the Python programming language. It supports classification, tokenization, stemming, tagging, parsing, and semantic reasoning functionalities. [4]
Python Go, JSON, PHP, Ruby, language-agnostic mode A static analysis tool that helps expressing code standards and surfacing bugs early. It also has experimental support for eleven other languages. A CI service and a rule library is also available. Sider: 2021-02-02 No; proprietary — — — JavaScript, CoffeeScript — Python Ruby, PHP, Go
LanguageTool was started by Daniel Naber for his diploma thesis [5] in 2003 (then written in Python). It now supports 31 languages, each developed by volunteer maintainers, usually native speakers of each language. [ 6 ]
tcpdump, a tool for capturing and dumping packets for further analysis, and WinDump, the Windows port of tcpdump. Zeek, an intrusion detection system and network monitoring platform. URL Snooper, locate the URLs of audio and video files in order to allow recording them. WhatPulse, a statistical (input, network, uptime) measuring application.
Coverity is a proprietary static code analysis tool from Synopsys.This product enables engineers and security teams to find and fix software defects. Coverity started as an independent software company in 2002 at the Computer Systems Laboratory at Stanford University in Palo Alto, California.