下列衍生工具属于嵌入式衍生工具的是（ ）。