Abstract:

Atlas is a new software analysis platform from EnSoft Corp. Atlas decouples the domain-specific analysis goal from its underlying mechanism by splitting analysis into two distinct phases. In the first phase, polynomial-time static analyzers index the software AST, building a rich graph database. In the second phase, users can explore the graph directly or run custom analysis scripts written using a convenient API. These features make Atlas ideal for both interaction and automation. In this paper, we describe the motivation, design, and use of Atlas. We present validation case studies, including the verification of safe synchronization of the Linux kernel, and the detection of malware in Android applications. Our ICSE 2014 demo explores the comprehension and malware detection use cases.

Venue: 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, May 31 – June 7, 2014

Authors: Tom Deering, Suresh Kothari, Jeremias Sauceda, Jon Mathews

Paper (PDF): Atlas-ICSE2014.pdf

Bibtex:
@inproceedings{Deering:2014:ANW:2591062.2591065,
author = {Deering, Tom and Kothari, Suresh and Sauceda, Jeremias and Mathews, Jon},
title = {Atlas: A New Way to Explore Software, Build Analysis Tools},
booktitle = {Companion Proceedings of the 36th International Conference on Software Engineering},
series = {ICSE Companion 2014},
year = {2014},
isbn = {978-1-4503-2768-8},
location = {Hyderabad, India},
pages = {588--591},
numpages = {4},
url = {http://doi.acm.org/10.1145/2591062.2591065},
doi = {10.1145/2591062.2591065},
acmid = {2591065},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Analysis platform, Human-in-the-loop, Static analysis},
}