| •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)))