748 Open source projects that are alternatives of or similar to clam

Program analysis playground for a simple, imperative language

Performant type-checking for python.

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

A LLVM-based static analysis framework.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

SeaHorn Verification Framework

OCCAM: Object Culling and Concretization for Assurance Maximization

Binary Analysis Platform

STatic (LLVM) Object file Analysis Tool

Dominator Tree LLVM Pass to Test Satisfiability

Generic implementation of different CFA families based on monadic decomposition

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

T.J. Watson Libraries for Analysis

The CodeQL extractor and libraries for Go.

Program for determining types of files for Windows, Linux and MacOS.

No description or website provided.

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

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Static Analysis Compiler Plugin for Scala

CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses

Semgrep rules registry

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

Bringing clang-tidy magic to Visual Studio C++ developers.

ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

Static Value-Flow Analysis Framework for Source Code

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

A Speculation-Aware Collaborative Dependence Analysis Framework

Static analysis of IEC 61131-3 programs

Signedness-Agnostic Strided-Interval

Read-only mirror of the Klever Git repository

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)

TIRO - A hybrid iterative deobfuscation framework for Android applications

A C++17 library for parsing and executing expressions. Allows easy exposure of variables and functions from C++ through built-in reflection functionality.

Monorepo for the OpenCilk compiler, forked from llvm/llvm-project. See the OpenCilk/infrastructure repository for build and installation instructions.

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

ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.

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

Snap Programming Language

Haxe Checkstyle extension for Visual Studio Code

A set of scripts to build optimized LLVM and binutils toolchains. See https://github.com/kdrag0n/proton-clang for prebuilts.

C++ library for ODE integration via Taylor's method and LLVM

identypo is a Go static analysis tool to find typos in identifiers (functions, function calls, variables, constants, type declarations, packages, labels).

Source code for the ICLR 2021 work "Generating Adversarial Computer Programs using Optimized Obfuscations"

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

Staticcheck's official GitHub Action

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

anvill forges beautiful LLVM bitcode out of raw machine code

Build CastXML and its dependencies (LLVM/Clang)

WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.

Шаблон кросплатформенного CMake-проекта для языка C++ 🇬🇧 Modern CMake crossplatform project template for C++

Python interface for MLIR - the Multi-Level Intermediate Representation

🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.

GitHub Action for the codacy-analysis-cli

Efficient Path Profiling using LLVM

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

A Turing complete language 😉