Class: Cyclone

Research project, a C dialect that prevents safety violations such as buffer overflows, dangling pointers, and format string attacks by replacing certain parts of ANSI C with safer versions. Pointer arithmetic is restricted. (Wil05)

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

Super Classes

sec:employedAt HAS sec:AtWriteTime
CLanguageDialect

Annotations

dc:sourcehttp://www.usenix.org/publications/library/proceedings/usenix02/full_papers/jim/jim_html/

Abstract Syntax

Class(Cyclone partial restriction(sec:employedAt value(sec:AtWriteTime))
                     CLanguageDialect)
Generated with OWLDoc