Static Analysis of Information Systems for IoT Cyber Security: A Survey of Machine Learning Approaches | Synapse