По крайней мере, в последний раз, когда я проверял, он использовал тот, который шел с VC ++. Я полагаю, что вы можете купить библиотеку Dinkumware для нее отдельно, если вы действительно этого хотите (но Dinkumware поставляет библиотеку Microsoft, так что вы получаете другую версию, а не что-то радикально другое).