+ handle driver execution (abort analysis)