Does it help with managing false positives?

Absolutely, it includes templates and patterns for .dialyzer_ignore.exs and dialyzer.ignore-warnings files to handle intentional ignores.

How does this improve code quality?

By enforcing stricter type checking and identifying unreachable code or unmatched return values through specific analysis flags like :underspecs and :unmatched_returns.

Can I use this for both Erlang and Elixir?

Yes, it covers standard Dialyzer patterns for Erlang as well as Mix-based configurations specifically for Elixir projects.

How does this skill help with Dialyzer performance?

It provides optimized configurations for PLT management and incremental builds to significantly speed up analysis times.

Is it compatible with GitHub Actions?

Yes, the skill provides ready-to-use snippets for integrating Dialyzer into GitHub Actions and other CI/CD environments.

Dialyzer Configuration

Name: Dialyzer Configuration
Author: TheBushidoCollective

byTheBushidoCollective

•

Security & Testing

Configures Dialyzer for advanced static analysis and rigorous type checking in Elixir and Erlang projects.

This skill provides comprehensive guidance for setting up and optimizing Dialyzer, the industry-standard static analysis tool for the BEAM ecosystem. It assists developers in managing Persistent Lookup Tables (PLTs), defining granular analysis flags, and implementing robust warning management via ignore files. By integrating best practices for type specifications and CI/CD pipelines, it helps maintain high code quality and identifies software discrepancies like unreachable code and unmatched returns early in the development lifecycle.

Key Features

01Optimized Mix.exs configuration for Dialyxir integration

02Structured warning management using .dialyzer_ignore.exs

03Granular analysis flags for error handling and underspecs

04Persistent Lookup Table (PLT) management and path optimization

05GitHub Actions and CI/CD workflow integration patterns

0672 GitHub stars

Use Cases

01Optimizing CI pipeline performance with incremental PLT building

02Reducing Dialyzer noise by implementing structured ignore filters

03Implementing static analysis for a new Elixir or Erlang project

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add thebushidocollective/han dialyzer-configuration

For use in Claude.ai and ChatGPT

Download Skill