743 Open source projects that are alternatives of or similar to Crab Llvm

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

Program analysis playground for a simple, imperative language

SeaHorn Verification Framework

Static Analyzer for LLVM bitcode based on Abstract Interpretation

A LLVM-based static analysis framework.

Static analysis of IEC 61131-3 programs

Dominator Tree LLVM Pass to Test Satisfiability

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

Static Analysis Compiler Plugin for Scala

STatic (LLVM) Object file Analysis Tool

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

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

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

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

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

A Speculation-Aware Collaborative Dependence Analysis Framework

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

T.J. Watson Libraries for Analysis

Performant type-checking for python.

OCCAM: Object Culling and Concretization for Assurance Maximization

TIRO - A hybrid iterative deobfuscation framework for Android applications

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

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

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

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

The CodeQL extractor and libraries for Go.

Binary Analysis Platform

Static Value-Flow Analysis Framework for Source Code

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

Semgrep rules registry

Setup scripts for my Malware Analysis VMs

nodejsscan is a static security code scanner for Node.js applications.

A parser and source code analyzer for PL/SQL and Oracle SQL.

LLVM/Clang for Visual Studio 2019, 2017, 2015, 2013, 2012 and 2010. clang-cl for Python3 distutils. Utils for Clang Static Analyzer

C code refactoring browser

LLVM backend for Accelerate

NOTE: The LLVM project now operates official Git mirrors as well: http://llvm.org/docs/GettingStarted.html#git-mirror -- An automated mirror of llvm/trunk from LLVM's SVN. Updates hourly. Release branches and tags are tracked manually. This mirror is *not* commit-ID compatible with the official Git mirrors.

C++ Library and Tool for Extracting Embedded Bitcode

Toolkit for enriching and speeding up static malware analysis

A step-by-step tutorial for building an LLVM sample pass

This project aims to facilitate debugging a kernel driver in windows by adding support for a code change on the fly without reboot/unload, and more!

Static program analysis for TIP

Lean C/C++ Bounds Checking with Low-Fat Pointers

The C++ Standard Library for your entire system.

A list of computer-science readings I recommend

Compiler for the Volt Programming Language

Checks syntax of reStructuredText and code blocks nested within it

Argus static analysis framework

Command line tool to validate configuration files

A curated list of mathematics documents ,Concepts, Study Materials , Algorithms and Codes available across the internet for machine learning and deep learning

An LLVM sanitizer tutorial

A tool to automatically fix PHP Coding Standards issues

GitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools.

Release snapshots of the Frama-C platform for source code analysis

A binary analysis framework

The Java Disassembler

A Psalm plugin for Laravel

clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...

Manage translation and localization with static analysis, for Ruby i18n

Dynamic definitions and types provider for ruby static analysis