sa-tests-db: data flows in static analysis https://sudonull.com/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.
HydraScript: language with static typing and CGI for Docker https://sudonull.com/hydrascript-language-with-static-typing-and-cgi-for-docker
Overview of HydraScript — a programming language with static analysis and CGI scripting support for web development. Learn about the features and practical applications.
Elvis access modifier in C# — static access control https://sudonull.com/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.
LLM ensemble analyzes 1 Tim. 2:15 logic https://sudonull.com/llm-ensemble-analyzes-1-tim-2-15-logic
DeepSeek, Qwen, Grok ensemble detected contradictions in interpretations of the biblical text. Methodology, prompts, results for IT specialists. Study the approach to static analysis of legacy content.
Ontology Documentation Generator SimpleOntoDoc https://sudonull.com/ontology-documentation-generator-simpleontodoc
Create a static website for ontologies: classes, properties, UML diagrams, search. Integration into CI/CD for domain models. Developer's guide.