я анализирую программу управления со следующей структурой: unsigned int cnt=0;
unsigned int inc=3;
...
void main(){
int i;
int lim;
for(i=0;i<100000;i++)
{
f1();
....
lim = f2();
Я работаю над плагином для Frama-C, используя Value-analysis. Я просто хочу напечатать состояние переменных (значений) после каждого утверждения (я думаю, что решение тихое, но я не мог понять это). Я
Я разрабатываю Frama-C-Plugin, это должно печатать значения переменных после каждого утверждения. В Frama-C-Gui, в закладке Values, я могу видеть значения анализа по всей программе и после различных в