├── .gitignore ├── LICENSE ├── README.md ├── cpu.py ├── doc └── pysymemu.pdf ├── examples ├── Makefile ├── toy001-nostdlib.c ├── toy002-libc.c ├── toy003-sindex.c ├── toy004-strcmp.c ├── toy005-arguments.c ├── toy006-ibranch.c └── toy007-server.c ├── linux.py ├── memory.py ├── setup.py ├── smtlib.py ├── system.py └── test ├── __init__.py ├── auto ├── README ├── flags.py ├── mk_tests.py ├── process_tests.py └── process_tests_symbolic.py ├── test_amd64.py ├── test_cpu_manual.py ├── test_linux.py ├── test_memory.py ├── test_smtlib.py └── test_symamd64.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/README.md -------------------------------------------------------------------------------- /cpu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/cpu.py -------------------------------------------------------------------------------- /doc/pysymemu.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/doc/pysymemu.pdf -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/toy001-nostdlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/examples/toy001-nostdlib.c -------------------------------------------------------------------------------- /examples/toy002-libc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/examples/toy002-libc.c -------------------------------------------------------------------------------- /examples/toy003-sindex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/examples/toy003-sindex.c -------------------------------------------------------------------------------- /examples/toy004-strcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/examples/toy004-strcmp.c -------------------------------------------------------------------------------- /examples/toy005-arguments.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/examples/toy005-arguments.c -------------------------------------------------------------------------------- /examples/toy006-ibranch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/examples/toy006-ibranch.c -------------------------------------------------------------------------------- /examples/toy007-server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/examples/toy007-server.c -------------------------------------------------------------------------------- /linux.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/linux.py -------------------------------------------------------------------------------- /memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/memory.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/setup.py -------------------------------------------------------------------------------- /smtlib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/smtlib.py -------------------------------------------------------------------------------- /system.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/system.py -------------------------------------------------------------------------------- /test/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/auto/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/auto/README -------------------------------------------------------------------------------- /test/auto/flags.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/auto/flags.py -------------------------------------------------------------------------------- /test/auto/mk_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/auto/mk_tests.py -------------------------------------------------------------------------------- /test/auto/process_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/auto/process_tests.py -------------------------------------------------------------------------------- /test/auto/process_tests_symbolic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/auto/process_tests_symbolic.py -------------------------------------------------------------------------------- /test/test_amd64.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/test_amd64.py -------------------------------------------------------------------------------- /test/test_cpu_manual.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/test_cpu_manual.py -------------------------------------------------------------------------------- /test/test_linux.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/test_linux.py -------------------------------------------------------------------------------- /test/test_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/test_memory.py -------------------------------------------------------------------------------- /test/test_smtlib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/test_smtlib.py -------------------------------------------------------------------------------- /test/test_symamd64.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/feliam/pysymemu/HEAD/test/test_symamd64.py --------------------------------------------------------------------------------