173
Voted
PLDI
2003
ACM
16 years 18 hour ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...