HTTP/1.1 -1 Read error in cache disk data: SuccessContent-Type: text/csv; charset="utf-8" Last-Modified: Sat, 22 Jan 2022 03:17:26 GMT Content-length: 1167 Connection: Close Proxy-Connection: Close X-Cache: HIT from web1.osuosl.org Server: ProxyTrack 0.5 (HTTrack 3.49.2) id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc,lang,patch,platform 1698,Investigate SAFECode,petdance,,"http://safecode.cs.illinois.edu/ The purpose of the SAFECode project is to enable program safety without garbage collection and with minimal run-time checks using static analysis when possible and run-time checks when necessary. SAFECode defines a code representation with minimal semantic restrictions designed to enable static enforcement of safety, using aggressive compiler techniques developed in this project. SAFECode is designed to provide the following safety guarantees: * Array bounds checking (prevents pointers from overflowing from one memory object into another) * Loads and stores only access valid memory objects * Type safety for a subset of memory objects proven to be type-safe * Sound operational semantics in the face of dangling pointer errors (i.e., all safety guarantees hold even when dangling pointers are dereferenced). * Optional dangling pointer detection (induces more overhead) ",cage,new,normal,,none,2.5.0,medium,,,,,, ="application/