結果 : linear static analysis examples