1.
Static Analysis involves executing a program ?

2.
Which of the following is a technique covered in Static Analysis ?

3.
Which of the following is incorrect with respect to Model Checking ?

4.
The records of each patient that is receiving or has received treatment resembles which security concept ?

5.
Select the disadvantage of using Formal methods ___________________?

6.
Choose the fault class in which the following automated static analysis check would fall:”Variables declared but never used”?

7.
Choose the fault class in which the following automated static analysis check would fall:”Non-usage of the results of functions”?

8.
Which level of Static Analysis allows specific rules that apply to a program to be checked ?

9.
Choose the fault class in which the following automated static analysis check would fall: “Unreachable code”?

10.
Static analysis is now routinely used in the development of many safety and security critical systems?