#1698: Investigate SAFECode
----------------------+-----------------------------------------------------
Reporter: petdance | Owner:
Type: cage | Status: new
Priority: normal | Milestone:
Component: none | Version: 2.5.0
Severity: medium | Keywords:
Lang: | Patch:
Platform: |
----------------------+-----------------------------------------------------
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)
--
Ticket URL: <https://trac.parrot.org/parrot/ticket/1698>
Parrot <https://trac.parrot.org/parrot/>
Parrot Development
_______________________________________________
parrot-tickets mailing list
[email protected]
http://lists.parrot.org/mailman/listinfo/parrot-tickets
