Monthly Archives: May 2014

ICSE 2014 – Atlas: A New Way to Explore Software, Build Analysis Tools

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 […]

Categories: Papers