いくつかの静的分析に SOOT フレームワークを使用しています。ただし、分析に数時間かかる場合があり、タイムアウトを設定して分析を停止し、別のプログラムで続行したい場合があります。
そのような動作を実現するために、スレッドで分析を実行します。
thread = new Thread(new Runnable() { run(){ buildCallgraph(); } )};
!! buildCallgraph() メソッドは SOOT によって提供されており、変更する機会がありません。!!
現在、スレッドを停止する方法がわかりません。buildCallgraph() はスレッドが中断されたかどうかを決してチェックしないため、Interrupt は機能しません。Thread.stop() は使用しないでください。
では、スレッドを終了する方法を知っている人はいますか?
よろしくロバート