sa-tests-db : flux de données dans l'analyse statique
Découvrez comment l'analyse de flux de données et l'approche interprocédurale permettent à l'analyseur statique de valider la Norme nationale russe R 71207-2024 sur sa-tests-db. Détails sur le flux de données, le flux de contrôle et le schéma hybride pour C, Java, Python.
