dialyzer

Erlang/OTP discrepancy analyzer application

Install

All systems
curl cmd.cat/dialyzer.sh
Debian Debian
apt-get install erlang-dialyzer
Ubuntu
apt-get install erlang-dialyzer
Alpine
apk add erlang-dialyzer
Arch Arch Linux
pacman -S erlang-dialyzer
image/svg+xml Kali Linux
apt-get install erlang-dialyzer
Fedora
dnf install erlang-dialyzer
Windows (WSL2)
sudo apt-get update sudo apt-get install erlang-dialyzer
Raspbian
apt-get install erlang-dialyzer
Dockerfile
dockerfile.run/dialyzer
Docker
docker run cmd.cat/dialyzer dialyzer powered by Commando

erlang-dialyzer

Erlang/OTP discrepancy analyzer application

Dialyzer is a static analysis tool that identifies software discrepancies such as type errors, unreachable code, unnecessary tests etc. in single Erlang modules or entire (sets of) applications.

erlang-dbg

Erlang/OTP symbol files

The files containing debug symbols for binaries and libraries in Erlang to help in debugging applications build with them. You will not normally need to install this package.

erlang

Concurrent, real-time, distributed functional language

Open Source Erlang is a functional programming language designed at the Ericsson Computer Science Laboratory. Some of Erlang main features are: * Clear declarative syntax and is largely free from side-effects; * Built-in support for real-time, concurrent and distributed programming; * Designed for development of robust and continuously operated programs; * Dynamic code replacement at runtime. The Erlang distribution also includes OTP (Open Telecom Platform) which provides a rich set of libraries and applications. This package is a dummy package which will install Erlang/OTP runtime, applications, sources, code examples and the Erlang editing mode for Emacs.

erlang-nox

Erlang/OTP applications that don't require X Window System

This package is a dummy package which will install all Erlang/OTP applications which do not require X Window System to run.

erlang17-dialyzer

Erlang/OTP discrepancy analyzer application

Dialyzer is a static analysis tool that identifies software discrepancies such as type errors, unreachable code, unnecessary tests etc. in single Erlang modules or entire (sets of) applications. This package is the version 17 to fix couchdb in Kali-rolling. This is a temporay package. It should be removed once python-faraday doesn't need couchdb anymore.

erlang17-dbg

Erlang/OTP symbol files

The files containing debug symbols for binaries and libraries in Erlang to help in debugging applications build with them. You will not normally need to install this package. This package is the version 17 to fix couchdb in Kali-rolling. This is a temporay package. It should be removed once python-faraday doesn't need couchdb anymore.