757 Open source projects that are alternatives of or similar to Sys

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Static Value-Flow Analysis Framework for Source Code

Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

APISan: Sanitizing API Usages through Semantic Cross-Checking

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

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Program analysis playground for a simple, imperative language

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

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

SeaHorn Verification Framework

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

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

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

Automatic verification of LLVM optimizations

A Speculation-Aware Collaborative Dependence Analysis Framework

Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19

An analysis tool for Python that blurs the line between testing and type systems.

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

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

OCCAM: Object Culling and Concretization for Assurance Maximization

No description or website provided.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Dominator Tree LLVM Pass to Test Satisfiability

STatic (LLVM) Object file Analysis Tool

A LLVM-based static analysis framework.

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

Binary Analysis Platform

Proton Clang toolchains builds in the form of a continuously updating Git repository. Clone with --depth=1.

Analyses and reports testability issues of a php codebase

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

Metareflect is a lightweight reflection system for C++, based on LLVM and Clangs libtooling.

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

Converts JavaScript to TypeScript and TypeScript to better TypeScript.

Setup scripts for my Malware Analysis VMs

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

An Android base app with loads of cool libraries/configuration NOT MAINTAINED

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

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.

Automated code reviews via mutation testing - semantic code coverage.

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

C++ Library and Tool for Extracting Embedded Bitcode

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

LLVM backend for Accelerate

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!

A list of computer-science readings I recommend

Semgrep rules registry

KLEE Symbolic Execution Engine

Compiler for the Volt Programming Language

Argus static analysis framework

Toolkit for enriching and speeding up static malware analysis

Command line tool to validate configuration files

A tool to automatically fix PHP Coding Standards issues

Intel SPMD Program Compiler

Soot - A Java optimization framework

C code refactoring browser

The C++ Standard Library for your entire system.

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

The Java Disassembler

Checks syntax of reStructuredText and code blocks nested within it