Top 5 Haskell Static Analysis Projects

ShellCheck

192 31,224 8.3 Haskell

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

7 8,068 7.8 Haskell

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:
https://github.com/koalaman/shellcheck/issues/58
The hadolint project does shell checking for Dockerfiles and it uses shellcheck:
https://github.com/hadolint/hadolint
So the approach is definitely feasible, but you do need a new project and probably it needs to be written in Haskell.
InfluxDB

www.influxdata.com
sponsored

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

1 509 4.5 Haskell

🕵️ 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

1 41 4.2 Haskell

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

0 18 0.0 Haskell

A monadic approach to static analysis following the methodology of AAM
SonarQube

www.sonarqube.org
sponsored

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.