Class: ProPolice

A GCC patch. Protection of stack allocated variables by rearranging the local variables so that char buffers always are allocated at the bottom, next to the old base pointer, where they cannot overflow or harm any other local variables. (Wil05)

•owl:Thing

•sec:Countermeasure

•sec:MemoryProtection

•Canary-BasedTool

•ProPolice

•CompilerPatch

•ProPolice

Super Classes

sec:protects SOME sec:_Stack

sec:protects ONLY (sec:_Prevention AND sec:_Integrity AND sec:_Stack)

CompilerPatch

Canary-BasedTool

Annotations

dc:source

http://wiki.x.org/wiki/ProPolice

Abstract Syntax

Class(ProPolice partial restriction(sec:protects someValuesFrom(sec:_Stack))
                       restriction(sec:protects allValuesFrom(intersectionOf(sec:_Prevention
                                                                             sec:_Integrity
                                                                             sec:_Stack)))
                       CompilerPatch
                       Canary-BasedTool)

Generated with OWLDoc