Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for llvm symbolic
llvm
x
symbolic
x
33 search results found
Miasm
⭐
3,253
Reverse engineering framework in Python
Klee
⭐
2,399
KLEE Symbolic Execution Engine
Crucible
⭐
577
Crucible is a library for symbolic simulation of imperative programs
Literature_review
⭐
513
Survey of program analysis research with a focus on machine code
Haybale
⭐
458
Symbolic execution of LLVM IR with an engine written in Rust
Sys
⭐
182
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Nanopass
⭐
55
Nanopass scheme compiler in scheme for x86
Symba
⭐
50
The Symbolic Assembler
Cloud9
⭐
39
The Cloud9 main repository
Llvm Slicing
⭐
31
Symbolic Program Slicing with LLVM
Ubitect
⭐
28
Validating Binary Decompilation
⭐
27
Scalable Validator for Binary Lifters
C Objc Blocks
⭐
24
Runtime functions to support Apple's Blocks feature added to C, Objective-C and C++. And other niceties...
Tracerx
⭐
24
TracerX Symbolic Virtual Machine
Symbolic Execution
⭐
21
Applied Symbolic Execution with KLEE/LLVM
Llvm Verifier
⭐
19
The LLVM Symbolic Simulator, part of SAW.
Serval Sosp19
⭐
19
This repo contains the artifact for our SOSP'19 paper on Serval
Klee
⭐
19
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Tigress_angr
⭐
17
Futile attempt to solve the Tigress challenges using angr
Gklee
⭐
15
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
Klee Float
⭐
14
KLEE with floating point support (unmaintained)
Surveyor
⭐
13
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
Symbolic Trace
⭐
11
Symbolic execution of LLVM IR traces for program understanding.
Monster
⭐
10
Monster is a symbolic execution engine for 64-bit RISC-U code
Mc Asm
⭐
10
Assemble code to bytes using LLVM's MC layer
Spa
⭐
9
Systematic Protocol Analysis Project
Klee
⭐
8
Stripped down version of KLEE (original on https://klee.github.com)
1nsanity
⭐
8
LLVM pass that obfuscates against symbolic execution
Klee
⭐
8
A symbolic interpreter for LLVM bitcode
Llvm Sra
⭐
7
Symbolic range analysis for LLVM.
Symbolic Analysis
⭐
5
Customized symbolic analysis to find pointer analysis bugs
Klee Float
⭐
5
Floating point support for the KLEE symbolic execution engine
Klee Nush
⭐
5
Experimental fork of klee
Related Searches
C Plus Plus Llvm (1,696)
Llvm Clang (934)
Python Symbolic (449)
C Llvm (447)
Language Llvm (368)
Rust Llvm (281)
Python Llvm (280)
1-33 of 33 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.