Denote $$X_t = \int^t_0\sigma e^{-k(t-s)}dW_s$$ here $W_s$ is the Brownian motion, $k,\sigma$ are constants.
I want to calculate $d X_t$ and the variance $Var[X_t].$ I know how to take the derivatives of a integral with parameters, but don't know how to deal with this stochastic integral.