Subscribe

Tag: safety

  • Do complexity metrics predict bugs? No. Measure them anyway.

    ,
    Do complexity metrics predict bugs? No. Measure them anyway.

    A complex code base is a business risk. By the end of this post, you’ll know which metrics to measure, which thresholds to set, and how to defend them in a review. There are good objections against code metrics, and one of them is surprisingly true: they don’t predict defects. What they predict is effort.…

  • 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…