boundschecking-开源

这个包向 GCC（仅限 C）添加了完整的、细粒度的数组边界和指针检查。 检查的级别类似于并在某些方面超过了 Pascal 和 Modula-2 等语言的级别。