sa-tests-db: data flows in static analysis
Learn how data flow analysis and interprocedural approach allow the static analyzer to pass Russian National Standard R 71207-2024 on sa-tests-db. Details on data-flow, control-flow, and hybrid scheme for C, Java, Python.
