結果 : dynamic code analysis tools for embedded systems