444 Open source projects that are alternatives of or similar to monadic-cfa

Performant type-checking for python.

A 6502-oriented low-level programming language supporting advanced static analysis

Program analysis playground for a simple, imperative language

No description or website provided.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Sturdy is a library for developing sound static analyses in Haskell.

OCCAM: Object Culling and Concretization for Assurance Maximization

Flexible, expressive pattern matching for Ruby

A Python Bytecode Disassembler helping reverse engineers in dissecting Python binaries by disassembling and analyzing the compiled python byte-code(.pyc) files across all python versions (including Python 3.10.*)

coala base docker image

Staticcheck's official GitHub Action

an obfuscation-resilient, highly precise and reliable library detector for Android applications

A plugin to simplify Static Code Analysis on Gradle. Not restricted to, but specially useful, in Android projects, by making sure all analysis can access the SDK classes.

SQL Server static code analysis rules for SSDT database projects

Very WIP static analysis for Lua

📐 Tools for surveying Dart packages

Code Climate Engine for ESLint

GitHub Action to set up Fortify ScanCentral Client

Functional Programming for EcmaScript(Javascript)

An ethereum evm bytecode disassembler and static/dynamic analysis tool

A personal app to store people that owe you money or you owe money to. "Mo Money Mo Problems" 🎵 - The Notorious B.I.G. 😎

An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.

Github mirror of "mediawiki/tools/phan/SecurityCheckPlugin" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)

OPEM (Open Source PEM Fuel Cell Simulation Tool)

A library to read static analysis reports into a Java object model

Visual Studio Code extension integrating Tenkawa PHP language server.

JAW: A Graph-based Security Analysis Framework for JavaScript and Client-side CSRF

A simple react form generator using functional programming concepts

Docker image for Alpine Linux with latest ShellCheck, a static analysis tool for shell scripts.

An example linter written with go/analysis for tutorial purposes

Java bytecode generator for sound and precise partial program analysis

Static checker for Java

An Error Prone plugin for SLF4J

EBA is a static bug finder for C.

Code Climate Engine for PHP Code Sniffer

Applies waves of mutations provided by other tools, such as linters or codemods.

OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.

Applied functional patterns for C#. Money and Currency types. MVP framework. (Obsolete)

Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)

RAIR: RAdare In Rust

Integrate SonarQube scanner to GitHub Actions

SonarQube Cucumber Gherkin Analyzer

Snap Programming Language

⚙️ Scan your Java, Kotlin, PHP, Python, JavaScript, TypeScript projects at GitHub with Qodana

GitHub Action for the codacy-analysis-cli

FP-TS Cheat Sheet

A simple terminal UI for Go linters

A open source Python script to perform static analysis on a Malware Binary File (portable executable).

Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages

Static analysis for CloudFormation templates to identify common misconfiguration

Static analysis framework for .NET programs.

nakedret is a Go static analysis tool to find naked returns in functions greater than a specified function length.

Making CoreOS' Clair easily work in CI/CD pipelines

Java bytecode analyzer customizable via JSON rules

A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.

📚Write safer TypeScript using Maybe, List, Result, and Either monads.

A tool for linting and static analysis of Lua code.

Haxe Checkstyle extension for Visual Studio Code

🧙 A simple, typed and monad-based Result type for Python.

High-level library for executable binary file analysis