The main purpose of this talk is to introduce some new results on first and second order necessary optimality conditions for local minimizers of stochastic optimal control problems with state constraints. The control may affect both the drift and the diffusion terms of the systems and the control regions are allowed to be nonconvex. Instead of needle variation, the variational analysis approach is used to teat the nonconvexitiy of the control constraints. A stochastic inward pointing condition is proposed to ensure the normality of the corresponding necessary conditions.