Class: sec:SourceCodeAnalysis

•owl:Thing
        •sec:Countermeasure
                •sec:SourceCodeAnalysis

Super Classes

sec:protects SOME sec:_Correctness
sec:protects ONLY (sec:_Detection AND sec:_ProgramSourceCodeFile AND sec:_Correctness)
sec:protects SOME sec:_Detection
sec:Countermeasure
sec:employedAt HAS sec:AtWriteTime
sec:protects SOME sec:_ProgramSourceCodeFile

Annotations

dc:descriptionAka static code analysis Tools that statically analyse source or object code for problems, flag suspicious constructs in software (adapted from Wikipedia)

Abstract Syntax

Class(sec:SourceCodeAnalysis partial restriction(sec:protects someValuesFrom(sec:_Correctness))
                                    restriction(sec:protects allValuesFrom(intersectionOf(sec:_Detection
                                                                                          sec:_ProgramSourceCodeFile
                                                                                          sec:_Correctness)))
                                    restriction(sec:protects someValuesFrom(sec:_Detection))
                                    sec:Countermeasure
                                    restriction(sec:employedAt value(sec:AtWriteTime))
                                    restriction(sec:protects someValuesFrom(sec:_ProgramSourceCodeFile)))
Generated with OWLDoc