Un modello integrato control-flow e data-flow per il rilevamento ...

2.1. Modelli control flow 11
con una coppia (si, pi). Ogni evento contiene due informazioni e in particolare la
chiamata di sistema che è stata eseguita e il punto del programma dal quale è stata
eseguita.
L’automa è rappresentabile come un grafo G = (V ∪ {end}, E = V × V × L)
e, dati due eventi consecutivi (si, pi) e (si+1, pi+1) di una traccia di lunghezza k, la
costruzione avviene nel seguente modo:
• per 0 ≤ i ≤ k: V = V ∪ {pi}
• per 0 ≤ i ≤ k: E = E ∪ {(pi, pi+1, si)}
• infine: E = E ∪ {(pk, end, sk)}
L’idea dietro a questo automa è che per passare da uno stato ad un altro del pro-
gramma deve avvenire una transizione causata da una chiamata di sistema. In-
tuitivamente, questa costruzione porta quindi ad un automa in cui gli stati sono
etichettati con il punto del programma dal quale viene eseguita la system call e gli
archi con la chiamata di sistema coinvolta nella transizione. Vediamo un esempio.
1 void f(int cond)
2 {
3 open();
4 if (cond % 2)
5 read();
6 else
7 write();
8 close();
9 }
10
11 int main(void)
12 {
13 int i = 3;
14 while (i--)
15 f(i);
16 }
La traccia di una esecuzione del programma d’esempio sarebbe la seguente:
(open, 3), (write, 7), (close, 8), (open, 3), (read, 5),
(close, 8), (open, 3), (write, 7), (close, 8)