A theory for decades of C vulnerabilities

Appendix II: A Theory of Semantic Invariants - From C Vulnerabilities to Memory-Safe Language Design The missing concept The central argument of this book can be expressed in a single idea: A semantic invariant is a property that must remain true about a value, object, or relationship throughout the execution of a program if the program is to continue operating on the intended data and memory. C is full of such invariants. A variable called `length` may be intended to represent the number of byt