Subscribe

Tag: safety

  • Can your compiler prove your code is safe? A clear no.

    Can your compiler prove your code is safe? A clear no.

    No compiler will ever decide every safety question about your program. Alan Turing proved it in 1936, and every language picks its own way to live with that limit. By the end of this post, you will know why the limit exists, and how Static Analysis can help to build your safety case. A junior…

  • Type Safety: What Your Compiler Won’t Tell You

    Type Safety: What Your Compiler Won’t Tell You

    Most modern languages quietly convert types for you: an integer becomes a float, a signed value becomes unsigned, a 32-bit number squeezes into 8 bits. The compiler is not at fault, the language permits it. These implicit casts are valid code, and they are also a major source of bugs. By the end of this…