secure-software-engineering の追跡中のオープンソースリポジトリを、スター数順に表示します。
FlowDroid静的データフロー追跡ツール
LLVMベースの静的解析フレームワーク。