Unlocking the Power of Atlas: Introduction

Atlas analyzes codebases of tens of millions of lines, and this series teaches that analysis from import through a custom analyzer.

Atlas open on dswrite.c beside a call graph of Xinu from dswrite through getbuf, dskenq, dsinter, and dskqopt down to freebuf, with Atlas Shell evaluating a query on dreq_memory.

Atlas is a cutting-edge platform designed for fast and scalable software analysis. Capable of handling massive legacy codebases spanning tens of millions of lines, it has been successfully applied to areas like automatic porting, binary analysis, malware detection, and minimal patch generation. Trusted by organizations like the U.S. Department of Defense and commercial clients, Atlas empowers developers to uncover insights from complex codebases efficiently.

The “Unlocking the Power of Atlas” series is designed to introduce software analysts to Atlas-style analysis. It begins with an overview of importing a codebase into Atlas, followed by guidance on interacting with and analyzing the codebase. The series covers the basics of Atlas’s query language, explores standard analyses like Control Flow, Data Flow, and Call Graphs, and concludes with how to build a custom software analyzer in Atlas.

List of Articles

To explore Atlas, please visit https://www.ensoftcorp.com/products/atlas