'Pools pool1' diaporamas de présentation

Introduction to SAFECode

Introduction to SAFECode. SAFECODE is a memory safety checking compiler Features static and runtime checks that try to verify that code is memory-safe Part of the SVA infrastructure http:// sva.cs.illinois.edu/ Uses LLVM compiler technology http://llvm.org Provides the basis for our work.

247 views • 13 slides