Haskell Static Analysis

Open-source Haskell projects categorized as Static Analysis

Top 5 Haskell Static Analysis Projects

  • ShellCheck

    ShellCheck, a static analysis tool for shell scripts

    Project mention: Announcing zsh-sweep, a zsh-linter | reddit.com/r/commandline | 2023-01-28

    Cool idea, linting for zsh has been discussed a lot on this shellcheck issue but hasn't been implemented there yet. If you haven't seen it already that thread might be a place to look for ideas

  • hadolint

    Dockerfile linter, validate inline bash, written in Haskell

    Project mention: Checkmake: Experimental Linter/Analyzer for Makefiles | news.ycombinator.com | 2022-08-14

    Some discussion on that here:


    The hadolint project does shell checking for Dockerfiles and it uses shellcheck:


    So the approach is definitely feasible, but you do need a new project and probably it needs to be written in Haskell.

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  • stan

    🕵️ Haskell STatic ANalyser (by kowainik)

    Project mention: Comparing strict and lazy | reddit.com/r/haskell | 2022-05-21

    That sounds very interesting. Maybe it would not be very hard to implement a prototype of such a system with Stan?

  • fortran-src

    Fortran parsing and static analysis infrastructure

    Project mention: Case-insensitive match with Alex | reddit.com/r/haskell | 2022-10-27

    See here for full details.

  • maam

    A monadic approach to static analysis following the methodology of AAM

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-01-28.

Haskell Static Analysis related posts


What are some of the best open-source Static Analysis projects in Haskell? This list will help you:

Project Stars
1 ShellCheck 31,224
2 hadolint 8,068
3 stan 509
4 fortran-src 41
5 maam 18
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives