abstract-interpretation

6calore

1risposta

Calcolare raggiungibilità ad una funzione tramite l'analisi del valore di frama-c

Ecco il mio esempio: int in; int sum(int n){ int log_input = n; int log_global = in; return 0; } int main(){ int n = Frama_C_interval(-10, 10); in = n; if (n > 0){

c frama-c abstract-interpretation 2016-02-03

---