結果 : techniques used by static code analysis tools is interface analysis