Applying correlation analysis methods to control flow violation detection in the internet of things | Synapse