├── README.md ├── dlvsa ├── AttentionLSTM.py ├── data_stat.py ├── deepvsa.py ├── deepvsa_tst.py ├── mlvsa.py └── multi_finetune.py ├── pin_parser ├── generate_dl.py └── generate_vsa.py ├── pintool ├── benign_trace │ ├── MyPinTool.cpp │ ├── inscount.cpp │ ├── makefile │ └── makefile.rules └── crash_trace │ ├── MyPinTool-truncated.cpp │ ├── MyPinTool.cpp │ ├── inscount.cpp │ ├── makefile │ └── makefile.rules └── vsa ├── .gitignore ├── LICENSE ├── Makefile.am ├── README ├── README.md ├── autogen.sh ├── configure.ac ├── include ├── access_memory.h ├── analyze_result.h ├── bin_alias.h ├── common.h ├── disassemble.h ├── elf_binary.h ├── elf_core.h ├── global.h ├── heuristics.h ├── ia32_reg.h ├── inst_data.h ├── inst_opd.h ├── insthandler.h ├── list.h ├── re_alias.h ├── re_runtime.h ├── re_stackpointer.h ├── re_valueset.h ├── reverse_exe.h ├── reverse_instructions.h ├── reverse_log.h ├── solver.h ├── syshandler.h └── thread_selection.h └── src ├── Makefile.am ├── access_memory.c ├── alias_manager.c ├── analyze_result.c ├── bin_alias.c ├── common.c ├── disassemble.c ├── global.c ├── handler_arithmetic.c ├── handler_bit_manip.c ├── handler_comparison.c ├── handler_controlflow.c ├── handler_flag_manip.c ├── handler_interrupt.c ├── handler_logic.c ├── handler_move.c ├── handler_other.c ├── handler_sse.c ├── handler_stack.c ├── handler_string.c ├── handler_syscall.c ├── handler_system.c ├── heuristics.c ├── process_binary.c ├── process_core.c ├── process_inst_data.c ├── process_thread.c ├── re_dsmanager.c ├── re_insttable.c ├── re_mem_alias.c ├── re_opdvalue.c ├── re_runtime.c ├── re_systable.c ├── re_valueset.c ├── re_vsmanager.c ├── reverse_execution.c ├── reverse_instructions.c ├── reverse_log.c └── solver.c /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/README.md -------------------------------------------------------------------------------- /dlvsa/AttentionLSTM.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/dlvsa/AttentionLSTM.py -------------------------------------------------------------------------------- /dlvsa/data_stat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/dlvsa/data_stat.py -------------------------------------------------------------------------------- /dlvsa/deepvsa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/dlvsa/deepvsa.py -------------------------------------------------------------------------------- /dlvsa/deepvsa_tst.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/dlvsa/deepvsa_tst.py -------------------------------------------------------------------------------- /dlvsa/mlvsa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/dlvsa/mlvsa.py -------------------------------------------------------------------------------- /dlvsa/multi_finetune.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/dlvsa/multi_finetune.py -------------------------------------------------------------------------------- /pin_parser/generate_dl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pin_parser/generate_dl.py -------------------------------------------------------------------------------- /pin_parser/generate_vsa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pin_parser/generate_vsa.py -------------------------------------------------------------------------------- /pintool/benign_trace/MyPinTool.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pintool/benign_trace/MyPinTool.cpp -------------------------------------------------------------------------------- /pintool/benign_trace/inscount.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pintool/benign_trace/inscount.cpp -------------------------------------------------------------------------------- /pintool/benign_trace/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pintool/benign_trace/makefile -------------------------------------------------------------------------------- /pintool/benign_trace/makefile.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pintool/benign_trace/makefile.rules -------------------------------------------------------------------------------- /pintool/crash_trace/MyPinTool-truncated.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pintool/crash_trace/MyPinTool-truncated.cpp -------------------------------------------------------------------------------- /pintool/crash_trace/MyPinTool.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pintool/crash_trace/MyPinTool.cpp -------------------------------------------------------------------------------- /pintool/crash_trace/inscount.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pintool/crash_trace/inscount.cpp -------------------------------------------------------------------------------- /pintool/crash_trace/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pintool/crash_trace/makefile -------------------------------------------------------------------------------- /pintool/crash_trace/makefile.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/pintool/crash_trace/makefile.rules -------------------------------------------------------------------------------- /vsa/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/.gitignore -------------------------------------------------------------------------------- /vsa/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/LICENSE -------------------------------------------------------------------------------- /vsa/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/Makefile.am -------------------------------------------------------------------------------- /vsa/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/README -------------------------------------------------------------------------------- /vsa/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/README.md -------------------------------------------------------------------------------- /vsa/autogen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/autogen.sh -------------------------------------------------------------------------------- /vsa/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/configure.ac -------------------------------------------------------------------------------- /vsa/include/access_memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/access_memory.h -------------------------------------------------------------------------------- /vsa/include/analyze_result.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/analyze_result.h -------------------------------------------------------------------------------- /vsa/include/bin_alias.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/bin_alias.h -------------------------------------------------------------------------------- /vsa/include/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/common.h -------------------------------------------------------------------------------- /vsa/include/disassemble.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/disassemble.h -------------------------------------------------------------------------------- /vsa/include/elf_binary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/elf_binary.h -------------------------------------------------------------------------------- /vsa/include/elf_core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/elf_core.h -------------------------------------------------------------------------------- /vsa/include/global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/global.h -------------------------------------------------------------------------------- /vsa/include/heuristics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/heuristics.h -------------------------------------------------------------------------------- /vsa/include/ia32_reg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/ia32_reg.h -------------------------------------------------------------------------------- /vsa/include/inst_data.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/inst_data.h -------------------------------------------------------------------------------- /vsa/include/inst_opd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/inst_opd.h -------------------------------------------------------------------------------- /vsa/include/insthandler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/insthandler.h -------------------------------------------------------------------------------- /vsa/include/list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/list.h -------------------------------------------------------------------------------- /vsa/include/re_alias.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/re_alias.h -------------------------------------------------------------------------------- /vsa/include/re_runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/re_runtime.h -------------------------------------------------------------------------------- /vsa/include/re_stackpointer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/re_stackpointer.h -------------------------------------------------------------------------------- /vsa/include/re_valueset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/re_valueset.h -------------------------------------------------------------------------------- /vsa/include/reverse_exe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/reverse_exe.h -------------------------------------------------------------------------------- /vsa/include/reverse_instructions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/reverse_instructions.h -------------------------------------------------------------------------------- /vsa/include/reverse_log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/reverse_log.h -------------------------------------------------------------------------------- /vsa/include/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/solver.h -------------------------------------------------------------------------------- /vsa/include/syshandler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/syshandler.h -------------------------------------------------------------------------------- /vsa/include/thread_selection.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/include/thread_selection.h -------------------------------------------------------------------------------- /vsa/src/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/Makefile.am -------------------------------------------------------------------------------- /vsa/src/access_memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/access_memory.c -------------------------------------------------------------------------------- /vsa/src/alias_manager.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/alias_manager.c -------------------------------------------------------------------------------- /vsa/src/analyze_result.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/analyze_result.c -------------------------------------------------------------------------------- /vsa/src/bin_alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/bin_alias.c -------------------------------------------------------------------------------- /vsa/src/common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/common.c -------------------------------------------------------------------------------- /vsa/src/disassemble.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/disassemble.c -------------------------------------------------------------------------------- /vsa/src/global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/global.c -------------------------------------------------------------------------------- /vsa/src/handler_arithmetic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_arithmetic.c -------------------------------------------------------------------------------- /vsa/src/handler_bit_manip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_bit_manip.c -------------------------------------------------------------------------------- /vsa/src/handler_comparison.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_comparison.c -------------------------------------------------------------------------------- /vsa/src/handler_controlflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_controlflow.c -------------------------------------------------------------------------------- /vsa/src/handler_flag_manip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_flag_manip.c -------------------------------------------------------------------------------- /vsa/src/handler_interrupt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_interrupt.c -------------------------------------------------------------------------------- /vsa/src/handler_logic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_logic.c -------------------------------------------------------------------------------- /vsa/src/handler_move.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_move.c -------------------------------------------------------------------------------- /vsa/src/handler_other.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_other.c -------------------------------------------------------------------------------- /vsa/src/handler_sse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_sse.c -------------------------------------------------------------------------------- /vsa/src/handler_stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_stack.c -------------------------------------------------------------------------------- /vsa/src/handler_string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_string.c -------------------------------------------------------------------------------- /vsa/src/handler_syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_syscall.c -------------------------------------------------------------------------------- /vsa/src/handler_system.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/handler_system.c -------------------------------------------------------------------------------- /vsa/src/heuristics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/heuristics.c -------------------------------------------------------------------------------- /vsa/src/process_binary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/process_binary.c -------------------------------------------------------------------------------- /vsa/src/process_core.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/process_core.c -------------------------------------------------------------------------------- /vsa/src/process_inst_data.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/process_inst_data.c -------------------------------------------------------------------------------- /vsa/src/process_thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/process_thread.c -------------------------------------------------------------------------------- /vsa/src/re_dsmanager.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/re_dsmanager.c -------------------------------------------------------------------------------- /vsa/src/re_insttable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/re_insttable.c -------------------------------------------------------------------------------- /vsa/src/re_mem_alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/re_mem_alias.c -------------------------------------------------------------------------------- /vsa/src/re_opdvalue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/re_opdvalue.c -------------------------------------------------------------------------------- /vsa/src/re_runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/re_runtime.c -------------------------------------------------------------------------------- /vsa/src/re_systable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/re_systable.c -------------------------------------------------------------------------------- /vsa/src/re_valueset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/re_valueset.c -------------------------------------------------------------------------------- /vsa/src/re_vsmanager.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/re_vsmanager.c -------------------------------------------------------------------------------- /vsa/src/reverse_execution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/reverse_execution.c -------------------------------------------------------------------------------- /vsa/src/reverse_instructions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/reverse_instructions.c -------------------------------------------------------------------------------- /vsa/src/reverse_log.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/reverse_log.c -------------------------------------------------------------------------------- /vsa/src/solver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Henrygwb/deepvsa/HEAD/vsa/src/solver.c --------------------------------------------------------------------------------