├── .gitignore ├── README.md ├── bert ├── encoding_formulas.py ├── formula_dataset.py ├── preprocess.py ├── preprocess_data.py └── preprocess_raw.py ├── config.py ├── evaluation └── utils.py ├── get_bin_functions_traces.py ├── get_traces_of_same_line_angr.py ├── main.py ├── main_multi_projs.py ├── nx_graphs └── prepare_data.py ├── preprocess_angr_same_line.py ├── scripts ├── asm_line_dict.sh ├── binutils_nx_graphs_batch.sh ├── build_insn_code_map.py ├── collect_binutils_batch.sh ├── collect_coreutils_batch.sh ├── collect_openssl_batch.sh ├── convert_dump_to_gdb_cmds.py ├── coreutils_nx_graphs_batch.sh ├── get_vex_IRSBs.py └── openssl_nx_graphs_batch.sh └── src ├── __init__.py ├── already_had.py ├── analyze_irsb.py ├── angr_full_blocks.py ├── claripy_vex_tree.py ├── collect_bb_info.py ├── compare_tracelet.py ├── copyregs.py ├── find_relative_insns.py ├── formula.py ├── function_traces.py ├── meaningless_blocks.py ├── simgr_techs.py ├── simplify_pattern.py ├── state_plugins.py ├── symbolic_heap.py ├── symbolic_stack.py ├── timeout_pool.py ├── trace.py ├── trace_process.py ├── tree_augmentation.py ├── utils.py ├── vex_ir_preprocess.py ├── vex_parser.py └── vex_tree_utils.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/README.md -------------------------------------------------------------------------------- /bert/encoding_formulas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/bert/encoding_formulas.py -------------------------------------------------------------------------------- /bert/formula_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/bert/formula_dataset.py -------------------------------------------------------------------------------- /bert/preprocess.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/bert/preprocess.py -------------------------------------------------------------------------------- /bert/preprocess_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/bert/preprocess_data.py -------------------------------------------------------------------------------- /bert/preprocess_raw.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/bert/preprocess_raw.py -------------------------------------------------------------------------------- /config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/config.py -------------------------------------------------------------------------------- /evaluation/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/evaluation/utils.py -------------------------------------------------------------------------------- /get_bin_functions_traces.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/get_bin_functions_traces.py -------------------------------------------------------------------------------- /get_traces_of_same_line_angr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/get_traces_of_same_line_angr.py -------------------------------------------------------------------------------- /main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/main.py -------------------------------------------------------------------------------- /main_multi_projs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/main_multi_projs.py -------------------------------------------------------------------------------- /nx_graphs/prepare_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/nx_graphs/prepare_data.py -------------------------------------------------------------------------------- /preprocess_angr_same_line.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/preprocess_angr_same_line.py -------------------------------------------------------------------------------- /scripts/asm_line_dict.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/asm_line_dict.sh -------------------------------------------------------------------------------- /scripts/binutils_nx_graphs_batch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/binutils_nx_graphs_batch.sh -------------------------------------------------------------------------------- /scripts/build_insn_code_map.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/build_insn_code_map.py -------------------------------------------------------------------------------- /scripts/collect_binutils_batch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/collect_binutils_batch.sh -------------------------------------------------------------------------------- /scripts/collect_coreutils_batch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/collect_coreutils_batch.sh -------------------------------------------------------------------------------- /scripts/collect_openssl_batch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/collect_openssl_batch.sh -------------------------------------------------------------------------------- /scripts/convert_dump_to_gdb_cmds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/convert_dump_to_gdb_cmds.py -------------------------------------------------------------------------------- /scripts/coreutils_nx_graphs_batch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/coreutils_nx_graphs_batch.sh -------------------------------------------------------------------------------- /scripts/get_vex_IRSBs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/get_vex_IRSBs.py -------------------------------------------------------------------------------- /scripts/openssl_nx_graphs_batch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/scripts/openssl_nx_graphs_batch.sh -------------------------------------------------------------------------------- /src/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/already_had.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/already_had.py -------------------------------------------------------------------------------- /src/analyze_irsb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/analyze_irsb.py -------------------------------------------------------------------------------- /src/angr_full_blocks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/angr_full_blocks.py -------------------------------------------------------------------------------- /src/claripy_vex_tree.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/claripy_vex_tree.py -------------------------------------------------------------------------------- /src/collect_bb_info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/collect_bb_info.py -------------------------------------------------------------------------------- /src/compare_tracelet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/compare_tracelet.py -------------------------------------------------------------------------------- /src/copyregs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/copyregs.py -------------------------------------------------------------------------------- /src/find_relative_insns.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/find_relative_insns.py -------------------------------------------------------------------------------- /src/formula.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/formula.py -------------------------------------------------------------------------------- /src/function_traces.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/function_traces.py -------------------------------------------------------------------------------- /src/meaningless_blocks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/meaningless_blocks.py -------------------------------------------------------------------------------- /src/simgr_techs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/simgr_techs.py -------------------------------------------------------------------------------- /src/simplify_pattern.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/simplify_pattern.py -------------------------------------------------------------------------------- /src/state_plugins.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/state_plugins.py -------------------------------------------------------------------------------- /src/symbolic_heap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/symbolic_heap.py -------------------------------------------------------------------------------- /src/symbolic_stack.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/symbolic_stack.py -------------------------------------------------------------------------------- /src/timeout_pool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/timeout_pool.py -------------------------------------------------------------------------------- /src/trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/trace.py -------------------------------------------------------------------------------- /src/trace_process.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/trace_process.py -------------------------------------------------------------------------------- /src/tree_augmentation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/tree_augmentation.py -------------------------------------------------------------------------------- /src/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/utils.py -------------------------------------------------------------------------------- /src/vex_ir_preprocess.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/vex_ir_preprocess.py -------------------------------------------------------------------------------- /src/vex_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/vex_parser.py -------------------------------------------------------------------------------- /src/vex_tree_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sem2vec/sem2vec-SE/HEAD/src/vex_tree_utils.py --------------------------------------------------------------------------------