angr reports Segmentation Fault, How can I find the reason.

[DockTree]

Question

when using function explore, it reports Segmentation Fault, how can I find the reason.

the result shown below

the script as following

[ltfish]

Either getting a core dump, or hooking a debugger to it and seeing why it crashed?

My gut feeling is that the crash is caused by unicorn engine. More details are required for us to fix it though.