ATLAS: Automated Tree-based Language Analysis System for C and C++ source programs
Authors: J. M. Chowdhury, A. F. S. Chowdhury, H. B. Monwar, & M. Naznin
Submitted at ACM International Conference on the Foundations of Software Engineering (FSE) - Tool Demo Track, 2026
ATLAS is a novel static analysis tool that addresses limitations of existing single-function program analysis tools by supporting whole-project scope for C and C++ programs. We designed algorithms for constructing statement-level Control Flow Graphs (CFGs) and Data Flow Graphs (DFGs) with support for inter-procedural analysis across function boundaries. The tool extends analysis capabilities from single-function to whole-project scope including multi-file support using Tree-sitter, enabling AST/CFG/DFG generation for large-scale C/C++ codebases.