Specialized Static Analysis tools for more secure and safer IoT software development (ver.2)

The source code (top level documentation) of the prototype static analysis tools developed in task 1.3, including the definition of Data Formats and Protocols, updates and adaptation of existing Libraries and SW components, the Persistent Monitor outline and documentation, and features description and documentation of the Compiler & Linker Extension. This is D1.3 revised version set (ver.2) in M30.