sa-tests-db: flujos de datos en análisis estático
Aprenda cómo el análisis de flujo de datos y el enfoque interprocedural permiten que el analizador estático apruebe la Norma Nacional Rusa R 71207-2024 en sa-tests-db. Detalles sobre data-flow, control-flow y esquema híbrido para C, Java, Python.