CCured
manju.cs.berkeley.eduSource-to-source translator for C, which analyzes the program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.