An analysis framework for an imperative privacy-preserving programming language