Code-Qualität

Tools that check source code against formal rules without executing it — based on a syntax tree (AST) and control-flow graph. They work deterministically and exhaustively, unlike probabilistic LLMs.