Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 22 Llvm Symbolic Execution Open Source Projects

Open source projects categorized as Llvm Symbolic Execution
Categories > Compilers > Llvm
Categories > Security > Symbolic Execution
Miasm ⭐ 3,253
Reverse engineering framework in Python
most recent commit 3 months ago
Klee ⭐ 2,399
KLEE Symbolic Execution Engine
most recent commit 3 months ago
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.
most recent commit 5 months ago
Alive2 ⭐ 634
Automatic verification of LLVM optimizations
most recent commit 3 months ago
Haybale ⭐ 458
Symbolic execution of LLVM IR with an engine written in Rust
dependent packages 1total releases 20most recent commit 6 months agocargo haybale} Downloads
Symbiotic ⭐ 282
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
most recent commit 5 months ago
Sys ⭐ 182
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
most recent commit 2 years ago
Mate ⭐ 120
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.
most recent commit a year ago
Fuzzing ⭐ 77
Fuzzing tutorial with easy to learn labs 🚀
most recent commit 2 years ago
Dna ⭐ 68
Static analysis & deobfuscation framework for x86/x64
most recent commit a year ago
Binary Decompilation ⭐ 37
Extracting high level semantic information from binary code
most recent commit 5 years ago
Pa.llvm ⭐ 36
Program Analysis for LLVM
most recent commit 7 years ago
Ubitect ⭐ 28
most recent commit 2 years ago
Munch ⭐ 28
Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
most recent commit 5 years ago
Tracerx ⭐ 24
TracerX Symbolic Virtual Machine
most recent commit 4 months ago
Symbolic Execution ⭐ 21
Applied Symbolic Execution with KLEE/LLVM
most recent commit 11 years ago
Surveyor ⭐ 13
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
most recent commit 3 years ago
Pathbeaver ⭐ 13
Symbolic execution of LLVM IR
most recent commit 4 months ago
Woodpecker ⭐ 11
Woodpecker: Verifying systems rules using rule-directed symbolic execution
most recent commit 8 years ago
Symbolic Trace ⭐ 11
Symbolic execution of LLVM IR traces for program understanding.
most recent commit 10 years ago
1nsanity ⭐ 8
LLVM pass that obfuscates against symbolic execution
most recent commit 6 years ago
Lart ⭐ 6
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.
most recent commit a year ago
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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