ソフトウェアを自動で細分化して安全性を向上。DARPAがツールの提案を募集(1/1)