Awesome Open Source

Programming Languages

Search results for llvm symbolic execution

symbolic-execution x

22 search results found

Miasm ⭐ 3,253

Reverse engineering framework in Python

KLEE Symbolic Execution Engine

Tigress_protection ⭐ 776

Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

Automatic verification of LLVM optimizations

Haybale ⭐ 458

Symbolic execution of LLVM IR with an engine written in Rust

Symbiotic ⭐ 282

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

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

MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.

Fuzzing tutorial with easy to learn labs 🚀

Static analysis & deobfuscation framework for x86/x64

Binary Decompilation ⭐ 37

Extracting high level semantic information from binary code

Program Analysis for LLVM

Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs

TracerX Symbolic Virtual Machine

Symbolic Execution ⭐ 21

Applied Symbolic Execution with KLEE/LLVM

Surveyor ⭐ 13

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

Pathbeaver ⭐ 13

Symbolic execution of LLVM IR

Woodpecker ⭐ 11

Woodpecker: Verifying systems rules using rule-directed symbolic execution

Symbolic Trace ⭐ 11

Symbolic execution of LLVM IR traces for program understanding.

LLVM pass that obfuscates against symbolic execution

LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.

Related Searches

C Plus Plus Llvm (1,696)

Llvm Clang (934)

Language Llvm (368)

Python Llvm (284)

Rust Llvm (281)

Assembly Llvm (86)

Python Symbolic Execution (75)

1-22 of 22 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.