search

BinaryAnalysisPlatform / bap-toolkit

A collection of ready to use binary analysis tools
MIT License
55 stars 14 forks source link

Primus Lisp runtime error #6

Closed kotee4ko closed 3 years ago

kotee4ko commented 3 years ago

bap ./callme --recipe=primus-checks

loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/trivial_condition_form.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_lisp.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/raw.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_type_inference_print.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_wandering.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/restrictness_check.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_propagate_taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/arm.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/demangle.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/trace.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cache.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cxxfilt.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_type_inference.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/propagate_taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/dump_symbols.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/relocatable.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_symbolic_executor.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/constant_tracker.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/must_check_value.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/bil.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/callgraph_collator.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_round_robin.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_promiscuous.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_limit.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/find_symbol.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/recipe_command.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_exploring.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/beagle.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/thumb.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_pointer_inference_debug.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_region.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/api.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/read_symbols.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/elf_loader.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/byteweight.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_random.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/mips.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/print.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/x86.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_loader.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_print.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/unused_return_value.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/specification.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_emulation.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/frontc_parser.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_systems.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/strings.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/map_terms.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/glibc_runtime.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/objdump.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/disassemble.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/analyze.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/llvm.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/report.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/null_ptr_deref.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_x86.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/mc.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/optimization.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_mark_visited.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_test.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/ssa.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/warn_unused_result.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/with_no_return.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/stub_resolver.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/run.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/abi.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_powerpc.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/ddtbd.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/warn_unused.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/callsites.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/powerpc.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_dictionary.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/systemz.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_greedy.plugin
loader.debug> Loading abi from "/root/.opam/4.09.0/lib/bap/abi.plugin"
loader.debug> Linking library bap_abi
loader.debug> Linking library abi_plugin
loader.debug> Linking library bap_plugin_abi
loader.info> Loaded abi from "/root/.opam/4.09.0/lib/bap/abi.plugin"
loader.debug> Loading analyze from "/root/.opam/4.09.0/lib/bap/analyze.plugin"
loader.debug> Linking library result
loader.debug> Linking library linenoise
loader.debug> Linking library analyze_plugin
loader.debug> Linking library bap_plugin_analyze
loader.info> Loaded analyze from "/root/.opam/4.09.0/lib/bap/analyze.plugin"
loader.debug> Loading api from "/root/.opam/4.09.0/lib/bap/api.plugin"
loader.debug> Linking library bap_api
loader.debug> Linking library api_plugin
loader.debug> Linking library bap_plugin_api
loader.info> Loaded api from "/root/.opam/4.09.0/lib/bap/api.plugin"
loader.debug> Loading arm from "/root/.opam/4.09.0/lib/bap/arm.plugin"
loader.debug> Linking library bap-arm
loader.debug> Linking library bap_c
loader.debug> Linking library arm_plugin
loader.debug> Linking library bap_plugin_arm
loader.info> Loaded arm from "/root/.opam/4.09.0/lib/bap/arm.plugin"
loader.debug> Loading beagle from "/root/.opam/4.09.0/lib/bap/beagle.plugin"
loader.debug> Linking library microx
loader.debug> Linking library bap_strings
loader.debug> Linking library bap_primus
loader.debug> Linking library beagle_prey
loader.debug> Linking library beagle_plugin
loader.debug> Linking library bap_plugin_beagle
loader.info> Loaded beagle from "/root/.opam/4.09.0/lib/bap/beagle.plugin"
loader.debug> Loading bil from "/root/.opam/4.09.0/lib/bap/bil.plugin"
loader.debug> Linking library bil_plugin
loader.debug> Linking library bap_plugin_bil
loader.info> Loaded bil from "/root/.opam/4.09.0/lib/bap/bil.plugin"
loader.debug> Loading byteweight from "/root/.opam/4.09.0/lib/bap/byteweight.plugin"
loader.debug> Linking library bap_byteweight
loader.debug> Linking library byteweight_plugin
loader.debug> Linking library bap_plugin_byteweight
loader.info> Loaded byteweight from "/root/.opam/4.09.0/lib/bap/byteweight.plugin"
loader.debug> Loading cache from "/root/.opam/4.09.0/lib/bap/cache.plugin"
loader.debug> Linking library cache_plugin
loader.debug> Linking library bap_plugin_cache
loader.info> Loaded cache from "/root/.opam/4.09.0/lib/bap/cache.plugin"
loader.debug> Loading callgraph-collator from "/root/.opam/4.09.0/lib/bap/callgraph_collator.plugin"
loader.debug> Linking library re
loader.debug> Linking library re_pcre
loader.debug> Linking library callgraph_collator_plugin
loader.debug> Linking library bap_plugin_callgraph_collator
loader.info> Loaded callgraph-collator from "/root/.opam/4.09.0/lib/bap/callgraph_collator.plugin"
loader.debug> Loading callsites from "/root/.opam/4.09.0/lib/bap/callsites.plugin"
loader.debug> Linking library callsites_plugin
loader.debug> Linking library bap_plugin_callsites
loader.info> Loaded callsites from "/root/.opam/4.09.0/lib/bap/callsites.plugin"
loader.debug> Loading constant-tracker from "/root/.opam/4.09.0/lib/bap/constant_tracker.plugin"
loader.debug> Linking library constant_tracker_plugin
loader.debug> Linking library bap_plugin_constant_tracker
loader.info> Loaded constant-tracker from "/root/.opam/4.09.0/lib/bap/constant_tracker.plugin"
loader.debug> Loading cwe-checker from "/root/.opam/4.09.0/lib/bap/cwe_checker.plugin"
loader.debug> Linking library easy_format
loader.debug> Linking library biniou
loader.debug> Linking library yojson
loader.debug> Linking library ppx_deriving_runtime
loader.debug> Linking library ppx_deriving_yojson_runtime
loader.debug> Linking library cwe_checker_core
loader.debug> Linking library cwe_checker
loader.info> Loaded cwe-checker from "/root/.opam/4.09.0/lib/bap/cwe_checker.plugin"
loader.debug> Loading cwe-checker-emulation from "/root/.opam/4.09.0/lib/bap/cwe_checker_emulation.plugin"
loader.debug> Linking library str
loader.debug> Linking library cwe_checker_emulation
loader.info> Loaded cwe-checker-emulation from "/root/.opam/4.09.0/lib/bap/cwe_checker_emulation.plugin"
loader.debug> Loading cwe-checker-pointer-inference-debug from "/root/.opam/4.09.0/lib/bap/cwe_checker_pointer_inference_debug.plugin"
loader.debug> Linking library cwe_checker_pointer_inference_debug
loader.info> Loaded cwe-checker-pointer-inference-debug from "/root/.opam/4.09.0/lib/bap/cwe_checker_pointer_inference_debug.plugin"
loader.debug> Loading cwe-checker-type-inference from "/root/.opam/4.09.0/lib/bap/cwe_checker_type_inference.plugin"
loader.debug> Linking library cwe_checker_type_inference
loader.info> Loaded cwe-checker-type-inference from "/root/.opam/4.09.0/lib/bap/cwe_checker_type_inference.plugin"
loader.debug> Loading cwe-checker-type-inference-print from "/root/.opam/4.09.0/lib/bap/cwe_checker_type_inference_print.plugin"
loader.debug> Linking library cwe_checker_type_inference_print
loader.info> Loaded cwe-checker-type-inference-print from "/root/.opam/4.09.0/lib/bap/cwe_checker_type_inference_print.plugin"
loader.debug> Loading cxxfilt from "/root/.opam/4.09.0/lib/bap/cxxfilt.plugin"
loader.debug> Linking library bap-demangle
loader.debug> Linking library cxxfilt_plugin
loader.debug> Linking library bap_plugin_cxxfilt
loader.info> Loaded cxxfilt from "/root/.opam/4.09.0/lib/bap/cxxfilt.plugin"
loader.debug> Loading ddtbd from "/root/.opam/4.09.0/lib/bap/ddtbd.plugin"
loader.debug> Linking library taint
loader.debug> Linking library ddtbd
loader.info> Loaded ddtbd from "/root/.opam/4.09.0/lib/bap/ddtbd.plugin"
loader.debug> Loading demangle from "/root/.opam/4.09.0/lib/bap/demangle.plugin"
loader.debug> Linking library demangle_plugin
loader.debug> Linking library bap_plugin_demangle
loader.info> Loaded demangle from "/root/.opam/4.09.0/lib/bap/demangle.plugin"
loader.debug> Loading disassemble from "/root/.opam/4.09.0/lib/bap/disassemble.plugin"
loader.debug> Linking library disassemble_plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/trivial_condition_form.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_lisp.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/raw.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_type_inference_print.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_wandering.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/restrictness_check.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_propagate_taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/arm.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/demangle.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/trace.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cache.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cxxfilt.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_type_inference.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/propagate_taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/dump_symbols.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/relocatable.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_symbolic_executor.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/constant_tracker.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/must_check_value.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/bil.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/callgraph_collator.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_round_robin.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_promiscuous.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_limit.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/find_symbol.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/recipe_command.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_exploring.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/beagle.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/thumb.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_pointer_inference_debug.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_region.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/api.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/read_symbols.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/elf_loader.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/byteweight.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_random.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/mips.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/print.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/x86.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_loader.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_print.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/unused_return_value.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/specification.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_emulation.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/frontc_parser.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_systems.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/strings.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/map_terms.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/glibc_runtime.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/objdump.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/disassemble.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/analyze.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/llvm.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/report.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/null_ptr_deref.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_x86.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/mc.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/optimization.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_mark_visited.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_test.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/ssa.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/warn_unused_result.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/with_no_return.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/stub_resolver.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/run.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/abi.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_powerpc.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/ddtbd.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/warn_unused.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/callsites.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/powerpc.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_dictionary.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/systemz.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_greedy.plugin
loader.debug> Linking library bap_plugin_disassemble
loader.info> Loaded disassemble from "/root/.opam/4.09.0/lib/bap/disassemble.plugin"
loader.debug> Loading dump-symbols from "/root/.opam/4.09.0/lib/bap/dump_symbols.plugin"
loader.debug> Linking library dump_symbols_plugin
loader.debug> Linking library bap_plugin_dump_symbols
loader.info> Loaded dump-symbols from "/root/.opam/4.09.0/lib/bap/dump_symbols.plugin"
loader.debug> Loading elf-loader from "/root/.opam/4.09.0/lib/bap/elf_loader.plugin"
loader.debug> Linking library bitstring
loader.debug> Linking library elf
loader.debug> Linking library binary_packing
loader.debug> Linking library dwarf
loader.debug> Linking library elf_loader_plugin
loader.debug> Linking library bap_plugin_elf_loader
loader.info> Loaded elf-loader from "/root/.opam/4.09.0/lib/bap/elf_loader.plugin"
loader.debug> Loading find-symbol from "/root/.opam/4.09.0/lib/bap/find_symbol.plugin"
loader.debug> Linking library find_symbol
loader.info> Loaded find-symbol from "/root/.opam/4.09.0/lib/bap/find_symbol.plugin"
loader.debug> Loading frontc-parser from "/root/.opam/4.09.0/lib/bap/frontc_parser.plugin"
loader.debug> Linking library frontc
loader.debug> Linking library frontc_parser_plugin
loader.debug> Linking library bap_plugin_frontc_parser
loader.info> Loaded frontc-parser from "/root/.opam/4.09.0/lib/bap/frontc_parser.plugin"
loader.debug> Loading glibc-runtime from "/root/.opam/4.09.0/lib/bap/glibc_runtime.plugin"
loader.debug> Linking library glibc_runtime_plugin
loader.debug> Linking library bap_plugin_glibc_runtime
loader.info> Loaded glibc-runtime from "/root/.opam/4.09.0/lib/bap/glibc_runtime.plugin"
loader.debug> Loading llvm from "/root/.opam/4.09.0/lib/bap/llvm.plugin"
loader.debug> Linking library bap_llvm
loader.debug> Linking library llvm_plugin
loader.debug> Linking library bap_plugin_llvm
loader.info> Loaded llvm from "/root/.opam/4.09.0/lib/bap/llvm.plugin"
loader.debug> Loading map-terms from "/root/.opam/4.09.0/lib/bap/map_terms.plugin"
loader.debug> Linking library bap-bml
loader.debug> Linking library map_terms_plugin
loader.debug> Linking library bap_plugin_map_terms
loader.info> Loaded map-terms from "/root/.opam/4.09.0/lib/bap/map_terms.plugin"
loader.debug> Loading mc from "/root/.opam/4.09.0/lib/bap/mc.plugin"
loader.debug> Linking library mc_plugin
loader.debug> Linking library bap_plugin_mc
loader.info> Loaded mc from "/root/.opam/4.09.0/lib/bap/mc.plugin"
loader.debug> Loading mips from "/root/.opam/4.09.0/lib/bap/mips.plugin"
loader.debug> Linking library bap-mips
loader.debug> Linking library mips_plugin
loader.debug> Linking library bap_plugin_mips
loader.info> Loaded mips from "/root/.opam/4.09.0/lib/bap/mips.plugin"
loader.debug> Loading must-check-value from "/root/.opam/4.09.0/lib/bap/must_check_value.plugin"
loader.debug> Linking library must_check_value
loader.info> Loaded must-check-value from "/root/.opam/4.09.0/lib/bap/must_check_value.plugin"
loader.debug> Loading null-ptr-deref from "/root/.opam/4.09.0/lib/bap/null_ptr_deref.plugin"
loader.debug> Linking library bap-x86-cpu
loader.debug> Linking library null_ptr_deref
loader.info> Loaded null-ptr-deref from "/root/.opam/4.09.0/lib/bap/null_ptr_deref.plugin"
loader.debug> Loading objdump from "/root/.opam/4.09.0/lib/bap/objdump.plugin"
loader.debug> Linking library objdump_plugin
loader.debug> Linking library bap_plugin_objdump
loader.info> Loaded objdump from "/root/.opam/4.09.0/lib/bap/objdump.plugin"
loader.debug> Loading optimization from "/root/.opam/4.09.0/lib/bap/optimization.plugin"
loader.debug> Linking library optimization_plugin
loader.debug> Linking library bap_plugin_optimization
loader.info> Loaded optimization from "/root/.opam/4.09.0/lib/bap/optimization.plugin"
loader.debug> Loading powerpc from "/root/.opam/4.09.0/lib/bap/powerpc.plugin"
loader.debug> Linking library bap-powerpc
loader.debug> Linking library powerpc_plugin
loader.debug> Linking library bap_plugin_powerpc
loader.info> Loaded powerpc from "/root/.opam/4.09.0/lib/bap/powerpc.plugin"
loader.debug> Loading primus-dictionary from "/root/.opam/4.09.0/lib/bap/primus_dictionary.plugin"
loader.debug> Linking library primus_dictionary_library_plugin
loader.debug> Linking library bap_plugin_primus_dictionary
loader.info> Loaded primus-dictionary from "/root/.opam/4.09.0/lib/bap/primus_dictionary.plugin"
loader.debug> Loading primus-exploring from "/root/.opam/4.09.0/lib/bap/primus_exploring.plugin"
loader.debug> Linking library primus_exploring_scheduler_plugin
loader.debug> Linking library bap_plugin_primus_exploring
loader.info> Loaded primus-exploring from "/root/.opam/4.09.0/lib/bap/primus_exploring.plugin"
loader.debug> Loading primus-greedy from "/root/.opam/4.09.0/lib/bap/primus_greedy.plugin"
loader.debug> Linking library primus_greedy_scheduler_plugin
loader.debug> Linking library bap_plugin_primus_greedy
loader.info> Loaded primus-greedy from "/root/.opam/4.09.0/lib/bap/primus_greedy.plugin"
loader.debug> Loading primus-limit from "/root/.opam/4.09.0/lib/bap/primus_limit.plugin"
loader.debug> Linking library primus_limit
loader.debug> Linking library bap_plugin_primus_limit
loader.info> Loaded primus-limit from "/root/.opam/4.09.0/lib/bap/primus_limit.plugin"
loader.debug> Loading primus-lisp from "/root/.opam/4.09.0/lib/bap/primus_lisp.plugin"
loader.debug> Linking library primus_lisp_library_plugin
loader.debug> Linking library bap_plugin_primus_lisp
loader.info> Loaded primus-lisp from "/root/.opam/4.09.0/lib/bap/primus_lisp.plugin"
loader.debug> Loading primus-loader from "/root/.opam/4.09.0/lib/bap/primus_loader.plugin"
loader.debug> Linking library primus_loader_plugin
loader.debug> Linking library bap_plugin_primus_loader
loader.info> Loaded primus-loader from "/root/.opam/4.09.0/lib/bap/primus_loader.plugin"
loader.debug> Loading primus-mark-visited from "/root/.opam/4.09.0/lib/bap/primus_mark_visited.plugin"
loader.debug> Linking library bap_primus_track_visited
loader.debug> Linking library primus_mark_visited_plugin
loader.debug> Linking library bap_plugin_primus_mark_visited
loader.info> Loaded primus-mark-visited from "/root/.opam/4.09.0/lib/bap/primus_mark_visited.plugin"
loader.debug> Loading primus-powerpc from "/root/.opam/4.09.0/lib/bap/primus_powerpc.plugin"
loader.debug> Linking library primus_powerpc_plugin
loader.debug> Linking library bap_plugin_primus_powerpc
loader.info> Loaded primus-powerpc from "/root/.opam/4.09.0/lib/bap/primus_powerpc.plugin"
loader.debug> Loading primus-print from "/root/.opam/4.09.0/lib/bap/primus_print.plugin"
loader.debug> Linking library bare
loader.debug> Linking library primus_print_plugin
loader.debug> Linking library bap_plugin_primus_print
loader.info> Loaded primus-print from "/root/.opam/4.09.0/lib/bap/primus_print.plugin"
loader.debug> Loading primus-promiscuous from "/root/.opam/4.09.0/lib/bap/primus_promiscuous.plugin"
loader.debug> Linking library primus_promiscuous_plugin
loader.debug> Linking library bap_plugin_primus_promiscuous
loader.info> Loaded primus-promiscuous from "/root/.opam/4.09.0/lib/bap/primus_promiscuous.plugin"
loader.debug> Loading primus-propagate-taint from "/root/.opam/4.09.0/lib/bap/primus_propagate_taint.plugin"
loader.debug> Linking library primus_propagate_taint_plugin
loader.debug> Linking library bap_plugin_primus_propagate_taint
loader.info> Loaded primus-propagate-taint from "/root/.opam/4.09.0/lib/bap/primus_propagate_taint.plugin"
loader.debug> Loading primus-random from "/root/.opam/4.09.0/lib/bap/primus_random.plugin"
loader.debug> Linking library primus_random_library_plugin
loader.debug> Linking library bap_plugin_primus_random
loader.info> Loaded primus-random from "/root/.opam/4.09.0/lib/bap/primus_random.plugin"
loader.debug> Loading primus-region from "/root/.opam/4.09.0/lib/bap/primus_region.plugin"
loader.debug> Linking library primus_region_library_plugin
loader.debug> Linking library bap_plugin_primus_region
loader.info> Loaded primus-region from "/root/.opam/4.09.0/lib/bap/primus_region.plugin"
loader.debug> Loading primus-round-robin from "/root/.opam/4.09.0/lib/bap/primus_round_robin.plugin"
loader.debug> Linking library primus_round_robin_scheduler_plugin
loader.debug> Linking library bap_plugin_primus_round_robin
loader.info> Loaded primus-round-robin from "/root/.opam/4.09.0/lib/bap/primus_round_robin.plugin"
loader.debug> Loading primus-symbolic-executor from "/root/.opam/4.09.0/lib/bap/primus_symbolic_executor.plugin"
loader.debug> Linking library threads
loader.debug> Linking library z3ml
loader.debug> Linking library primus_symbolic_executor_plugin
loader.debug> Linking library bap_plugin_primus_symbolic_executor
loader.info> Loaded primus-symbolic-executor from "/root/.opam/4.09.0/lib/bap/primus_symbolic_executor.plugin"
loader.debug> Loading primus-systems from "/root/.opam/4.09.0/lib/bap/primus_systems.plugin"
loader.debug> Linking library primus_systems_plugin
loader.debug> Linking library bap_plugin_primus_systems
loader.info> Loaded primus-systems from "/root/.opam/4.09.0/lib/bap/primus_systems.plugin"
loader.debug> Loading primus-taint from "/root/.opam/4.09.0/lib/bap/primus_taint.plugin"
loader.debug> Linking library primus_taint_plugin
loader.debug> Linking library bap_plugin_primus_taint
loader.info> Loaded primus-taint from "/root/.opam/4.09.0/lib/bap/primus_taint.plugin"
loader.debug> Loading primus-test from "/root/.opam/4.09.0/lib/bap/primus_test.plugin"
loader.debug> Linking library primus_test_library_plugin
loader.debug> Linking library bap_plugin_primus_test
loader.info> Loaded primus-test from "/root/.opam/4.09.0/lib/bap/primus_test.plugin"
loader.debug> Loading primus-wandering from "/root/.opam/4.09.0/lib/bap/primus_wandering.plugin"
loader.debug> Linking library primus_wandering_scheduler_plugin
loader.debug> Linking library bap_plugin_primus_wandering
loader.info> Loaded primus-wandering from "/root/.opam/4.09.0/lib/bap/primus_wandering.plugin"
loader.debug> Loading primus-x86 from "/root/.opam/4.09.0/lib/bap/primus_x86.plugin"
loader.debug> Linking library primus_x86_plugin
loader.debug> Linking library bap_plugin_primus_x86
loader.info> Loaded primus-x86 from "/root/.opam/4.09.0/lib/bap/primus_x86.plugin"
loader.debug> Loading print from "/root/.opam/4.09.0/lib/bap/print.plugin"
loader.debug> Linking library text-tags
loader.debug> Linking library print_plugin
loader.debug> Linking library bap_plugin_print
loader.info> Loaded print from "/root/.opam/4.09.0/lib/bap/print.plugin"
loader.debug> Loading propagate-taint from "/root/.opam/4.09.0/lib/bap/propagate_taint.plugin"
loader.debug> Linking library propagate_taint_plugin
loader.debug> Linking library bap_plugin_propagate_taint
loader.info> Loaded propagate-taint from "/root/.opam/4.09.0/lib/bap/propagate_taint.plugin"
loader.debug> Loading raw from "/root/.opam/4.09.0/lib/bap/raw.plugin"
loader.debug> Linking library bap_raw_plugin
loader.debug> Linking library bap_plugin_raw
loader.info> Loaded raw from "/root/.opam/4.09.0/lib/bap/raw.plugin"
loader.debug> Loading read-symbols from "/root/.opam/4.09.0/lib/bap/read_symbols.plugin"
loader.debug> Linking library read_symbols_plugin
loader.debug> Linking library bap_plugin_read_symbols
loader.info> Loaded read-symbols from "/root/.opam/4.09.0/lib/bap/read_symbols.plugin"
loader.debug> Loading recipe-command from "/root/.opam/4.09.0/lib/bap/recipe_command.plugin"
loader.debug> Linking library bap_recipe_command_plugin
loader.debug> Linking library bap_plugin_recipe_command
loader.info> Loaded recipe-command from "/root/.opam/4.09.0/lib/bap/recipe_command.plugin"
loader.debug> Loading relocatable from "/root/.opam/4.09.0/lib/bap/relocatable.plugin"
loader.debug> Linking library relocatable_plugin
loader.debug> Linking library bap_plugin_relocatable
loader.info> Loaded relocatable from "/root/.opam/4.09.0/lib/bap/relocatable.plugin"
loader.debug> Loading report from "/root/.opam/4.09.0/lib/bap/report.plugin"
loader.debug> Linking library report_plugin
loader.debug> Linking library bap_plugin_report
loader.info> Loaded report from "/root/.opam/4.09.0/lib/bap/report.plugin"
loader.debug> Loading restrictness-check from "/root/.opam/4.09.0/lib/bap/restrictness_check.plugin"
loader.debug> Linking library restrictness_check
loader.info> Loaded restrictness-check from "/root/.opam/4.09.0/lib/bap/restrictness_check.plugin"
loader.debug> Loading run from "/root/.opam/4.09.0/lib/bap/run.plugin"
loader.debug> Linking library run_plugin
loader.debug> Linking library bap_plugin_run
loader.info> Loaded run from "/root/.opam/4.09.0/lib/bap/run.plugin"
loader.debug> Loading specification from "/root/.opam/4.09.0/lib/bap/specification.plugin"
loader.debug> Linking library specification_plugin
loader.debug> Linking library bap_plugin_specification
loader.info> Loaded specification from "/root/.opam/4.09.0/lib/bap/specification.plugin"
loader.debug> Loading ssa from "/root/.opam/4.09.0/lib/bap/ssa.plugin"
loader.debug> Linking library ssa_plugin
loader.debug> Linking library bap_plugin_ssa
loader.info> Loaded ssa from "/root/.opam/4.09.0/lib/bap/ssa.plugin"
loader.debug> Loading strings from "/root/.opam/4.09.0/lib/bap/strings.plugin"
loader.debug> Linking library strings_plugin
loader.debug> Linking library bap_plugin_strings
loader.info> Loaded strings from "/root/.opam/4.09.0/lib/bap/strings.plugin"
loader.debug> Loading stub-resolver from "/root/.opam/4.09.0/lib/bap/stub_resolver.plugin"
loader.debug> Linking library bap-plugin-stub_resolver
loader.debug> Linking library bap_plugin_stub_resolver
loader.info> Loaded stub-resolver from "/root/.opam/4.09.0/lib/bap/stub_resolver.plugin"
loader.debug> Loading systemz from "/root/.opam/4.09.0/lib/bap/systemz.plugin"
loader.debug> Linking library bap-systemz
loader.debug> Linking library systemz_plugin
loader.debug> Linking library bap_plugin_systemz
loader.info> Loaded systemz from "/root/.opam/4.09.0/lib/bap/systemz.plugin"
loader.debug> Loading taint from "/root/.opam/4.09.0/lib/bap/taint.plugin"
loader.debug> Linking library taint_plugin
loader.debug> Linking library bap_plugin_taint
loader.info> Loaded taint from "/root/.opam/4.09.0/lib/bap/taint.plugin"
loader.debug> Loading thumb from "/root/.opam/4.09.0/lib/bap/thumb.plugin"
loader.debug> Linking library thumb_plugin
loader.debug> Linking library bap_plugin_thumb
loader.info> Loaded thumb from "/root/.opam/4.09.0/lib/bap/thumb.plugin"
loader.debug> Loading trace from "/root/.opam/4.09.0/lib/bap/trace.plugin"
loader.debug> Linking library traces
loader.debug> Linking library trace_plugin
loader.debug> Linking library bap_plugin_trace
loader.info> Loaded trace from "/root/.opam/4.09.0/lib/bap/trace.plugin"
loader.debug> Loading trivial-condition-form from "/root/.opam/4.09.0/lib/bap/trivial_condition_form.plugin"
loader.debug> Linking library trivial_condition_form_plugin
loader.debug> Linking library bap_plugin_trivial_condition_form
loader.info> Loaded trivial-condition-form from "/root/.opam/4.09.0/lib/bap/trivial_condition_form.plugin"
loader.debug> Loading unused-return-value from "/root/.opam/4.09.0/lib/bap/unused_return_value.plugin"
loader.debug> Linking library unused_return_value
loader.info> Loaded unused-return-value from "/root/.opam/4.09.0/lib/bap/unused_return_value.plugin"
loader.debug> Loading warn-unused from "/root/.opam/4.09.0/lib/bap/warn_unused.plugin"
loader.debug> Linking library warn_unused_plugin
loader.debug> Linking library bap_plugin_warn_unused
loader.info> Loaded warn-unused from "/root/.opam/4.09.0/lib/bap/warn_unused.plugin"
loader.debug> Loading warn-unused-result from "/root/.opam/4.09.0/lib/bap/warn_unused_result.plugin"
loader.debug> Linking library warn_unused_result
loader.info> Loaded warn-unused-result from "/root/.opam/4.09.0/lib/bap/warn_unused_result.plugin"
loader.debug> Loading with-no-return from "/root/.opam/4.09.0/lib/bap/with_no_return.plugin"
loader.debug> Linking library with_no_return
loader.info> Loaded with-no-return from "/root/.opam/4.09.0/lib/bap/with_no_return.plugin"
loader.debug> Loading x86 from "/root/.opam/4.09.0/lib/bap/x86.plugin"
loader.debug> Linking library x86_plugin
loader.debug> Linking library bap_plugin_x86
loader.info> Loaded x86 from "/root/.opam/4.09.0/lib/bap/x86.plugin"
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/trivial_condition_form.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_lisp.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/raw.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_type_inference_print.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_wandering.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/restrictness_check.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_propagate_taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/arm.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/demangle.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/trace.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cache.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cxxfilt.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_type_inference.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/propagate_taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/dump_symbols.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/relocatable.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_symbolic_executor.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/constant_tracker.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/must_check_value.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/bil.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/callgraph_collator.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_round_robin.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_promiscuous.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_limit.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/find_symbol.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/recipe_command.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_exploring.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/beagle.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/thumb.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_pointer_inference_debug.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_region.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/api.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/read_symbols.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/elf_loader.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/byteweight.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_random.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/mips.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/print.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/x86.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_loader.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_print.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/unused_return_value.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/taint.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/specification.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/cwe_checker_emulation.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/frontc_parser.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_systems.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/strings.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/map_terms.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/glibc_runtime.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/objdump.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/disassemble.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/analyze.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/llvm.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/report.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/null_ptr_deref.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_x86.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/mc.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/optimization.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_mark_visited.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_test.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/ssa.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/warn_unused_result.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/with_no_return.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/stub_resolver.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/run.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/abi.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_powerpc.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/ddtbd.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/warn_unused.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/callsites.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/powerpc.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_dictionary.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/systemz.plugin
loader.debug> Opening bundle /root/.opam/4.09.0/lib/bap/primus_greedy.plugin
bil.info> providing a lifter for all BIL lifters
primus-print.info> monitoring incident-location
primus-print.info> monitoring incident
primus-print.info> monitoring lisp-message
primus-print.info> monitoring machine-fork
primus-print.info> monitoring machine-switch
primus-print.info> monitoring call-return
primus-print.info> monitoring call
primus-print.info> monitoring jumping
primus-print.info> monitoring pc-changed
primus-print.info> monitoring exception
primus-print.info> monitoring taint-finalize
powerpc.info> Providing PowerPC semantics in BIL
cache.info> caching to /root/.cache/bap
disassemble.info> Setting GC parameters
disassemble.info> looking for knowledge with digest 9e4b48f7874688b00facc8d01dd33e55
disassemble.info> importing knowledge from cache
bap.warning> region ((addr 0x601070:64u) (size 16)) is not mapped to memory
bap.warning> region ((addr 0:64u) (size 41)) is not mapped to memory
bap.warning> region ((addr 0:64u) (size 243)) is not mapped to memory
bap.info> providing rooter and symbolizer from image of (./callme)
x86.info> can't detect ABI, falling back to default
x86.info> using sysv ABI
x86.info> applying sysv to .text
x86.info> applying sysv to _fini@@Base
x86.info> applying sysv to _init@@Base
x86.info> applying sysv to callme_one
x86.info> applying sysv to callme_three
x86.info> applying sysv to callme_two
x86.info> applying sysv to exit
x86.info> applying sysv to memset
x86.info> applying sysv to printf
x86.info> applying sysv to puts
x86.info> applying sysv to puts@plt-0x10
x86.info> applying sysv to read
x86.info> applying sysv to setvbuf
x86.info> applying sysv to sub_4007a0
x86.info> applying sysv to sub_400898
x86.info> applying sysv to __libc_start_main
x86.info> applying sysv to callme_one@external
x86.info> applying sysv to callme_three@external
x86.info> applying sysv to callme_two@external
x86.info> applying sysv to exit@external
x86.info> applying sysv to memset@external
x86.info> applying sysv to printf@external
x86.info> applying sysv to puts@external
x86.info> applying sysv to read@external
x86.info> applying sysv to setvbuf@external
trivial-condition-form.info> translating the program into the Trivial Condition Form (TCF)
objdump.info> 0x4006a8 => _init@@Base
objdump.info> 0x4006c0 => puts@plt-0x10
objdump.info> 0x4006d0 => puts
objdump.info> 0x4006e0 => printf
objdump.info> 0x4006f0 => callme_three
objdump.info> 0x400700 => memset
objdump.info> 0x400710 => read
objdump.info> 0x400720 => callme_one
objdump.info> 0x400730 => setvbuf
objdump.info> 0x400740 => callme_two
objdump.info> 0x400750 => exit
objdump.info> 0x400760 => .text
objdump.info> 0x4009b4 => _fini@@Base
primus-lisp.info> redirecting fd 0 to /tmp/recipe-f09c20be-8aa5-4c22-9ac5-f3b3a74ffeac.unzipped/stdin
primus-lisp.info> redirecting fd 1 to /tmp/recipe-f09c20be-8aa5-4c22-9ac5-f3b3a74ffeac.unzipped/stdout
run.info> Fork 1: starting from the %00000b17 entry point
run.info> execution from %00000b17 terminated with: Primus Lisp runtime error - File "/root/.opam/4.09.0/share/primus/site-lisp/types.lisp", line 33, characters 0-102
invoke-subroutine: no function for 0x400847 
primus-greedy.info> switch to machine 2 from 1
primus-greedy.info> killing previous machine 1
run.info> execution from %00000b17 terminated with: Halt 
primus-greedy.info> switch to machine 0 from 2
primus-greedy.info> killing previous machine 2
run.info> Fork 3: starting from the %00000b28 entry point
primus-greedy.info> switch to machine 9 from 3
primus-greedy.info> killing previous machine 3
run.info> execution from %00000b28 terminated with: Halt 
primus-greedy.info> switch to machine 8 from 9
primus-greedy.info> killing previous machine 9
run.info> execution from %00000b28 terminated with: Halt 
primus-greedy.info> switch to machine 7 from 8
primus-greedy.info> killing previous machine 8
run.info> execution from %00000b28 terminated with: Halt 
primus-greedy.info> switch to machine 6 from 7
primus-greedy.info> killing previous machine 7
run.info> execution from %00000b28 terminated with: Halt 
primus-greedy.info> switch to machine 5 from 6
primus-greedy.info> killing previous machine 6
run.info> execution from %00000b28 terminated with: Halt 
primus-greedy.info> switch to machine 4 from 5
primus-greedy.info> killing previous machine 5
run.info> execution from %00000b28 terminated with: Halt 
primus-greedy.info> switch to machine 0 from 4
primus-greedy.info> killing previous machine 4
run.info> Fork 10: starting from the %00000b23 entry point
run.info> execution from %00000b23 terminated with: Bap_taint.Taint.Bad_cast(_) 
primus-greedy.info> switch to machine 0 from 10
primus-greedy.info> killing previous machine 10
run.info> Fork 11: starting from the %000009e9 entry point
primus-greedy.info> switch to machine 0 from 11
primus-greedy.info> killing previous machine 11
run.info> Fork 12: starting from the %00000b21 entry point
primus-greedy.info> switch to machine 0 from 12
primus-greedy.info> killing previous machine 12
run.info> Fork 13: starting from the %00000979 entry point
primus-greedy.info> switch to machine 0 from 13
primus-greedy.info> killing previous machine 13
primus-greedy.info> switch to machine 0 from 14
primus-greedy.info> killing previous machine 14
primus-greedy.info> switch to machine 0 from 15
primus-greedy.info> killing previous machine 15
run.info> Fork 16: starting from the %00000b1f entry point
primus-limit.info> terminating machine 16 because a maximum number of clocks has been reached
run.info> execution from %00000b1f terminated with: Halt 
primus-greedy.info> switch to machine 0 from 16
primus-greedy.info> killing previous machine 16
run.info> Fork 17: starting from the %000009cd entry point
primus-greedy.info> switch to machine 0 from 17
primus-greedy.info> killing previous machine 17
run.info> Fork 18: starting from the %00000b25 entry point
primus-greedy.info> switch to machine 19 from 18
primus-greedy.info> killing previous machine 18
primus-greedy.info> switch to machine 20 from 19
primus-greedy.info> killing previous machine 19
primus-greedy.info> switch to machine 0 from 20
primus-greedy.info> killing previous machine 20
run.info> Fork 21: starting from the %00000b24 entry point
primus-greedy.info> switch to machine 22 from 21
primus-greedy.info> killing previous machine 21
run.info> execution from %00000b24 terminated with: Halt 
primus-greedy.info> switch to machine 0 from 22
primus-greedy.info> killing previous machine 22
primus-greedy.info> switch to machine 0 from 23
primus-greedy.info> killing previous machine 23
run.info> Fork 24: starting from the %00000b1e entry point
run.info> execution from %00000b1e terminated with: Halt 
primus-greedy.info> switch to machine 0 from 24
primus-greedy.info> killing previous machine 24
run.info> Fork 25: starting from the %00000a59 entry point
primus-greedy.info> switch to machine 0 from 25
primus-greedy.info> killing previous machine 25
run.info> Fork 26: starting from the %00000b1d entry point
primus-greedy.info> switch to machine 27 from 26
primus-greedy.info> killing previous machine 26
run.info> execution from %00000b1d terminated with: Halt 
primus-greedy.info> switch to machine 0 from 27
primus-greedy.info> killing previous machine 27
primus-greedy.info> switch to machine 0 from 28
primus-greedy.info> killing previous machine 28
run.info> Fork 29: starting from the %00000b1c entry point
primus-greedy.info> switch to machine 30 from 29
primus-greedy.info> killing previous machine 29
run.info> execution from %00000b1c terminated with: Halt 
primus-greedy.info> switch to machine 0 from 30
primus-greedy.info> killing previous machine 30
primus-greedy.info> switch to machine 0 from 31
primus-greedy.info> killing previous machine 31
run.info> Fork 32: starting from the %00000b1b entry point
primus-greedy.info> switch to machine 33 from 32
primus-greedy.info> killing previous machine 32
run.info> execution from %00000b1b terminated with: Halt 
primus-greedy.info> switch to machine 0 from 33
primus-greedy.info> killing previous machine 33
primus-greedy.info> switch to machine 0 from 34
primus-greedy.info> killing previous machine 34
primus-greedy.info> switch to machine 0 from 35
primus-greedy.info> killing previous machine 35
run.info> Fork 36: starting from the %00000b19 entry point
primus-greedy.info> switch to machine 37 from 36
primus-greedy.info> killing previous machine 36
primus-greedy.info> switch to machine 38 from 37
primus-greedy.info> killing previous machine 37
run.info> execution from %00000b19 terminated with: Halt 
primus-greedy.info> switch to machine 0 from 38
primus-greedy.info> killing previous machine 38
run.info> Fork 39: starting from the %00000b18 entry point
primus-greedy.info> switch to machine 0 from 39
primus-greedy.info> killing previous machine 39
run.info> Fork 40: starting from the %00000107 entry point
run.info> execution from %00000107 terminated with: Primus Lisp runtime error - File "/root/.opam/4.09.0/share/primus/site-lisp/types.lisp", line 33, characters 0-102
invoke-subroutine: no function for 0x89A573B3C342EF23 
primus-greedy.info> switch to machine 0 from 40
primus-greedy.info> killing previous machine 40
run.info> all toplevel machines done, halting
primus-greedy.info> no more pending machines
run.info> The job `multi-task' finished successfully

snipped from /root/.opam/4.09.0/share/primus/site-lisp/types.lisp

33 (defun model-lp64 (type)
34   (case type
35     'char 8
36     'short 16
37     'int 32
38     'long 64
39     'ptr 64))

target bin:

root@D-329:/opt/play-ground/RESEARCH/emporium# cat callme|gzip -9|base64 
H4sIAHUrhmACA+1YbWxbVxk+vo4dJ2lvTNePkKb0rrSQbuQu7dIs7KO13aa9qbw165JSraS2Uzux
If7Avt6SCZVAtikeDUSIH0Eg1B/T2I/9yI/96Ao0qYKagRBKBYxKfKzAOpy224wKVQU05j3nvse+
92B3lUDiz04UP/d9zvuej/ec856Pr3T790s2G+FJIrsJlYK1HiZ7kJ/+WEkFuC5SB78bSTNxglxj
0vMQjwVvYdEcXahnR7suyZC7JI8FW1CPo82EDmJOHgvONhALEqKU7GhbC6sNtrA6aMFxbMe0ZLWT
0I7ISMtBCxawYQWhfzX434fl9WG/OO5DvX0mfZp6r+hh+r213pC31nss6Ec9v2D3JNg5yd0nN+Jh
rK+aX9zYfo58HB4YiQ12djwwEm4biSWyo22jXZ1tnR1qJqnuZG1yo+6BJ/pL4y2Z2rwWOZqff2dm
/Mc/uza95sIfAuPSYtvkp6/6ad4q07hNzis24uito1wj/NPp2LrpVIuv+9fXf/jnb3350peOtrwx
9Vf52i8/kO/U72Pwv6YCH6zCd1Thh6vwiSr816rw3iq8XJqB1vRcFf1NVfgjVfgM82ETSbmDlnn7
bTZ2G0o8Tz9gfBMZF/jvIi/qt7J6G8irTo+FVxkvk9frrDyB+XQiNDISj8AcIoHAcDyZCGT0UFoP
BIiREdCfhZxYIqaTwBBAiY6mIxEuJBMRVhSdiZ0kMgrKqayeIal0LKEPkXgknonoJB0JhUlGDyez
OgH5mcHsENRJ7bDOeCiWIIFIOKSHIGMwkzF4oBJhcsDf49sb2KnuVHex/khsZkuIpCTZSn+E/fpN
6y7bHKujWq+hXGg0/Ofk8QbTLRPvMvHc3w5cJzw1IV9rWqssmpl4yTxOJt5u4ttNfI2J7zLx5jjs
MfG1Jl4z8XUmvtfE15v4oya+wVzOxHWX9nVHd51CtBfmdam4pE38xLVAirt8QBW37YPfxs0e+KJy
lJosXy5C2vYwlakrlpeYvJPK1AXL80y+j8q068uzTN5CZdrl5dNMbqYy7eryNJPXUJkOx/I4k+up
TJu7nGKyRGU6VMtBEHe815O7eFzL/UmbeKfQ29ezOD8LM19bPO9hsHjABW1eN+RSyN8aN8NmcGNh
SG3c/DzrM+1P/xk60tpj7Dd3Rd9whnkDXLB6YI6SxcvMbmBhiOE5yvVrX30fDbTzK3YtV9DO5/do
tgvaxRV9XamEhnIJJfvxx0LQFpLd0A/G+ZPQgwuOQ8DYBhawfbRV5TZStYFrOQowPJ8AzTcofZY6
+ByrKLeYX1wpFufehA7nB+jX2/TrKfhiLcnTUD73F8rt4dzAAitw4rqiTXVfPquYCztIiyhQdTf9
ugc2RiwHRKZOJ7iWuzDH2Pup0npQyv/xdrE4/VNW8lk6fufooM7Rkc6/C1kit2XlP7n3QW+OzqX8
WsgNHH96wfs575Ge3G+8/d4+/9S279co4JGpNopPeXO3e3I3/duvsLl7/rY9/xCYay+8pys7fsv9
58/9w5+7uS/3gbe49nfaxIJN++zvs1fp3D424P28d8B73BtYmC77+8YCrgU2++kaN1azEf6UwTHl
8KFepTueSqZj2TiBbTnQ2VFP6rshEsYSw0RLpiLKWDKr0BCo6NGIEktk9HT2hB5LJjKqqtaT3Qrp
i4YSX6Rq97I9f6P9EQ3jz/f+VSy+DPgodCVMwzZ1KuAnwR8/B9QBrwP+AnAVeKoFZtBnAE8B6jZj
32dlPneY2Ebdto2ral3Ttlq3G896S1D+/ahTWdeIoVT3V6DLY9lWGrNoHP1nsXiabaDu/XLTwcaG
Z13jZE/zI/c9uHULP08ehf9D0O4n2QYsu1+U9q52Sn4o3cgfpedByH/akt9fyp+hExzyD5rzTec5
Oh3zkB+hhE92f1PyyU3fsHfLylSNT2495dDk9hedmtw1Ufu47EnLXV653Su3+mQF9EDfJ7uMfYL2
daXcx4/SR+m/TR6Xce5yI9oq3K/M94tNiGcQ+VmDn+vw2lA6z32cWO8RG4n1XtTMzzWY3yLk/32l
mKQ4g/ckfsaYrPGUzkE0XcJ8fnY4i8jPDE2I64T+l844eM7ga+uSEHP4GWYD4pLDY+EnUebt1hDr
hPph+bL+RFG/iDL3cwFln8Pz/5kQcrAi/RaO77uINxGd+C6wHvFTiJ2I+xGP1Fbuz4G9ex9WWvsH
swk9qzyk7lLb2x7MMmnHyR1danvHdoOFm0ImChuTHhokKhzdI+kUURNJPaJ6fT1temgYpeFEVh3M
xuAeGgsTJkVDmShRw2OJzFjcQD1t5DwTSWdgl7MIAchLR0ZCVBG/UiM6rRJuDqoeGYVfdtlQ00l2
G1Aj0cBQOgRXjWg4XZYMi0AonQ6NGRb8GwoOxWMnoNakzn6MCozC4GZB1BPJeDyS0P8nw9mAc4vP
6/K7ivU9hQjrnad7hDtC+d3C/CpSTjWCfK9gr6O9LpX36TvZ0/v2TVgT3J7HgRkkHkXeIcQNnnaj
DyQhTlxCYhY77MS+u4T1ul94q+BxZ7LGGmeq+e8JXOPcnq9rn8Paf0fpvc2KxzBmcJnHjajD6n+x
/Tx9AX0qCXFq0mGNU6L/eP91tPcJcW/JYY2TVFxfwf6k6c3GvE+86rTG02rjPybYz6P9PBKnq7xj
cXxesOfvmEEM3IelyvY8vSTY833t9TprfK/W/mlh/c2j/TwahgR9cfxmBPvy+591X65W/yuCfQrt
U2jvsd25/ll8e7IT8T2wsr5LwB/h+5xd2Odv3aX9m+h7u7g/ydZ3Vqdgx8fxIvbfLryrFBorj7dY
/1uCPT8ncMPgh9i/LdgH0T7ovnP9PF1Bzi6886Tu0v4q1t8u8Nx+e5X4ZUZ7hX3lO2h/40Pi378B
ULbbkVAYAAA=
ivg commented 3 years ago

That is totally fine. It happens when there's a missing implementations for some function. The promiscuous executor just kills the current machine and switches to another one, that continues after the function return point. In other words, nothing to worry about.