├── .gitignore ├── LICENSE ├── README.md ├── setup.py ├── simuvex ├── __init__.py ├── concretization_strategies │ ├── __init__.py │ ├── any.py │ ├── max.py │ ├── nonzero.py │ ├── nonzero_range.py │ ├── norepeats.py │ ├── norepeats_range.py │ ├── range.py │ ├── single.py │ └── solutions.py ├── engines │ ├── __init__.py │ ├── engine.py │ ├── procedure.py │ ├── successors.py │ ├── unicorn_engine.py │ └── vex │ │ ├── __init__.py │ │ ├── ccall.py │ │ ├── dirty.py │ │ ├── engine.py │ │ ├── expressions │ │ ├── __init__.py │ │ ├── base.py │ │ ├── ccall.py │ │ ├── const.py │ │ ├── get.py │ │ ├── geti.py │ │ ├── gsptr.py │ │ ├── ite.py │ │ ├── load.py │ │ ├── op.py │ │ ├── rdtmp.py │ │ ├── unsupported.py │ │ └── vecret.py │ │ ├── irop.py │ │ └── statements │ │ ├── __init__.py │ │ ├── abihint.py │ │ ├── base.py │ │ ├── cas.py │ │ ├── dirty.py │ │ ├── exit.py │ │ ├── imark.py │ │ ├── llsc.py │ │ ├── loadg.py │ │ ├── mbe.py │ │ ├── noop.py │ │ ├── put.py │ │ ├── puti.py │ │ ├── store.py │ │ ├── storeg.py │ │ └── wrtmp.py ├── plugins │ ├── __init__.py │ ├── abstract_memory.py │ ├── cgc.py │ ├── fast_memory.py │ ├── gdb.py │ ├── inspect.py │ ├── libc.py │ ├── log.py │ ├── plugin.py │ ├── posix.py │ ├── scratch.py │ ├── solver.py │ ├── symbolic_memory.py │ ├── uc_manager.py │ ├── unicorn_engine.py │ └── view.py ├── s_action.py ├── s_action_object.py ├── s_cc.py ├── s_errors.py ├── s_event.py ├── s_format.py ├── s_options.py ├── s_pcap.py ├── s_procedure.py ├── s_slicer.py ├── s_state.py ├── s_type.py ├── s_type_backend.py ├── s_variable.py └── storage │ ├── __init__.py │ ├── file.py │ ├── memory.py │ ├── memory_object.py │ └── paged_memory.py └── test.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/README.md -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/setup.py -------------------------------------------------------------------------------- /simuvex/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/__init__.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/__init__.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/any.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/any.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/max.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/max.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/nonzero.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/nonzero.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/nonzero_range.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/nonzero_range.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/norepeats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/norepeats.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/norepeats_range.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/norepeats_range.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/range.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/range.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/single.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/single.py -------------------------------------------------------------------------------- /simuvex/concretization_strategies/solutions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/concretization_strategies/solutions.py -------------------------------------------------------------------------------- /simuvex/engines/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/__init__.py -------------------------------------------------------------------------------- /simuvex/engines/engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/engine.py -------------------------------------------------------------------------------- /simuvex/engines/procedure.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/procedure.py -------------------------------------------------------------------------------- /simuvex/engines/successors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/successors.py -------------------------------------------------------------------------------- /simuvex/engines/unicorn_engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/unicorn_engine.py -------------------------------------------------------------------------------- /simuvex/engines/vex/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/__init__.py -------------------------------------------------------------------------------- /simuvex/engines/vex/ccall.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/ccall.py -------------------------------------------------------------------------------- /simuvex/engines/vex/dirty.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/dirty.py -------------------------------------------------------------------------------- /simuvex/engines/vex/engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/engine.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/__init__.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/base.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/ccall.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/ccall.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/const.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/const.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/get.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/get.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/geti.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/geti.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/gsptr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/gsptr.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/ite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/ite.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/load.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/load.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/op.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/op.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/rdtmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/rdtmp.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/unsupported.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/unsupported.py -------------------------------------------------------------------------------- /simuvex/engines/vex/expressions/vecret.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/expressions/vecret.py -------------------------------------------------------------------------------- /simuvex/engines/vex/irop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/irop.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/__init__.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/abihint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/abihint.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/base.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/cas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/cas.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/dirty.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/dirty.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/exit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/exit.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/imark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/imark.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/llsc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/llsc.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/loadg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/loadg.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/mbe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/mbe.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/noop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/noop.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/put.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/put.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/puti.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/puti.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/store.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/store.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/storeg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/storeg.py -------------------------------------------------------------------------------- /simuvex/engines/vex/statements/wrtmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/engines/vex/statements/wrtmp.py -------------------------------------------------------------------------------- /simuvex/plugins/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/__init__.py -------------------------------------------------------------------------------- /simuvex/plugins/abstract_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/abstract_memory.py -------------------------------------------------------------------------------- /simuvex/plugins/cgc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/cgc.py -------------------------------------------------------------------------------- /simuvex/plugins/fast_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/fast_memory.py -------------------------------------------------------------------------------- /simuvex/plugins/gdb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/gdb.py -------------------------------------------------------------------------------- /simuvex/plugins/inspect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/inspect.py -------------------------------------------------------------------------------- /simuvex/plugins/libc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/libc.py -------------------------------------------------------------------------------- /simuvex/plugins/log.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/log.py -------------------------------------------------------------------------------- /simuvex/plugins/plugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/plugin.py -------------------------------------------------------------------------------- /simuvex/plugins/posix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/posix.py -------------------------------------------------------------------------------- /simuvex/plugins/scratch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/scratch.py -------------------------------------------------------------------------------- /simuvex/plugins/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/solver.py -------------------------------------------------------------------------------- /simuvex/plugins/symbolic_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/symbolic_memory.py -------------------------------------------------------------------------------- /simuvex/plugins/uc_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/uc_manager.py -------------------------------------------------------------------------------- /simuvex/plugins/unicorn_engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/unicorn_engine.py -------------------------------------------------------------------------------- /simuvex/plugins/view.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/plugins/view.py -------------------------------------------------------------------------------- /simuvex/s_action.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_action.py -------------------------------------------------------------------------------- /simuvex/s_action_object.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_action_object.py -------------------------------------------------------------------------------- /simuvex/s_cc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_cc.py -------------------------------------------------------------------------------- /simuvex/s_errors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_errors.py -------------------------------------------------------------------------------- /simuvex/s_event.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_event.py -------------------------------------------------------------------------------- /simuvex/s_format.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_format.py -------------------------------------------------------------------------------- /simuvex/s_options.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_options.py -------------------------------------------------------------------------------- /simuvex/s_pcap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_pcap.py -------------------------------------------------------------------------------- /simuvex/s_procedure.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_procedure.py -------------------------------------------------------------------------------- /simuvex/s_slicer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_slicer.py -------------------------------------------------------------------------------- /simuvex/s_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_state.py -------------------------------------------------------------------------------- /simuvex/s_type.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_type.py -------------------------------------------------------------------------------- /simuvex/s_type_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_type_backend.py -------------------------------------------------------------------------------- /simuvex/s_variable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/s_variable.py -------------------------------------------------------------------------------- /simuvex/storage/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/storage/__init__.py -------------------------------------------------------------------------------- /simuvex/storage/file.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/storage/file.py -------------------------------------------------------------------------------- /simuvex/storage/memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/storage/memory.py -------------------------------------------------------------------------------- /simuvex/storage/memory_object.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/storage/memory_object.py -------------------------------------------------------------------------------- /simuvex/storage/paged_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/simuvex/storage/paged_memory.py -------------------------------------------------------------------------------- /test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/simuvex/HEAD/test.py --------------------------------------------------------------------------------