sa-tests-db: przepływy danych w analizie statycznej
Dowiedz się, jak analiza przepływów danych i podejście międzyproceduralne pozwalają statycznemu analizatorowi przejść Rosyjską Normę Państwową R 71207-2024 na sa-tests-db. Szczegółowo o data-flow, control-flow i hybrydowym schemacie dla C, Java, Python.
