Static detection of logic flaws in service-oriented applications