657 Open source projects that are alternatives of or similar to Symbiotic

Automatic verification of LLVM optimizations

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

SeaHorn Verification Framework

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

Configurable instrumentation of LLVM bitcode

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.

Simple Theorem Prover, an efficient SMT solver for bitvectors

EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.

The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

Main repository of the Vigor NF verification project.

A Dynamic Binary Instrumentation framework based on LLVM.

SMACK Software Verifier and Verification Toolchain

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

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

Alive: Automatic LLVM's Instcombine Verifier

Legacy repo, migrated to cheerp-compiler monorepo

Tool for PDB generation from IDA Pro database

Binary Translator to LLVM IR

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

Symbolic execution tool

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

Seeding fuzzers with symbolic execution

Java distributed tracing implementation compatible with Zipkin backend services.

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

Domain-Specific Fuzzing with Waypoints

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.

Scilla - A Smart Contract Intermediate Level Language

LLVM plus Emscripten's asm.js backend

A low-overhead dynamic binary instrumentation and modification tool for ARM (now with both AArch32 and AArch64 support)

Cross platform code coverage for .NET

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

A Proof-oriented Programming Language

Mir (backports): Sparse tensors, Hoffman

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

Yet Another Not So Obfuscated LLVM

A stats collection and distributed tracing framework

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

The Whiley Compiler (WyC)

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

Software Quality Wiki

Discover what languages can be compiled to Web Assembly

A selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.

SymGDB - symbolic execution plugin for gdb

Samples for the Google SafetyNet Attestation API

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

Caliper is an instrumentation and performance profiling library

Homepage Theorem Proving in Lean FAQ

Prometheus instrumentation library for Python applications

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

The cling C++ interpreter

Zipkin instrumentation for PHP

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

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

Collection of Verification Tasks

Sophisticated monitoring agent for Java

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

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

Automatic ROPChain Generation

Frida Boot 👢- A binary instrumentation workshop, with Frida, for beginners!