30 citations · 55 across the 6 of their papers we have counts for
1 paper · 1 filter
Liyi Li, Arunkumar Bhattar, Le Chang +2
Spatial memory safety violation is still a major issue for C programs. Checked-C is a safe dialect of C and extends it with Checked pointer types and annotations that guarantee spa…