Answered step by step
Verified Expert Solution
Link Copied!

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 image text in transcribed

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 ( x

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Database Design Application Development And Administration

Authors: Michael V. Mannino

4th Edition

0615231047, 978-0615231044

More Books

Students also viewed these Databases questions

Question

Understanding Group Leadership Culture and Group Leadership

Answered: 1 week ago