safec  3.0
Safe C Library - ISO TR24731 Bounds Checking Interface
Data Structures
Here are the data structures with brief descriptions: