•owl:Thing |
•Asset |
•Countermeasure |
•SourceCodeAnalysis |
•Countermeasure |
•SourceCodeAnalysis |
protects ONLY (_Detection AND _ProgramSourceCodeFile AND _Correctness) |
employedAt HAS AtWriteTime |
protects SOME _Detection |
protects SOME _ProgramSourceCodeFile |
Countermeasure |
protects SOME _Correctness |
dc:description | Aka static code analysis Tools that statically analyse source or object code for problems, flag suspicious constructs in software (adapted from Wikipedia) |
Class(SourceCodeAnalysis partial restriction(protects allValuesFrom(intersectionOf(_Detection _ProgramSourceCodeFile _Correctness))) restriction(employedAt value(AtWriteTime)) restriction(protects someValuesFrom(_Detection)) restriction(protects someValuesFrom(_ProgramSourceCodeFile)) Countermeasure restriction(protects someValuesFrom(_Correctness)))