'Ranking false alarms' presentation slideshows

???? ???? Airac ? ?? ???

479 views • 19 slides

Airac Static Analyzer for Automatic Verification of Array Index Ranges in C Programs

Airac Static Analyzer for Automatic Verification of Array Index Ranges in C Programs. Airac. C ????? ????? ?? ?? ?? int *c = (int *)malloc(sizeof(int)*10); c[ i ] = 1; c[ i + f() ] = 1; c[ *k + (*g)() ] = 1; x = c; x[1] = 1; y = c + f(); y[*(y+1)] = 1;

141 views • 14 slides