A framework for the automatic security analysis of IoT device applications