Articles by tag: static-analysis

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.

Elvis access modifier in C# — static access control

How Elvis modifier ensures strict, compiler access control to private members in C#. Real examples, limitations and best practices for senior developers.