718 Open source projects that are alternatives of or similar to Svf

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

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

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

STatic (LLVM) Object file Analysis Tool

A LLVM-based static analysis framework.

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

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

OCCAM: Object Culling and Concretization for Assurance Maximization

Static Analyzer for LLVM bitcode based on Abstract Interpretation

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

Dominator Tree LLVM Pass to Test Satisfiability

Program analysis playground for a simple, imperative language

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

A Speculation-Aware Collaborative Dependence Analysis Framework

Static Analyzer for LLVM bitcode based on Abstract Interpretation

SeaHorn Verification Framework

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

Rich Domain Model for JVM Bytecode and Framework to interpret and transpile it.

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

Performing security tests inside your CI

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

PHP Architecture Tester - Easy to use architectural testing tool for PHP ✔️

Security scanner coordinator

A toy JavaScript engine implemented in Rust from scratch

Staticcheck - The advanced Go linter

A language for computing on sparse systems

LLVM-based compiler for the Nim language

Binee: binary emulation environment

SonarJS rules for ESLint

Define and run pattern-based custom linting rules.

Circuit IR Compilers and Tools

T.J. Watson Libraries for Analysis

A community-driven list of awesome linters.

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.

Collection of small security tools, mostly in Bash and Python. CTFs, Bug Bounty and other stuff.

Droidefense: Advance Android Malware Analysis Framework

🆎 Tool to compare two revisions of a class API to check for BC breaks

Your performance & security consultant, an artisan command away.

Emacs Lisp Static Analyzer

📄 Documented Style Sheets Parser

Golang security checker

Haskell bindings for LLVM

A vulnerability scanner for container images and filesystems

Awesome autocompletion, static analysis and refactoring library for python

Useful CMake Examples

IDAPython Made Easy

PHP Magic Number Detector

(Toy) Compiler Infrastructure influenced by LLVM written in Rust

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

High-performance automatic differentiation of LLVM.

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.

Project moved to: https://github.com/llvm/llvm-project

A static analysis tool for finding errors in PHP applications

Symfony extension for PHPStan

Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project

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

Static code analysis for Kotlin

Code smell detector for Ruby

🔐 A code style linter for Elixir