sa-tests-db: toky dat ve statické analýze
Zjistěte, jak analýza toků dat a meziprocedurální přístup umožňují statickému analyzátoru splnit ruský státní standard R 71207-2024 na sa-tests-db. Podrobnosti o data-flow, control-flow a hybridní schémě pro C, Java, Python.
