724 Open source projects that are alternatives of or similar to OCCAM

Program analysis playground for a simple, imperative language

Static Analyzer for LLVM bitcode based on Abstract Interpretation

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

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

SeaHorn Verification Framework

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

Static Analyzer for LLVM bitcode based on Abstract Interpretation

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

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

Performant type-checking for python.

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

Static Value-Flow Analysis Framework for Source Code

A LLVM-based static analysis framework.

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

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

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

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

Generic implementation of different CFA families based on monadic decomposition

STatic (LLVM) Object file Analysis Tool

Dominator Tree LLVM Pass to Test Satisfiability

A Speculation-Aware Collaborative Dependence Analysis Framework

No description or website provided.

SYCL for Vitis: Experimental fusion of triSYCL with Intel SYCL oneAPI DPC++ up-streaming effort into Clang/LLVM

A Golang tool that does static analysis, unit testing, code review and generate code quality report.

Scalpel: The Python Static Analysis Framework

A high level LLVM IR AST provider for GraphEngine JIT.

A programming language.

Programming Accelerators with C++ (PACXX)

"Ü" programming language development

Remix for Solana.

Torture your LLVM Obfuscation

Staged Abstract Interpreters

The SECBIT Static Analysis Extension to Solidity Compiler

A BPF-based syscall fault injector

Fortran compilers, preprocessors, static analyzers, transpilers, IDEs, build systems, etc.

Los是一个c/c++语言编译型的虚拟机。它使用llvm/clang作为其前端，losld做后端对源代码进行编译，生成los指令文件。Los is a c/c++-compiled virtual machine. It uses llvm/clang as its front end, losld does the backend to compile the source code, and generates the los directive file.

A Small C Compiler

Fixing static analysis violations in Java source code using Datalog

Custom sniffs for PHP_CodeSniffer

CPU-guided performance analyzer for Go

Nette Framework class reflection extension for PHPStan & framework-specific rules

Official repo of the EVM LLVM project

WordPress extensions for PHPStan ⛏️

Multi-Arch Docker - Mesa 3D OpenGL Software Rendering (Gallium) - LLVMpipe, and OpenSWR Drivers

Cluster-based cloud mechanism for running SAVE framework

🏥 PHPDoctor: Check files, full directories or strings for missing or bad PHPDoc types.

RAML Linter

A free and open-source SonarQube plugin for static code analysis of Scala projects.

`mllint` is a command-line utility to evaluate the technical quality of Python Machine Learning (ML) projects by means of static analysis of the project's repository.

Automatic test case generation for python and static analysis library

Program Analysis for LLVM

PhpSpec extension for PHPStan

Tutorial on how to write the dumbest obfuscator I could think of.

A Vim plugin for PHPStan - https://github.com/phpstan/phpstan. It calls `phpstan` to do static analysis of your PHP code and displays the errors in Vim's quickfix list.

MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.

Python library for ODE integration via Taylor's method and LLVM

The LLVM LHC Haskell Optimization System

Fast, Expressive, & High-Performance Programming Language for those who dare

A tool which performs static analyses on Decision Model Notation (DMN) files to detect bugs

Minimal language with type inference, structures, control flow, and more.