我正在使用 SOOT 框架进行一些静态分析。但是,有时分析需要几个小时,我想设置一个超时来停止分析并继续使用另一个程序。
为了实现这种行为,我在一个线程中运行分析:
thread = new Thread(new Runnable() { run(){ buildCallgraph(); } )};
!!buildCallgraph() 方法由 SOOT 提供,我没有机会更改它。!!
目前我不知道如何停止线程。中断不起作用,因为 buildCallgraph() 从不检查它的线程是否已被中断。不应使用 Thread.stop()。
那么,有没有人知道如何终止线程?
问候罗伯特