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

Dependability and Security 19/05/2021

A. True
B. False

Explanation: The static analyzer can discover areas of vulnerability such as buffer overflows or unchecked inputs

Related Mcqs:

    How many stages are there in Risk-driven requirements specification ?
    A. three B. four C. five D. six...
    POFOD stands for___________________?
    A. Possibility of failure of data B. Probability of failure of data C. Possibility of failure on demand D. Probability of failure on demand...
    Which of the following is a bad practice of Dependable programming ?
    A. Limit the visibility of information in a program B. Check array bounds C. Check all inputs for validity D. None of the mentioned...
    Which of the following is incorrect with respect to Model Checking ?
    A. Model checking is particularly valuable for verifying concurrent systems B. Model checking is computationally very inexpensive C. The model checker explores all possible paths through the model D. All of the mentioned...
    Which of the following is a technique covered in Static Analysis ?
    A. Formal verification B. Model checking C. Automated program analysis D. All of the mentioned...

Leave a Reply

Your email address will not be published. Required fields are marked *