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…