Haskell Static Analysis

Open-source Haskell projects categorized as Static Analysis

Top 6 Haskell Static Analysis Projects

Static Analysis
  • ShellCheck

    ShellCheck, a static analysis tool for shell scripts

  • Project mention: Advanced Shell Scripting Techniques: Automating Complex Tasks with Bash | news.ycombinator.com | 2024-06-18

    Reminder of the handy ShellCheck:

    * https://www.shellcheck.net

    Even if you don't follow or agree with its advice, it can be a handy and quick second opinion / sanity check.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • hadolint

    Dockerfile linter, validate inline bash, written in Haskell

  • Project mention: Cloud Security and Resilience: DevSecOps Tools and Practices | dev.to | 2024-05-01

    3. Hadolint: https://github.com/hadolint/hadolint Hadolint is a Dockerfile linter that helps you build best practice Docker images, reducing vulnerabilities in your container configurations.

  • stan

    🕵️ Haskell STatic ANalyser (by kowainik)

  • camfort

    Light-weight verification and transformation tools for Fortran

  • fortran-src

    Fortran parsing and static analysis infrastructure

  • maam

    A monadic approach to static analysis following the methodology of AAM

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).

Haskell Static Analysis discussion

Log in or Post with

Haskell Static Analysis related posts

  • New shell scripting language, a new tablet, and in-product messaging

    2 projects | dev.to | 24 May 2024
  • Ask HN: Is there a GUI for bash shell?

    2 projects | news.ycombinator.com | 19 Apr 2024
  • Ask HN: Popular open source tool originally written in Haskell?

    3 projects | news.ycombinator.com | 10 Feb 2024
  • Ask HN: A Bash guide for Posix programmers?

    1 project | news.ycombinator.com | 17 Dec 2023
  • Regex support to list modules in .cabal?

    1 project | /r/haskell | 4 Dec 2023
  • Is there a syntax checker?

    2 projects | /r/groff | 24 Oct 2023
  • Shellcheck – finds bugs in your shell scripts

    1 project | news.ycombinator.com | 6 Oct 2023
  • A note from our sponsor - SaaSHub
    www.saashub.com | 21 Jun 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

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

Project Stars
1 ShellCheck 35,409
2 hadolint 10,012
3 stan 562
4 camfort 122
5 fortran-src 44
6 maam 19

Sponsored
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com