not mine, clone from
☆44Dec 2, 2016Updated 9 years ago
Alternatives and similar repositories for vmware-svga
Users that are interested in vmware-svga are comparing it to the libraries listed below
Sorting:
- Symbolic Execution for WebAssembly☆10Jun 10, 2018Updated 7 years ago
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 4 years ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago
- CRETE under development☆60Jun 30, 2020Updated 5 years ago
- 正确解析 _HEAP_VS_***符号 ,支持在最新win11 24h2 运行,替换windbg自带的!pool命令☆17Nov 30, 2024Updated last year
- ☆14Jun 30, 2015Updated 10 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- A simple tool for enumerating dynamic endpoints on a DCE/RPC remote or local endpoint mapper.☆15Oct 9, 2020Updated 5 years ago
- A library for building cross-platform native desktop applications with TypeScript.☆14Sep 2, 2019Updated 6 years ago
- C OS template☆17Jul 11, 2024Updated last year
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Apr 30, 2016Updated 9 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago
- Swish Concurrency Engine for Windows☆18Mar 12, 2021Updated 4 years ago
- An Extensible Dynamic Analysis Framework for IoT Devices☆21Aug 9, 2018Updated 7 years ago
- A C/C++ code obfuscator based on llvm/clang technology☆16Sep 19, 2014Updated 11 years ago
- An Anti-Rootkit implemented using Intel VT-x☆40Feb 22, 2019Updated 7 years ago
- A python library for generate ida pro files (*.idb/*.i64) in batch mode & compare executable files use bindiff in batch mode.☆32Jul 9, 2025Updated 7 months ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Sep 16, 2022Updated 3 years ago
- 🦆鸭子编译器☆19Oct 25, 2020Updated 5 years ago
- ROSA: Finding Backdoors with Fuzzing☆45Jun 30, 2025Updated 8 months ago
- Instrumenting a binary without source code to bypass anti-debug checks☆38Sep 25, 2021Updated 4 years ago
- 基于鸭子编译器写的os☆22Oct 25, 2020Updated 5 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- A new type of js fuzzer☆26Feb 10, 2020Updated 6 years ago
- Assorted pintools☆30Mar 30, 2020Updated 5 years ago
- C++ Program used to dump Themida and VMProtect.☆34Dec 13, 2023Updated 2 years ago
- ☆32Apr 2, 2024Updated last year
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆32Feb 1, 2021Updated 5 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆33Jun 16, 2024Updated last year
- ☆55Mar 30, 2020Updated 5 years ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆36Feb 28, 2020Updated 6 years ago
- ☆19Nov 23, 2025Updated 3 months ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/kemufuzzer☆26Mar 17, 2015Updated 10 years ago
- PARTS / LLVM compiler☆31Aug 14, 2019Updated 6 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆29Mar 6, 2024Updated 2 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆30Apr 7, 2019Updated 6 years ago