Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for symbolic execution llvm ir
llvm-ir
x
symbolic-execution
x
5 search results found
Alive2
⭐
634
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
Vmprotect Devirtualization
⭐
244
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
Dna
⭐
68
Static analysis & deobfuscation framework for x86/x64
Related Searches
C Plus Plus Llvm Ir (100)
Python Symbolic Execution (75)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.