Answered step by step
Verified Expert Solution
Question
1 Approved Answer
I need the answer as soon as possible Problem 4: Soundness and completeness for static code analysis In lecture 4, we discussed these two terms
I need the answer as soon as possible
Problem 4: Soundness and completeness for static code analysis In lecture 4, we discussed these two terms briefly: Soundness: If the program contain an error (of the kind the analysis tool is intended to detect), the analysis tool will report an error. Completeness: If the program does not contain an error, the analysis tool will not report any errors. a. A false alarm occurs when a tool reports an error, but the program the tool is analyzing does not contain an error. Can a tool that reports a false alarm be sound? Complete? b. Suppose a company sets up an Android app marketplace for its employees. The company is going to use an analysis tool to check apps for security vulnerabilities before it promotes them to its employees. Which tool property is critical to the company for this purpose: soundness or completeness? c. Theoretically, suppose a tool is both sound and complete. When the tool is used to analyze the following code that may contain a vulnerability, what property of the loop determines whether the tool will report an error? d. e. f. g: h. int main() { int x = 0; while ( xStep by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started