LICENSE
MANIFEST.in
README.md
setup.py
simuvex/__init__.py
simuvex/s_action.py
simuvex/s_action_object.py
simuvex/s_cc.py
simuvex/s_errors.py
simuvex/s_event.py
simuvex/s_format.py
simuvex/s_options.py
simuvex/s_pcap.py
simuvex/s_procedure.py
simuvex/s_slicer.py
simuvex/s_state.py
simuvex/s_type.py
simuvex/s_type_backend.py
simuvex/s_variable.py
simuvex.egg-info/PKG-INFO
simuvex.egg-info/SOURCES.txt
simuvex.egg-info/dependency_links.txt
simuvex.egg-info/requires.txt
simuvex.egg-info/top_level.txt
simuvex/concretization_strategies/__init__.py
simuvex/concretization_strategies/any.py
simuvex/concretization_strategies/max.py
simuvex/concretization_strategies/nonzero.py
simuvex/concretization_strategies/nonzero_range.py
simuvex/concretization_strategies/norepeats.py
simuvex/concretization_strategies/norepeats_range.py
simuvex/concretization_strategies/range.py
simuvex/concretization_strategies/single.py
simuvex/concretization_strategies/solutions.py
simuvex/engines/__init__.py
simuvex/engines/engine.py
simuvex/engines/procedure.py
simuvex/engines/successors.py
simuvex/engines/unicorn_engine.py
simuvex/engines/vex/__init__.py
simuvex/engines/vex/ccall.py
simuvex/engines/vex/dirty.py
simuvex/engines/vex/engine.py
simuvex/engines/vex/irop.py
simuvex/engines/vex/expressions/__init__.py
simuvex/engines/vex/expressions/base.py
simuvex/engines/vex/expressions/ccall.py
simuvex/engines/vex/expressions/const.py
simuvex/engines/vex/expressions/get.py
simuvex/engines/vex/expressions/geti.py
simuvex/engines/vex/expressions/gsptr.py
simuvex/engines/vex/expressions/ite.py
simuvex/engines/vex/expressions/load.py
simuvex/engines/vex/expressions/op.py
simuvex/engines/vex/expressions/rdtmp.py
simuvex/engines/vex/expressions/unsupported.py
simuvex/engines/vex/expressions/vecret.py
simuvex/engines/vex/statements/__init__.py
simuvex/engines/vex/statements/abihint.py
simuvex/engines/vex/statements/base.py
simuvex/engines/vex/statements/cas.py
simuvex/engines/vex/statements/dirty.py
simuvex/engines/vex/statements/exit.py
simuvex/engines/vex/statements/imark.py
simuvex/engines/vex/statements/llsc.py
simuvex/engines/vex/statements/loadg.py
simuvex/engines/vex/statements/mbe.py
simuvex/engines/vex/statements/noop.py
simuvex/engines/vex/statements/put.py
simuvex/engines/vex/statements/puti.py
simuvex/engines/vex/statements/store.py
simuvex/engines/vex/statements/storeg.py
simuvex/engines/vex/statements/wrtmp.py
simuvex/plugins/__init__.py
simuvex/plugins/abstract_memory.py
simuvex/plugins/cgc.py
simuvex/plugins/fast_memory.py
simuvex/plugins/gdb.py
simuvex/plugins/inspect.py
simuvex/plugins/libc.py
simuvex/plugins/log.py
simuvex/plugins/plugin.py
simuvex/plugins/posix.py
simuvex/plugins/procedure_data.py
simuvex/plugins/scratch.py
simuvex/plugins/solver.py
simuvex/plugins/symbolic_memory.py
simuvex/plugins/uc_manager.py
simuvex/plugins/unicorn_engine.py
simuvex/plugins/view.py
simuvex/procedures/__init__.py
simuvex/procedures/cgc/__init__.py
simuvex/procedures/cgc/_terminate.py
simuvex/procedures/cgc/allocate.py
simuvex/procedures/cgc/deallocate.py
simuvex/procedures/cgc/fdwait.py
simuvex/procedures/cgc/random.py
simuvex/procedures/cgc/receive.py
simuvex/procedures/cgc/transmit.py
simuvex/procedures/ld-linux-x86-64___so___2/__init__.py
simuvex/procedures/ld-linux-x86-64___so___2/__tls_get_addr.py
simuvex/procedures/ld-uClibc___so___0/__init__.py
simuvex/procedures/ld-uClibc___so___0/__uClibc_main.py
simuvex/procedures/libc___so___6/_IO_getc.py
simuvex/procedures/libc___so___6/__assert_fail.py
simuvex/procedures/libc___so___6/__ctype_b_loc.py
simuvex/procedures/libc___so___6/__ctype_tolower_loc.py
simuvex/procedures/libc___so___6/__ctype_toupper_loc.py
simuvex/procedures/libc___so___6/__errno_location.py
simuvex/procedures/libc___so___6/__init__.py
simuvex/procedures/libc___so___6/__isoc99_scanf.py
simuvex/procedures/libc___so___6/__isoc99_sscanf.py
simuvex/procedures/libc___so___6/__libc_init.py
simuvex/procedures/libc___so___6/__libc_start_main.py
simuvex/procedures/libc___so___6/__stack_chk_fail.py
simuvex/procedures/libc___so___6/__uClibc_main.py
simuvex/procedures/libc___so___6/abort.py
simuvex/procedures/libc___so___6/accept.py
simuvex/procedures/libc___so___6/atoi.py
simuvex/procedures/libc___so___6/bcopy.py
simuvex/procedures/libc___so___6/bind.py
simuvex/procedures/libc___so___6/calloc.py
simuvex/procedures/libc___so___6/close.py
simuvex/procedures/libc___so___6/exit.py
simuvex/procedures/libc___so___6/fclose.py
simuvex/procedures/libc___so___6/feof.py
simuvex/procedures/libc___so___6/fflush.py
simuvex/procedures/libc___so___6/fgetc.py
simuvex/procedures/libc___so___6/fgets.py
simuvex/procedures/libc___so___6/fileno.py
simuvex/procedures/libc___so___6/fopen.py
simuvex/procedures/libc___so___6/fprintf.py
simuvex/procedures/libc___so___6/fputc.py
simuvex/procedures/libc___so___6/fread.py
simuvex/procedures/libc___so___6/free.py
simuvex/procedures/libc___so___6/fseek.py
simuvex/procedures/libc___so___6/ftell.py
simuvex/procedures/libc___so___6/fwrite.py
simuvex/procedures/libc___so___6/getchar.py
simuvex/procedures/libc___so___6/getpass.py
simuvex/procedures/libc___so___6/htons.py
simuvex/procedures/libc___so___6/inet_ntoa.py
simuvex/procedures/libc___so___6/listen.py
simuvex/procedures/libc___so___6/malloc.py
simuvex/procedures/libc___so___6/memcmp.py
simuvex/procedures/libc___so___6/memcpy.py
simuvex/procedures/libc___so___6/memmove.py
simuvex/procedures/libc___so___6/memset.py
simuvex/procedures/libc___so___6/mmap.py
simuvex/procedures/libc___so___6/open.py
simuvex/procedures/libc___so___6/perror.py
simuvex/procedures/libc___so___6/printf.py
simuvex/procedures/libc___so___6/pthread_cond_signal.py
simuvex/procedures/libc___so___6/pthread_create.py
simuvex/procedures/libc___so___6/pthread_mutex_lock.py
simuvex/procedures/libc___so___6/pthread_mutex_unlock.py
simuvex/procedures/libc___so___6/putc.py
simuvex/procedures/libc___so___6/putchar.py
simuvex/procedures/libc___so___6/puts.py
simuvex/procedures/libc___so___6/read.py
simuvex/procedures/libc___so___6/realloc.py
simuvex/procedures/libc___so___6/recv.py
simuvex/procedures/libc___so___6/recvfrom.py
simuvex/procedures/libc___so___6/rewind.py
simuvex/procedures/libc___so___6/scanf.py
simuvex/procedures/libc___so___6/send.py
simuvex/procedures/libc___so___6/setvbuf.py
simuvex/procedures/libc___so___6/sleep.py
simuvex/procedures/libc___so___6/snprintf.py
simuvex/procedures/libc___so___6/socket_.py
simuvex/procedures/libc___so___6/sprintf.py
simuvex/procedures/libc___so___6/sscanf.py
simuvex/procedures/libc___so___6/strcasecmp.py
simuvex/procedures/libc___so___6/strchr.py
simuvex/procedures/libc___so___6/strcmp.py
simuvex/procedures/libc___so___6/strcpy.py
simuvex/procedures/libc___so___6/strdup.py
simuvex/procedures/libc___so___6/strlen.py
simuvex/procedures/libc___so___6/strncmp.py
simuvex/procedures/libc___so___6/strncpy.py
simuvex/procedures/libc___so___6/strstr.py
simuvex/procedures/libc___so___6/strtok_r.py
simuvex/procedures/libc___so___6/strtol.py
simuvex/procedures/libc___so___6/system.py
simuvex/procedures/libc___so___6/ungetc.py
simuvex/procedures/libc___so___6/usleep.py
simuvex/procedures/libc___so___6/vsnprintf.py
simuvex/procedures/libc___so___6/write.py
simuvex/procedures/stubs/NoReturnUnconstrained.py
simuvex/procedures/stubs/Nop.py
simuvex/procedures/stubs/PathTerminator.py
simuvex/procedures/stubs/Redirect.py
simuvex/procedures/stubs/ReturnChar.py
simuvex/procedures/stubs/ReturnUnconstrained.py
simuvex/procedures/stubs/UnresolvableTarget.py
simuvex/procedures/stubs/UserHook.py
simuvex/procedures/stubs/__init__.py
simuvex/procedures/stubs/b64_decode.py
simuvex/procedures/stubs/caller.py
simuvex/procedures/stubs/crazy_scanf.py
simuvex/procedures/syscalls/__init__.py
simuvex/procedures/syscalls/arch_prctl.py
simuvex/procedures/syscalls/brk.py
simuvex/procedures/syscalls/close.py
simuvex/procedures/syscalls/exit.py
simuvex/procedures/syscalls/fstat.py
simuvex/procedures/syscalls/getpid.py
simuvex/procedures/syscalls/gettid.py
simuvex/procedures/syscalls/lseek.py
simuvex/procedures/syscalls/mmap.py
simuvex/procedures/syscalls/mprotect.py
simuvex/procedures/syscalls/munmap.py
simuvex/procedures/syscalls/open.py
simuvex/procedures/syscalls/read.py
simuvex/procedures/syscalls/sigaction.py
simuvex/procedures/syscalls/sigprocmask.py
simuvex/procedures/syscalls/stat.py
simuvex/procedures/syscalls/stub.py
simuvex/procedures/syscalls/tgkill.py
simuvex/procedures/syscalls/uname.py
simuvex/procedures/syscalls/write.py
simuvex/procedures/testing/__init__.py
simuvex/procedures/testing/manyargs.py
simuvex/procedures/testing/retreg.py
simuvex/storage/__init__.py
simuvex/storage/file.py
simuvex/storage/memory.py
simuvex/storage/memory_object.py
simuvex/storage/paged_memory.py
simuvex_c/Makefile
simuvex_c/Makefile-win
simuvex_c/log.c
simuvex_c/log.h
simuvex_c/sim_unicorn.cpp
simuvex_c/sim_unicorn.def