“…When the platform starts, the compliance of the OS state with the configuration file, the structure of which is shown in Listing 2, is checked by a special library firmware module, which has been designed taking into account critical security requirements. Despite the importance of these requirements, they are often neglected [28]. When applied to the configuration file parser, the security requirements are quite simple: 1) When one passes any structure to a function, one should always pass not only a pointer to this structure, but also its size.…”