773 Open source projects that are alternatives of or similar to progge.rs

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Performant type-checking for python.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

SeaHorn Verification Framework

A LLVM-based static analysis framework.

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

OCCAM: Object Culling and Concretization for Assurance Maximization

Generic implementation of different CFA families based on monadic decomposition

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

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

✨🚀 Blazing fast, inferred static type checker for JavaScript.

Signedness-Agnostic Strided-Interval

Static analysis of IEC 61131-3 programs

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

T.J. Watson Libraries for Analysis

Type Analyzer for JavaScript

Static Analysis Compiler Plugin for Scala

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

Binary Analysis Platform

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

Semgrep rules registry

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

Static Value-Flow Analysis Framework for Source Code

Dominator Tree LLVM Pass to Test Satisfiability

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

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

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

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

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

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

Runtime type and bounds-error checking for C/C++

STatic (LLVM) Object file Analysis Tool

No description or website provided.

Type-safe Lua IDE Plugin for IntelliJ IDEA

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

The CodeQL extractor and libraries for Go.

A Speculation-Aware Collaborative Dependence Analysis Framework

TIRO - A hybrid iterative deobfuscation framework for Android applications

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

Static checker for Java

Applies waves of mutations provided by other tools, such as linters or codemods.

Assorted pintools

Java Code Instrumenter and Execution Tracer

A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves

A pair programming partner for writing better PHP. Pahout means PHP mahout 🐘

Compile javascript to LLVM IR, x86 assembly and self interpreting

GitHub Action to set up Fortify ScanCentral Client

A scalable High-Level Synthesis framework on MLIR

Julia wrapper for the LLVM C API

This Github Action runs Bridgecrew against an Infrastructure-as-Code repository. Bridgecrew performs static security analysis of Terraform & CloudFormation Infrastructure code.

Here lies the code for the Snow* programming language, currently being rewritten.

Static analysis framework for .NET programs.

Ocamlgraph overlay for llvm

A plugin to simplify Static Code Analysis on Gradle. Not restricted to, but specially useful, in Android projects, by making sure all analysis can access the SDK classes.

LLVM C-Api Headers and binaries for Delphi

Java bytecode generator for sound and precise partial program analysis

Visualization of LLVM IR

A Python Bytecode Disassembler helping reverse engineers in dissecting Python binaries by disassembling and analyzing the compiled python byte-code(.pyc) files across all python versions (including Python 3.10.*)

Code Climate Engine for ESLint

🌌 Ion language compiler library, powered by LLVM