558 Open source projects that are alternatives of or similar to Alive2

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

User Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)

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

Homepage Theorem Proving in Lean FAQ

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

APALACHE: symbolic model checker for TLA+

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

The cling C++ interpreter

Compiler for the Volt Programming Language

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

LLVM Obfuscator

Collection of Verification Tasks

An esoteric programming language compiler on top of LLVM based on Brainfuck

Samples for the Google SafetyNet Attestation API

Slides and very basic examples

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

ECMAScript verification with SMT solvers

return an md5sum of a given file

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Fork of the LLVM Compiler Infrastructure

The Language for Smart Legal Contracts

Tool for PDB generation from IDA Pro database

mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects

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

A List of Free and Open Source Hardware Verification Tools and Frameworks

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.

Binary Analysis Platform

Advanced shading language for production GI renderers

Reference mobile app for BrightID

A cross compiler toolchain targeting macOS/iOS/etc.

LLVM plus Emscripten's asm.js backend

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

Rust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)

Functional programming language for signal processing and sound synthesis

Intel SPMD Program Compiler

numba_scipy extends Numba to make it aware of SciPy

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

验证码输入框，验证码，code view，iOS验证码输入

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

android-ndk for termux

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

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

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

短信验证：基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End

A tool for analyzing x86-64 binaries.

Yet Another Not So Obfuscated LLVM

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

Deep Blockchains - reference implementation of Plasma, Stark, SMT and more

Collection of Eagle projects for targets, interfaces, shields and more

Precious Plastic Downloadpack

Julia bindings for the Enzyme automatic differentiator

GDB Pretty Printers for libc++ of Clang/LLVM

Seeding fuzzers with symbolic execution

Cogent Project

JavaSMT - Unified Java API for SMT solvers.

VHDL 2008/93/87 simulator

LLVM backend for Accelerate

Mal (Make A Lisp) compiler

MSBuild 15.0 Toolset integration for multiple LLVM (From v5 to v8)