CS 795: Midterm
Spring 2005
Mail to cmo by Mar. 1
1. (10 pts) Complete the homework from slide set 3, slide 11.
2. (15 pts) Find several commercial code analysis tools. Describe briefly what
they to. Bonus point for finding free academic tools from active research
projects.
/* 1 */ /* Sample code for slicing exercise. v. 2/21/05 */
/* 2 */ #include <iostream.h>
/* 3 */ void main()
/* 4 */ {
/* 5 */ const int reps=10;
/* 6 */ int i;
/* 7 */ int a, b, c, d;
/* 8 */ cin >> a;
/* 9 */ cin >> b;
/* 10 */
/* 11 */ c = 2*a + a*b;
/* 12 */ d = 3*a + b;
/* 13 */ for ( i=0; i<= reps; i++ )
/* 14 */ {
/* 15 */ if ( c < 0 )
/* 16 */ {
/* 17 */ a = 2*a;
/* 18 */ c = c+5;
/* 19 */ }
/* 20 */ else
/* 21 */ {
/* 22 */ c = 2*a + a*b;
/* 23 */ d = 3*a + b;
/* 24 */ }
/* 25 */ }
/* 26 */ cout << c << endl;
/* 27 */ }
3. (25 pts) For the provided program, let C=< 27, {c} >. To do this, for each
statement in the program, compute R0C(n), B0c(n), and S0c(n), INFL(n), along
with higher orders (R1C(n), etc.
