Quantum Program Analysis