Software safety
Posts in 2026
-
Getting rid of Segmentation fault errors due to stack overflow in C++
Wednesday, January 07, 2026 in Software safety
January 7 at 14:53 2026 Developing the idea of a trusted programming language, I came to the conclusion that, through restrictions of the syntax and the creation of corresponding checks in the static code analyzer, it is possible to protect against …
Posts in 2025
-
Programming language guarantees as a basis for secure software development
Monday, November 10, 2025 in Software safety
Errors in composing programs for computers appeared even earlier than the very first programming languages were invented. Actually, programming languages were invented precisely so that programs would be written more simply, and the number of errors …