結果 : three techniques used in static code analysis tools