A. True
B. False
Explanation: Static analysis techniques are system verification techniques that don’t involve executing a program.
A. Asset
B. Control
C. Vulnerability
D. None of the mentioned
Explanation: The answer is self explanatory.
A. Storage management faults
B. Data Faults
C. Input/Output Faults
D. Interface faults
A. Hazard avoidance
B. Damage limitation
C. Hazard detection
D. Hazard detection and removal
Explanation: The system may include protection features that minimize the damage that may result from an accident.
A. Check that the input does not exceed some maximum size e.g. 40 characters for a name
B. Check that the input falls within a known range
C. Use information about the input to check if it is reasonable rather than an extreme value
D. None of the mentioned
A. Different programming languages
B. Different design methods and tools
C. Explicit specification of different algorithms
D. All of the mentioned
Explanation: Diversity means to provide the same functionality in different ways so that critical components of a dependable system will not fail in the same way.
A. True
B. False
Explanation: The static analyzer can discover areas of vulnerability such as buffer overflows or unchecked inputs