Class: sec:StackOverflow

•owl:Thing
        •sec:Threat
                •sec:ActiveAttack
                        •sec:MalformedInput
                                •sec:BufferOverflow
                                        •sec:StackOverflow

Super Classes

sec:threatens ONLY (sec:_Integrity AND sec:_Stack)
sec:threatens SOME (sec:_Integrity AND sec:_Stack)
sec:BufferOverflow
sec:enabledByVulnerability SOME sec:MissingInputValidation
sec:ifSuccessfulLeadsToThreat ONLY (sec:MaliciousCode OR sec:Usurpation)
sec:enabledByVulnerability SOME sec:UseOfVulnerableProgrammingLanguage

Disjoint Classes

sec:PingOfDeath, sec:HeapOverflow

Abstract Syntax

Class(sec:StackOverflow partial restriction(sec:threatens allValuesFrom(intersectionOf(sec:_Integrity
                                                                                      sec:_Stack)))
                               restriction(sec:threatens someValuesFrom(intersectionOf(sec:_Integrity
                                                                                       sec:_Stack)))
                               sec:BufferOverflow
                               restriction(sec:enabledByVulnerability someValuesFrom(sec:MissingInputValidation))
                               restriction(sec:ifSuccessfulLeadsToThreat allValuesFrom(unionOf(sec:MaliciousCode
                                                                                               sec:Usurpation)))
                               restriction(sec:enabledByVulnerability someValuesFrom(sec:UseOfVulnerableProgrammingLanguage)))

DisjointClasses(sec:StackOverflow sec:PingOfDeath
                                  sec:HeapOverflow)

Usage

Class Description/Definition (Necessary Conditions)

sec:FormatStringMisuse
Generated with OWLDoc