Class: CCured

Research project, an extension of the C programming language, prevents improper usage of pointers.

•owl:Thing
        •sec:Countermeasure
                •sec:MemoryProtection
                        •BoundaryCheckingTool
                                •CLanguageDialect
                                        •CCured

Super Classes

sec:employedAt HAS sec:AtWriteTime
CLanguageDialect
sec:protects SOME sec:_Heap
sec:protects SOME sec:_Stack
sec:protects ONLY (sec:_Stack OR sec:_Heap)

Annotations

dc:sourcehttp://portal.acm.org/ft_gateway.cfm%3Fid%3D503286%26type%3Dpdf%26dl%3Dportal%26dl%3DACM%26CFID%3D11111111%26CFTOKEN%3D2222222

Abstract Syntax

Class(CCured partial restriction(sec:employedAt value(sec:AtWriteTime))
                    CLanguageDialect
                    restriction(sec:protects someValuesFrom(sec:_Heap))
                    restriction(sec:protects someValuesFrom(sec:_Stack))
                    restriction(sec:protects allValuesFrom(unionOf(sec:_Stack
                                                                   sec:_Heap))))
Generated with OWLDoc