Facebook、抽象解釈ベースのコード解析ライブラリ「SPARTA」リリース
2019年2月24日(日)
Facebookは2月20日(現地時間)、抽象解釈ベースのコード解析ライブラリ「SPARTA」をオープンソースとしてリリースした。
抽象解釈を土台とし、簡単に高度な解析を実行できるツールを目指すという。
従来、抽象解釈ベースのツールの活用は高度な知識を必要とするため高い難度であったが、ソフトウェアコンポーネントはC++で構築され、抽象解釈の複雑な部分はカプセル化されており、抽象解釈の利用が簡単な操作でできるようになるという。
「SPARTA」はGitHubに公開されている。「SPARTA」はMac OS XおよびLinuxで利用でき、「Boost 1.58以上」が必要となる。
(川原 龍人/びぎねっと)
[関連リンク]
GitHub
その他のニュース
- 2024/11/8 JPCERT、侵入型ランサムウェア攻撃発生時に残るWindowsイベントログの特徴に関する記事を公開
- 2024/11/8 Androidアプリの統合開発環境「Android Studio」にAIを活用したコンパニオンを導入
- 2024/11/6 「curl 8.11.0」リリース
- 2024/11/6 Microsoft、システムツールセット「Microsoft PowerToys 0.86.0」リリース
- 2024/11/6 デスクトップ環境「LXQt 2.1.0」リリース
Think ITメルマガ会員登録受付中
Think ITでは、技術情報が詰まったメールマガジン「Think IT Weekly」の配信サービスを提供しています。メルマガ会員登録を済ませれば、メルマガだけでなく、さまざまな限定特典を入手できるようになります。
全文検索エンジンによるおすすめ記事
- 分散データストリーミングシステム「Apache Kafka 3」リリース
- 分散データストリーミングシステム「Apache Kafka 2.4」リリース
- 分散データストリーミングシステム「Apache Kafka 2.7」リリース
- 分散データストリーミングシステム「Apache Kafka 1.0」がリリース
- 分散データストリーミングシステム「Apache Kafka 1.0」がリリース
- 分散データストリーミングシステム「Apache Kafka 2.1」リリース
- 分散データストリーミングシステム「Apache Kafka 2.3」リリース
- 分散データストリーミングシステム「Apache Kafka 2.1.1」リリース
- 分散データストリーミングシステム「Apache Kafka 2.1.1」リリース
- メッセージングシステム「Apache Kafka 0.9.0」リリース