# Discussion on symbolic state evolve

In this lab will utilize Tree Diagram to show how symbolic state evolve in a program and then use Z3 to prove reachability.
Tree Diagram – Consider the code above, create a tree diagram that shows how the symbolic state evolves for every path through this code (similar to the one we did in class). This statement 2**z stands for 2z. Note that the last two statements in this code are executed at the end of each code path, regardless of which branches were taken. However, the value of z in these last statements depends on which path was taken before.

Symbolic Execution

Don't use plagiarized sources. Get Your Custom Essay on
Discussion on symbolic state evolve
Just from \$10/Page

# Tracking Symbolic State using Tree Diagram and proving recheability using z3 Constraint Solver

Lab Description: In this lab will utilize Tree Diagram to show how symbolic state evolve in a program and then use Z3 to prove reachability.

_________________________________________________

LAB EXERCISE:

Task 1: Tree Diagram – Consider the code above, create a tree diagram that shows how the symbolic state evolves for every path through this code (similar to the one we did in class). This statement 2**z stands for 2z. Note that the last two statements in this code are executed at the end of each code path, regardless of which branches were taken. However, the value of z in these last statements depends on which path was taken before. To capture this behavior in the tree, you have these two options:

1. Create a private copy of the last two statements for each path in your diagram
2. Merge all paths back together at these last statements and model the symbolic value of z with a conditional if-then-else expression that depends on the taken path.

Task 2: Use Z3 to figure out which of the calls to foo, bar, and baz are reachable in the listing from Task1.

## What to submit

Submit a copy of your tree diagram and screenshot of your Z3 code including the output of the models.

COSC 650                                                                     Project Fall 20

1. Run Wireshark to capture packets. Use a Mozilla Firefox browser to make a request to the Web server W at http://www.example.com.

Choose any 5 HTTP fields of interest in the each of the following captured HTTP packets sent during the connection to the server W at the above site.

• HTTP GET request
• HTTP 200 OK response

Briefly discuss why HTTP includes each of the fields you chose in the above packets.

1. Using Java sockets, write a client C, a second client C1, and a server S that do the following:
• The client C sends a GET request over TCP to the same Web server W as in Part 1 above. The request should be identical to the request that was sent to W by the Firefox browser
• The server S runs as localhost and listens for client requests on UDP port 12331
• After the client C receives all the HTTP data from the server W, it closes the TCP socket connection to server W
• It then sends all the data it received from server W to the server S listening as localhost on UDP port 12331
• The client C then prints the message: DATA SENT and closes the UDP socket to server S
• The server S prints all the HTTP data it received that was sent by the client C
• The second client C1 also connects to the server S on UDP port 12331 and sends it a message that has the following line:

CLIENT C1 SYSTEM TIME IS (it inserts the current system time)

• When the server S gets the above message from the client C1, it prints this message
• The server S then sends a message to client C1 that has the message: TIME ACK

When the client C1 receives the above message from the server S, it prints this message and closes the socket

2.10 The server S should create separate threads to handle client C and client C1 (both clients may be connected to the server at the same time).

## Get professional assignment help cheaply

Are you busy and do not have time to handle your assignment? Are you scared that your paper will not make the grade? Do you have responsibilities that may hinder you from turning in your assignment on time? Are you tired and can barely handle your assignment? Are your grades inconsistent?

Whichever your reason may is, it is valid! You can get professional academic help from our service at affordable rates. We have a team of professional academic writers who can handle all your assignments.

Our essay writers are graduates with diplomas, bachelor, masters, Ph.D., and doctorate degrees in various subjects. The minimum requirement to be an essay writer with our essay writing service is to have a college diploma. When assigning your order, we match the paper subject with the area of specialization of the writer.

## Why choose our academic writing service?

• Plagiarism free papers
• Timely delivery
• Skilled, Experienced Native English Writers
• Ability to tackle bulk assignments
• Reasonable prices

Basic features
• Free title page and bibliography
• Unlimited revisions
• Plagiarism-free guarantee
• Money-back guarantee
On-demand options
• Writer’s samples
• Part-by-part delivery
• Overnight delivery
• Copies of used sources
Paper format
• 275 words per page
• 12 pt Arial/Times New Roman
• Double line spacing
• Any citation style (APA, MLA, Chicago/Turabian, Harvard)

# Our guarantees

We value our customers and so we ensure that what we do is 100% original..
With us you are guaranteed of quality work done by our qualified experts.Your information and everything that you do with us is kept completely confidential.

### Money-back guarantee

You have to be 100% sure of the quality of your product to give a money-back guarantee. This describes us perfectly. Make sure that this guarantee is totally transparent.

### Zero-plagiarism guarantee

The Product ordered is guaranteed to be original. Orders are checked by the most advanced anti-plagiarism software in the market to assure that the Product is 100% original. The Company has a zero tolerance policy for plagiarism.

### Free-revision policy

The Free Revision policy is a courtesy service that the Company provides to help ensure Customer’s total satisfaction with the completed Order. To receive free revision the Company requires that the Customer provide the request within fourteen (14) days from the first completion date and within a period of thirty (30) days for dissertations.

The Company is committed to protect the privacy of the Customer and it will never resell or share any of Customer’s personal information, including credit card data, with any third party. All the online transactions are processed through the secure and reliable online payment systems.

### Fair-cooperation guarantee

By placing an order with us, you agree to the service we provide. We will endear to do all that it takes to deliver a comprehensive paper as per your requirements. We also count on your cooperation to ensure that we deliver on this mandate.

## Calculate the price of your order

550 words
We'll send you the first draft for approval by September 11, 2018 at 10:52 AM
Total price:
\$26
The price is based on these factors: