skcho

Found 466 issues

elina_zonotope/zonotope_meetjoin.c:29: error: NULL_DEREFERENCE
  pointer `tchange` last assigned on line 21 could be null and is dereferenced at line 29, column 7.
  27.   	    /* there is some inferred bounds */
  28.   	    for (i=0; i<res->dims; i++) {
  29. > 		if (tchange[2*i] || tchange[2*i + 1]) {
  30.   		    if (elina_interval_is_bottom(res->box[i])) {
  31.   			is_bottom = true;