743 Open source projects that are alternatives of or similar to Phasar

Static Analyzer for LLVM bitcode based on Abstract Interpretation

SeaHorn Verification Framework

Program analysis playground for a simple, imperative language

Static Analyzer for LLVM bitcode based on Abstract Interpretation

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

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

Performant type-checking for python.

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

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

TIRO - A hybrid iterative deobfuscation framework for Android applications

Static Value-Flow Analysis Framework for Source Code

Dominator Tree LLVM Pass to Test Satisfiability

Semgrep rules registry

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

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

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

Static Analysis Compiler Plugin for Scala

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

Binary Analysis Platform

The CodeQL extractor and libraries for Go.

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

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

OCCAM: Object Culling and Concretization for Assurance Maximization

STatic (LLVM) Object file Analysis Tool

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

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

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

T.J. Watson Libraries for Analysis

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

Golang security checker

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine. Ideal for scanning components before use or detecting feature level changes.

A toy JavaScript engine implemented in Rust from scratch

FlowDroid Static Data Flow Tracker

PHP Magic Number Detector

Droidefense: Advance Android Malware Analysis Framework

Staticcheck - The advanced Go linter

High-performance automatic differentiation of LLVM.

Your performance & security consultant, an artisan command away.

LLVM-based compiler for the Nim language

Emacs Lisp Static Analyzer

Code analyzer for C# and VB.NET projects https://redirect.sonarsource.com/plugins/vbnet.html

A static analysis tool for finding errors in PHP applications

📄 Documented Style Sheets Parser

cwe_checker finds vulnerable patterns in binary executables

Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.

Haskell bindings for LLVM

A vulnerability scanner for container images and filesystems

SonarJS rules for ESLint

Tagua VM is an experimental PHP Virtual Machine that guarantees safety and quality by removing large classes of vulnerabilities thanks to the Rust language and the LLVM Compiler Infrastructure.

(Toy) Compiler Infrastructure influenced by LLVM written in Rust

Experimental wrapper over LLVM for generating and compiling code at run-time.

prealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated.

WEB SERVICE SECURITY ASSESSMENT TOOL

LLVM Optimization to extract a function, embedded in its intermediate representation in the binary, and execute it using the LLVM Just-In-Time compiler.

Circuit IR Compilers and Tools

IDAPython Made Easy

🚀 TypeScript compiler on top of TypeScript as frontend and LLVM as backend

A hackable malware sandbox for the 21st Century