[panda-users] Question for file_taint

[Duo Zhang]

Hello developers,

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:

./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
PANDA[core]:os_familyno=2 bits=64 os_details=ubuntu:my_info
PANDA[file_taint]:adding argument filename=test.sh.
PANDA[core]:initializing file_taint
PANDA[core]:loading required plugin syscalls2
PANDA[core]:initializing syscalls2
PANDA[syscalls2]:using profile for linux x64 64-bit
PANDA[core]:loading required plugin hooks
PANDA[core]:initializing hooks
PANDA[core]:loading required plugin osi
PANDA[core]:initializing osi
PANDA[core]:loading required plugin osi_linux
PANDA[core]:initializing osi_linux
PANDA[osi_linux]:W> failed to read task.start_time_offset
PANDA[osi_linux]:W> failed to read task.switch_task_hook_addr
PANDA[osi_linux]:W> kernelinfo bytes [20-23] not read
PANDA[core]:loading required plugin syscalls2
PANDA[core]:/home/duo/qemu/panda/build/x86_64-softmmu/panda/plugins/panda_syscalls2.so
already loaded
PANDA[core]:loading required plugin taint2
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
PANDA[core]:FAILED to load required plugin taint2 from
/home/duo/qemu/panda/build/x86_64-softmmu/panda/plugins/panda_taint2.so
Aborted (core dumped)

Can anyone help me solve the problem?

Thanks,
Duo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/panda-users/attachments/20210715/3cb5df54/attachment.html