andreasfertig/cppinsights
Cppinsights
cppinsights est un outil de visualisation de compilateur C++ et d'analyse statique qui utilise le frontend Clang pour parser le code source en un arbre de syntaxe abstraite (AST). Il fonctionne comme un transformateur source-à-source, réécrivant le code C++ pour rendre explicites et visibles les comportements implicites du compilateur et les opérations cachées.
L'outil est spécialisé dans le dépliage de constructions complexes, comme l'expansion des mécanismes internes des coroutines pour visualiser la logique de suspension et de reprise. Il révèle également le code réel généré lors de l'instanciation de templates et transforme les actions implicites du compilateur, y compris les liaisons structurées et les fonctions membres spéciales, en représentations sources explicites.
Ses capacités incluent la résolution des directives using et la génération de cartes structurelles pour les hiérarchies d'héritage de classes C++.
Features
- C++ Source-to-Source Transformers - Rewrites original C++ code into an expanded version by replacing implicit compiler operations with explicit statements.
- AST-to-Source Generators - Produces explicit source representations by traversing the Clang abstract syntax tree to reflect lowered language semantics.
- Compiler Behavior Visualizers - Visualizes how a C++ compiler interprets source code by expanding implicit operations into explicit, readable code.
- Coroutine Machinery Visualizations - Transforms implicit coroutine suspension and resumption machinery into explicit representations for better understanding.
- C# Compilers - Transforms C++ source code into explicit representations to reveal hidden compiler operations.
- C++ Source-to-Source Translators - Rewrites C++ code to make implicit compiler behaviors and hidden operations explicit and visible.
- Compiler-Integrated AST Parsing - Uses the Clang compiler frontend to parse C++ source code into abstract syntax trees for deep structural inspection.
- Compiler Behavior Visualizations - Translates hidden compiler behaviors like upcasts and generated functions into visible code representations.
- Implicit Compiler Action Expansions - Reveals hidden compiler actions like special member functions and implicit conversions through explicit source transformations.
- C/C++ Static Analysis Tools - Analyzes C++ source code to visualize class hierarchies and expand implicit language constructs.
- Coroutine Operation Expansions - Transforms implicit coroutine machinery into explicit representations to show suspension and resumption handling.
- Template Instantiation Debugging - Reveals the actual code generated during the C++ template instantiation process.
- Compiler Internals Education - Facilitates studying the internal workings of C++ by showing exactly how the compiler transforms high-level syntax.
- Inheritance Visualizers - Generates structural maps of inheritance to visualize the organization and relationships between classes.
- Using Statement Resolutions - Expands using statements that bring functions or members from base classes into the current class scope.
- Structured Binding Expansions - Converts structured binding declarations into equivalent explicit operations to reveal implicit decomposition.
- Débogage et traçage - Shows source code as the compiler sees it.
