Documentation

---

The following documentation is included with the SAFECode source code and are available here for reference.

• SAFECode Installation Guide
  This manual contains directions for installing the SAFECode memory safety compiler.


• SAFECode Users Guide
  This manual contains directions for how to use the SAFECode memory safety compiler.

Should you have any questions not answered by the documentation, please ask! You can always reach us on the SVA Developer's Mailing List.