jkrshnmenon / arbiter

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

No targets for SA advanced

puzhuoliu opened this issue · comments

Hi, I'm having touble using Arbiter. I use the CWE190 check template in vul_templete to detect CWE190_s in the dataset, but it prompts "No targets for SA advanced" or "has no attribute 'apply_constraint'" or "watch dog killed".

commented

I have encountered the same problems while testing the pdfimages and objdump programs. I frequently receive "No targets for SA advanced" and "watch dog killed" errors, not only when testing on CWE190 but also on CWE337. Furthermore, while testing objdump with CWE131, the arbiter has remained at 80% progress, and I cannot determine whether it is running normally. Additionally, the process cannot be terminated, and the Docker container cannot be closed, forcing me to restart my computer to resolve the issue.