 Solution

Let $a(x)=\sigma (x)\sigma (x{)}^{\mathsf{T}}$. The multidimensional Itô formula gives the second-order diffusion generatorIndeed,The integrand is locally bounded along the continuous path after stopping on compact sets, because the coefficients and derivatives are continuous. Thus the final stochastic integral is a local martingale. No global growth or uniqueness assumption on this already-given weak solution of a stochastic differential equation is needed.