結果 : tools for static and dynamic code analysis