結果 : techniques used by static code analysis tools is