Home

Herman ten Brugge

This package adds full, fine-grained array bounds and pointer checking to GCC (C only). The level of checking is similar to, and in some respects exceeds, that of languages like Pascal and Modula-2.


Project Members: