1. A method for extracting functional semantics and isolated dataflow from imperative object oriented languages, comprising: identifying, by a processor, one or more methods and classes associated with one or more of a plurality of property labels in a computer code written in object oriented language to extract functional and isolation characteristics in the computer code, the plurality of property labels supported by one or more checking rules; and applying, by a processor, the one or more checking rules to verify that the one or more methods identified with the plurality of property labels have isolation characteristics.