Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for virtual machine symbolic execution
symbolic-execution
x
virtual-machine
x
3 search results found
Klee
⭐
2,399
KLEE Symbolic Execution Engine
Cgpwn
⭐
357
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
Warbirdvm
⭐
120
An analysis of the Warbird virtual-machine protection for the CI!g_pStore
Smoosh
⭐
98
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Tracerx
⭐
24
TracerX Symbolic Virtual Machine
Related Searches
Vagrant Virtual Machine (3,710)
Shell Virtual Machine (2,910)
Virtual Machine Virtualbox (1,496)
Docker Virtual Machine (1,107)
Hosts Virtual Machine (668)
C Plus Plus Virtual Machine (581)
Golang Virtual Machine (575)
Php Virtual Machine (510)
Cloud Computing Virtual Machine (510)
Script Virtual Machine (485)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.