Дипломная работа: Оценка возможностей применения инструментов статического анализа в учебном процессе для проверки решений задач по программированию

Исходный текст программы на C++:

#include <iostream>

#include <stdlib.h>

#include <time.h>

#include <string>

using namespace std;

bool razd (char s)

{ if ( s==' ' || s==',' || s==';' || s=='.' ||s=='?' ||s=='!' || s==':')

return(true);

else return(false);

}

string del(string s, int n)

{ int i=0; string sl;

for (int j=0;j<=n;j++)

{

while(razd(s[i]))

i++;

if (j==n-1)

while (!razd(s[i]) && i<s.length())

{

s.erase(i,1);

}

while (!razd(s[i]) && i<s.length() )

i++;

}

return(s);

}

int main()

{

string s;

getline(cin,s);

int n;

cin>>n;

cout<<del(s,n);

return(0);

}

Рисунок 11 - Результаты статического анализа программы на C++