WebApp for Computing Static Slice (backward)

Instructions

Each instruction should be written in new line.


Following are the constraints:
1:  There is single main function.
2:  Only integer types, conditionals, loops are allowed.
3:  There are no other functions, types, constructs.
4:  Variable names should consist of only small/capital letters.
5:  The slicing criteria is provided as a printf() statement which appears last in main().

For control structures follow given syntax strictly:

if(COND)
{
   //statements;
}

if(COND)
{
   //statements;
}
else
{
  //statements;
}

for(INIT; COND; INC/DEC)
{
  //statements;
}


while(COND)
{
  //statements;
}

do
{
  //statements;
}while(COND);

Program Statements

Created by Manoj Kalaskar and Vijay Ghagre as part of CS6843 Program Analysis course.
Slice order
Final Slice
Sample Test Cases
Case 1

Case 2

Case 3

Case 4

Case 5

Case 6

Case 7

Case 8