[SOLVED] Answer the questions in this file after running AFL and IKOS on the

$25

File Name: Answer_the_questions_in_this_file_after_running_AFL_and_IKOS_on_the.zip
File Size: 631.14 KB

5/5 - (1 vote)

Answer the questions in this file after running AFL and IKOS on the
all the C programs. The questions are organized into two parts: Part A
concerns with the performance of the tools on programs,
and Part B concerns with the nature of the tools itself.

Copyright By Assignmentchef assignmentchef

Part A: Follow the below instructions to fill in the table below.

Each of the C programs contains zero or more division instructions.

First, inspect the code of each program, and fill in its ground truth
(right/wrong) in the Ground Truth column:

right if the program does not contain any divide-by-zero errors.
wrong if the program contains a divide-by-zero error.

Next, refer to the logs of each analyzers run on each program, and fill
in its result (accept/reject) in the respective column:

accept if your analyzer does not report any divide-by-zero errors.
reject if your analyzer reports a divide-by-zero error.

Lastly, use the above computed results to calculate Precision, Recall,
and F-Measure scores for each analyzer on this suite of programs.

===========================================================================
| Program | Ground Truth| AFL| IKOS Interval | IKOS DBM |
|=========================================================================|
| test0.c | || ||
| test1.c | || ||
| test2.c | || ||
| test3.c | || ||
| test4.c | || ||
| test5.c | || ||
| test6.c | || ||
| test7.c | || ||
| test8.c | || ||
| test9.c | || ||
|=========================================================================|
| Precision | | | | |
| Recall| | | | |
| F-measure | | | | |
===========================================================================

Part B: Answer the below questions. Provide short
explanations to justify your answers.

Question 1: From the given programs, can AFL be a sound analysis? Can it be complete?

Question 2: From the given programs, can IKOS interval be a sound analysis? Can it be complete?

Question 3: From the given programs, can IKOS DBM be a sound analysis? Can it be complete?

Question 4: What are the pros and cons of using the Interval versus DBM
domains in IKOS to find divide-by-zero errors?Comment
on both the accuracy and cost of the analyzer under these two domains.

CS: assignmentchef QQ: 1823890830 Email: [email protected]

Reviews

There are no reviews yet.

Only logged in customers who have purchased this product may leave a review.

Shopping Cart
[SOLVED] Answer the questions in this file after running AFL and IKOS on the
$25