modifies sast, semcheck, types