├── .gitignore ├── LICENSE ├── README.md ├── __init__.py ├── apis.py ├── arch ├── arch_aarch64.py ├── arch_aarch64_sph.py ├── arch_abstract.py ├── arch_armv7.py ├── arch_armv7_sph.py ├── arch_x86.py ├── arch_x86_64.py ├── arch_x86_64_sph.py └── arch_x86_sph.py ├── expr ├── __init__.py ├── bitvector.py ├── bitvector_array.py ├── bool_expr.py └── interval.py ├── globals.py ├── media ├── icons │ ├── cancel.svg │ ├── pi.svg │ ├── reset_searchers.svg │ ├── run_addr.svg │ ├── run_bfs.svg │ ├── run_branch.svg │ ├── run_dfs.svg │ ├── set_avoid.svg │ ├── set_target.svg │ ├── start.svg │ ├── stepinto.svg │ └── stop.svg └── pictures │ ├── buffers.png │ ├── files.png │ ├── memory.png │ ├── registers.png │ ├── screenshot.png │ └── states.png ├── memory ├── memory_abstract.py ├── memory_object.py ├── registers.py ├── sym_file.py ├── sym_flat_memory.py ├── sym_flat_memory_not_paged.py └── sym_memory.py ├── models ├── function_models.py ├── libc.py ├── linux_syscalls.py ├── others.py ├── string.py ├── teensy.py └── unistd.py ├── multipath ├── fringe.py └── searcher.py ├── os_models ├── linux.py ├── macos.py ├── os_abstract.py ├── os_file.py └── windows.py ├── plugin.json ├── requirements.txt ├── settings.py ├── sym_executor.py ├── sym_solver.py ├── sym_state.py ├── sym_visitor.py ├── tests ├── __init__.py ├── file_tests.py ├── memory_tests.py ├── os_linux_tests.py └── os_windows_tests.py ├── ui ├── __init__.py ├── argv_form.py ├── buffer_view.py ├── control_view.py ├── files_view.py ├── memory_view.py ├── qmemview.py ├── registers_view.py ├── seninja_widget.py ├── state_view.py └── ui_manager.py └── utility ├── aarch64_native_handlers_util.py ├── armv7_native_handlers_util.py ├── binary_ninja_cache.py ├── bninja_util.py ├── exceptions.py ├── expr_wrap_util.py ├── models_util.py ├── string_util.py ├── x86_native_handlers_util.py └── z3_wrap_util.py /.gitignore: -------------------------------------------------------------------------------- 1 | *.pyc 2 | .vscode/ 3 | .env 4 | *.DS_Store 5 | 6 | generate_plugininfo.py 7 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/README.md -------------------------------------------------------------------------------- /__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/__init__.py -------------------------------------------------------------------------------- /apis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/apis.py -------------------------------------------------------------------------------- /arch/arch_aarch64.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/arch/arch_aarch64.py -------------------------------------------------------------------------------- /arch/arch_aarch64_sph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/arch/arch_aarch64_sph.py -------------------------------------------------------------------------------- /arch/arch_abstract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/arch/arch_abstract.py -------------------------------------------------------------------------------- /arch/arch_armv7.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/arch/arch_armv7.py -------------------------------------------------------------------------------- /arch/arch_armv7_sph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/arch/arch_armv7_sph.py -------------------------------------------------------------------------------- /arch/arch_x86.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/arch/arch_x86.py -------------------------------------------------------------------------------- /arch/arch_x86_64.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/arch/arch_x86_64.py -------------------------------------------------------------------------------- /arch/arch_x86_64_sph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/arch/arch_x86_64_sph.py -------------------------------------------------------------------------------- /arch/arch_x86_sph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/arch/arch_x86_sph.py -------------------------------------------------------------------------------- /expr/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/expr/__init__.py -------------------------------------------------------------------------------- /expr/bitvector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/expr/bitvector.py -------------------------------------------------------------------------------- /expr/bitvector_array.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/expr/bitvector_array.py -------------------------------------------------------------------------------- /expr/bool_expr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/expr/bool_expr.py -------------------------------------------------------------------------------- /expr/interval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/expr/interval.py -------------------------------------------------------------------------------- /globals.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/globals.py -------------------------------------------------------------------------------- /media/icons/cancel.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/cancel.svg -------------------------------------------------------------------------------- /media/icons/pi.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/pi.svg -------------------------------------------------------------------------------- /media/icons/reset_searchers.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/reset_searchers.svg -------------------------------------------------------------------------------- /media/icons/run_addr.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/run_addr.svg -------------------------------------------------------------------------------- /media/icons/run_bfs.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/run_bfs.svg -------------------------------------------------------------------------------- /media/icons/run_branch.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/run_branch.svg -------------------------------------------------------------------------------- /media/icons/run_dfs.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/run_dfs.svg -------------------------------------------------------------------------------- /media/icons/set_avoid.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/set_avoid.svg -------------------------------------------------------------------------------- /media/icons/set_target.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/set_target.svg -------------------------------------------------------------------------------- /media/icons/start.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/start.svg -------------------------------------------------------------------------------- /media/icons/stepinto.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/stepinto.svg -------------------------------------------------------------------------------- /media/icons/stop.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/icons/stop.svg -------------------------------------------------------------------------------- /media/pictures/buffers.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/pictures/buffers.png -------------------------------------------------------------------------------- /media/pictures/files.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/pictures/files.png -------------------------------------------------------------------------------- /media/pictures/memory.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/pictures/memory.png -------------------------------------------------------------------------------- /media/pictures/registers.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/pictures/registers.png -------------------------------------------------------------------------------- /media/pictures/screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/pictures/screenshot.png -------------------------------------------------------------------------------- /media/pictures/states.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/media/pictures/states.png -------------------------------------------------------------------------------- /memory/memory_abstract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/memory/memory_abstract.py -------------------------------------------------------------------------------- /memory/memory_object.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/memory/memory_object.py -------------------------------------------------------------------------------- /memory/registers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/memory/registers.py -------------------------------------------------------------------------------- /memory/sym_file.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/memory/sym_file.py -------------------------------------------------------------------------------- /memory/sym_flat_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/memory/sym_flat_memory.py -------------------------------------------------------------------------------- /memory/sym_flat_memory_not_paged.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/memory/sym_flat_memory_not_paged.py -------------------------------------------------------------------------------- /memory/sym_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/memory/sym_memory.py -------------------------------------------------------------------------------- /models/function_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/models/function_models.py -------------------------------------------------------------------------------- /models/libc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/models/libc.py -------------------------------------------------------------------------------- /models/linux_syscalls.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/models/linux_syscalls.py -------------------------------------------------------------------------------- /models/others.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/models/others.py -------------------------------------------------------------------------------- /models/string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/models/string.py -------------------------------------------------------------------------------- /models/teensy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/models/teensy.py -------------------------------------------------------------------------------- /models/unistd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/models/unistd.py -------------------------------------------------------------------------------- /multipath/fringe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/multipath/fringe.py -------------------------------------------------------------------------------- /multipath/searcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/multipath/searcher.py -------------------------------------------------------------------------------- /os_models/linux.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/os_models/linux.py -------------------------------------------------------------------------------- /os_models/macos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/os_models/macos.py -------------------------------------------------------------------------------- /os_models/os_abstract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/os_models/os_abstract.py -------------------------------------------------------------------------------- /os_models/os_file.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/os_models/os_file.py -------------------------------------------------------------------------------- /os_models/windows.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/os_models/windows.py -------------------------------------------------------------------------------- /plugin.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/plugin.json -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | z3-solver 2 | -------------------------------------------------------------------------------- /settings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/settings.py -------------------------------------------------------------------------------- /sym_executor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/sym_executor.py -------------------------------------------------------------------------------- /sym_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/sym_solver.py -------------------------------------------------------------------------------- /sym_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/sym_state.py -------------------------------------------------------------------------------- /sym_visitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/sym_visitor.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/tests/__init__.py -------------------------------------------------------------------------------- /tests/file_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/tests/file_tests.py -------------------------------------------------------------------------------- /tests/memory_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/tests/memory_tests.py -------------------------------------------------------------------------------- /tests/os_linux_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/tests/os_linux_tests.py -------------------------------------------------------------------------------- /tests/os_windows_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/tests/os_windows_tests.py -------------------------------------------------------------------------------- /ui/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ui/argv_form.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/argv_form.py -------------------------------------------------------------------------------- /ui/buffer_view.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/buffer_view.py -------------------------------------------------------------------------------- /ui/control_view.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/control_view.py -------------------------------------------------------------------------------- /ui/files_view.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/files_view.py -------------------------------------------------------------------------------- /ui/memory_view.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/memory_view.py -------------------------------------------------------------------------------- /ui/qmemview.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/qmemview.py -------------------------------------------------------------------------------- /ui/registers_view.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/registers_view.py -------------------------------------------------------------------------------- /ui/seninja_widget.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/seninja_widget.py -------------------------------------------------------------------------------- /ui/state_view.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/state_view.py -------------------------------------------------------------------------------- /ui/ui_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/ui/ui_manager.py -------------------------------------------------------------------------------- /utility/aarch64_native_handlers_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/aarch64_native_handlers_util.py -------------------------------------------------------------------------------- /utility/armv7_native_handlers_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/armv7_native_handlers_util.py -------------------------------------------------------------------------------- /utility/binary_ninja_cache.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/binary_ninja_cache.py -------------------------------------------------------------------------------- /utility/bninja_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/bninja_util.py -------------------------------------------------------------------------------- /utility/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/exceptions.py -------------------------------------------------------------------------------- /utility/expr_wrap_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/expr_wrap_util.py -------------------------------------------------------------------------------- /utility/models_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/models_util.py -------------------------------------------------------------------------------- /utility/string_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/string_util.py -------------------------------------------------------------------------------- /utility/x86_native_handlers_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/x86_native_handlers_util.py -------------------------------------------------------------------------------- /utility/z3_wrap_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/borzacchiello/seninja/HEAD/utility/z3_wrap_util.py --------------------------------------------------------------------------------