<div dir="ltr"><div>Hello developers, <br></div><div><br></div><div>I tried the latest version of PANDA with the file_taint plugin but it failed with the image you provided online. I list the error information below:</div><div><br></div><div>./x86_64-softmmu/panda-system-x86_64 -m 4G /home/duo/bionic-server-cloudimg-amd64-noaslr-nokaslr.qcow2 -replay foo1 -os linux-64-ubuntu:my_info -panda file_taint:filename=test.sh<br>PANDA[core]:os_familyno=2 bits=64 os_details=ubuntu:my_info<br>PANDA[file_taint]:adding argument filename=test.sh.<br>PANDA[core]:initializing file_taint<br>PANDA[core]:loading required plugin syscalls2<br>PANDA[core]:initializing syscalls2<br>PANDA[syscalls2]:using profile for linux x64 64-bit<br>PANDA[core]:loading required plugin hooks<br>PANDA[core]:initializing hooks<br>PANDA[core]:loading required plugin osi<br>PANDA[core]:initializing osi<br>PANDA[core]:loading required plugin osi_linux<br>PANDA[core]:initializing osi_linux<br>PANDA[osi_linux]:W&gt; failed to read task.start_time_offset<br>PANDA[osi_linux]:W&gt; failed to read task.switch_task_hook_addr<br>PANDA[osi_linux]:W&gt; kernelinfo bytes [20-23] not read<br>PANDA[core]:loading required plugin syscalls2<br>PANDA[core]:/home/duo/qemu/panda/build/x86_64-softmmu/panda/plugins/panda_syscalls2.so already loaded<br>PANDA[core]:loading required plugin taint2<br>Failed to load /home/duo/qemu/panda/build/x86_64-softmmu/panda/plugins/panda_taint2.so: /home/duo/qemu/panda/build/x86_64-softmmu/panda/plugins/panda_taint2.so: undefined symbol: Z3_mk_seq_concat<br>PANDA[core]:FAILED to load required plugin taint2 from /home/duo/qemu/panda/build/x86_64-softmmu/panda/plugins/panda_taint2.so<br>Aborted (core dumped)</div><div><br></div><div>Can anyone help me solve the problem?</div><div><br></div><div>Thanks,</div><div>Duo<br></div></div>