488 Open source projects that are alternatives of or similar to Alive

SMACK Software Verifier and Verification Toolchain

SeaHorn Verification Framework

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

Automatic verification of LLVM optimizations

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

Collection of Verification Tasks

return an md5sum of a given file

Fork of the LLVM Compiler Infrastructure

A curated list of awesome LLVM related docs, tools, and other resources.

LLVM plus Emscripten's asm.js backend

Static Analyzer for LLVM bitcode based on Abstract Interpretation

The cling C++ interpreter

A tool for converting C and Objective-C headers to D modules

🔬 a C++ compiler middle-end, using an LLVM backend

Tool for PDB generation from IDA Pro database

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).

Laravel 2-Step verification is a package to add 2-Step user authentication to any Laravel project easily. It is configurable and customizable. It uses notifications to send the user an email with a 4-digit verification code. Laravel 2-Step Authentication Verification for Laravel. Can be used in out the box with Laravel's authentication scaffolding or integrated into other projects.

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

Samples for the Google SafetyNet Attestation API

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

🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!

Lean C/C++ Bounds Checking with Low-Fat Pointers

LLVM backend for Accelerate

🐉 A clang tool for happy refactoring without source-code gymnastics

A collection of LLVM transform and analysis passes to write shellcode in regular C

An LLVM sanitizer tutorial

✅ A Go library for email verification without sending any emails.

Rewrite C++ code to automatically apply `constexpr` where possible

Example project from my talks in the LLVM Social Berlin and C++ User Group

Scilla - A Smart Contract Intermediate Level Language

🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations

From Simple To Complex. A complete collection of webassembly examples.

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

This repository contains a tutorial for a quick start in how to write a register allocator using LLVM

TLA+ language support for Visual Studio Code

A book about LLVM & Clang（中文开源书：玩转 LLVM）

immudb - world’s fastest immutable database, built on a zero trust model

JLang: Ahead-of-time compilation of Java programs to LLVM

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

Legacy repo, migrated to cheerp-compiler monorepo

Intel SPMD Program Compiler

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

Binary Translator to LLVM IR

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Yet Another Not So Obfuscated LLVM

Cogent Project

A Proof-oriented Programming Language

The C++ Standard Library for your entire system.

A tool for analyzing x86-64 binaries.

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

Node LLVM 4.0+ Bindings

Whole Program LLVM: wllvm ported to go

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

The Whiley Compiler (WyC)

Software Quality Wiki

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

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

Discover what languages can be compiled to Web Assembly

Mir (backports): Sparse tensors, Hoffman