ATLAS: Automated Tree-based Language Analysis System for C and C++ source programs

TL;DR

ATLAS is a Python tool that creates multi-view graph representations of C/C++ code, enabling effective analysis of non-compilable projects and improving test coverage with high accuracy.

Contribution

It introduces a novel, scalable approach for analyzing non-compilable C/C++ code using multi-view graphs, supporting partial analysis and graph optimizations.

Findings

Achieves up to 96.80% CFG success rate and 91.38% DFG success rate.

Increases line coverage by 34.71% and branch coverage by 32.66% in test generation.

Performs comparably or better than KLEE on complex projects.

Abstract

Analyzing non-compilable C/C++ submodules without a resolved build environment remains a critical bottleneck for industrial software evolution. Traditional static analysis tools often fail in these scenarios due to their reliance on successful compilation, while Large Language Models (LLMs) lack the structural context necessary to reason about complex program logic. We introduce ATLAS, a Python-based CLI that generates unified multi-view representations for large-scale C/C++ projects with high accuracy, achieving success rates up to 96.80% for CFGs and 91.38% for DFGs. ATLAS is characterized by: (i) inter-procedural, type-aware analysis across function boundaries; (ii) support for both full and partial analysis of non-compilable projects; (iii) graph optimizations such as variable collapsing and node blacklisting; and (iv) synchronized multi-view graphs that align syntax, execution paths, and data-flow logic. Evaluating ATLAS with DeepSeek V3.2 for automated test generation demonstrates a 34.71% increase in line coverage and 32.66% in branch coverage, matching or exceeding the performance of the symbolic execution tool KLEE on complex projects. With polynomial scalability, ATLAS provides a robust infrastructure for generating the information-dense datasets required by next-generation, graph-aware ML4SE models. Video demonstration: https://youtu.be/QGuJZhj9CTA Tool github repository: https://github.com/jaid-monwar/ATLAS-multi-view-code-representation-tool.git