Atlasの力を引き出す: はじめに

Atlasは、高速でスケーラブルなソフトウェア解析のために設計された最先端のプラットフォームです。数千万行に及ぶ大規模なレガシーコードベースを扱うことができ、自動移植、バイナリ解析、マルウェア検出、最小パッチ生成などの分野で成功裏に適用されてきました。Atlasは、米国国防総省や民間のお客様のような組織から信頼されており、開発者が複雑なコードベースから効率的に知見を見つけられるようにします。

「Atlasの力を引き出す」シリーズは、ソフトウェア解析者にAtlas流の解析を紹介するためのものです。コードベースをAtlasにインポートする概要から始まり、続いてコードベースの操作と解析の手引きが続きます。本シリーズでは、Atlasのクエリ言語の基礎を扱い、制御フロー、データフロー、コールグラフなどの標準的な解析を取り上げ、Atlasで独自のソフトウェアアナライザを構築する方法で締めくくります。

記事一覧

1. コードベースのインポートとインデックス作成ガイド
2. Smart Viewsによる対話的なソフトウェア解析
3. ソフトウェア解析にAtlas Shellを活用する
4. Atlasクエリを理解する
5. 制御フローとデータフロー
6. コールグラフ
7. 独自のアナライザを書く — 1
8. 独自のアナライザを書く — 2

Atlasを詳しく見るには、https://www.ensoftcorp.com/products/atlasをご覧下さい。