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 をご覧下さい。