<div dir="ltr"><div>Hi Andrew,</div><div><br></div><div>Through ldd, I see the lib you mentioned. I think I need to open an issue on github. BTW, which PANDA version do you use right now? Could I try your current version?</div><div><br></div><div>Thanks,</div><div>Duo<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 19, 2021 at 11:18 AM Andrew Fasano <<a href="mailto:fasano@mit.edu">fasano@mit.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Have you tried apt install libz3-dev? Perhaps the install_ubuntu.sh script missed that one for some reason.<div><br></div><div>If you run `ldd /home/duo/qemu/panda/build/x86_64-softmmu/panda/plugins/panda_taint2.so` you'll see all the libraries that shared object is trying to load, on my system I have <span style="color:rgb(56,58,66);background-color:rgb(250,250,250);font-family:"Cascadia Code",monospace;font-size:10pt;white-space:pre-wrap">libz3.so.4 => /lib/x86_64-linux-gnu/libz3.so.4 </span>which provides the symbol you're missing. That's the library you'll need to install.</div><div><br></div><div>If that doesn't help, please <a href="https://github.com/panda-re/panda/issues/new/choose" target="_blank">open an issue</a> on our Github and provide some additional details about what os/version you're running and how you installed panda.</div><div>Or you can just use our docker container which has PANDA set up and ready to use: <a href="https://hub.docker.com/r/pandare/panda" target="_blank">https://hub.docker.com/r/pandare/panda</a>.</div><div><br></div><div>Andrew</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 19, 2021 at 11:56 AM Duo Zhang <<a href="mailto:duozhang@iastate.edu" target="_blank">duozhang@iastate.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hi Andrew,</div><div><br></div><div>Thanks for your replay. I tried install_ubuntu.sh script to install panda, and also success. However, the error still persists when I use the file_taint. My experiment is based on this one: <a href="https://github.com/panda-re/panda/issues/607" target="_blank">https://github.com/panda-re/panda/issues/607</a></div><div><br></div><div>Thanks,</div><div>Duo<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 19, 2021 at 8:52 AM Andrew Fasano <<a href="mailto:fasano@mit.edu" target="_blank">fasano@mit.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi Duo,<div><br></div><div>It looks like you're missing a library for the Z3 SAT solver used by the taint plugin. I suspect the missing package is libz3-dev - can you try installing that from apt if you don't have it already?</div><div><br></div><div>If you're using Ubuntu, did you set up PANDA with our install_ubuntu.sh script? If so, that should have automatically set up all the dependencies for you (by installing the packages listed in the panda/dependencies/[os name:version]_*.txt files). If you used the install script and still ran into this issue we might have a bug in that script that we should fix.</div><div><br></div><div>Cheers,</div><div>Andrew</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jul 15, 2021 at 4:06 PM Duo Zhang <<a href="mailto:duozhang@iastate.edu" target="_blank">duozhang@iastate.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><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> failed to read task.start_time_offset<br>PANDA[osi_linux]:W> failed to read task.switch_task_hook_addr<br>PANDA[osi_linux]:W> 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>
_______________________________________________<br>
panda-users mailing list<br>
<a href="mailto:panda-users@mit.edu" target="_blank">panda-users@mit.edu</a><br>
<a href="http://mailman.mit.edu/mailman/listinfo/panda-users" rel="noreferrer" target="_blank">http://mailman.mit.edu/mailman/listinfo/panda-users</a><br>
</blockquote></div>
</blockquote></div>
</blockquote></div>
</blockquote></div>