Recommendations
SAFECode: enforcing alias analysis for weakly typed languages
Proceedings of the 2006 PLDI ConferenceStatic analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized pointers, and array bounds overflow. We describe a compilation strategy ...
SAFECode: enforcing alias analysis for weakly typed languages
PLDI '06: Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and ImplementationStatic analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized pointers, and array bounds overflow. We describe a compilation strategy ...






Comments