FORMAL ANALYSIS OF THE QUALITY AND CONFORMANCE OF INFORMATION FLOW DOWNGRADERS

Mechanisms for evaluating downgrader code in application code with regard to one or more security guidelines are provided. Downgrader code in application code is identified, where the downgrader code is a portion of code in the application code that operates on an information flow of the application code to ensure confidentiality of information input to the downgrader code, in the output of the downgrader code. Processes of the downgrader code are evaluated against security guidelines to determine if the processes violate the security guidelines. A notification is generated in response to the evaluation indicating that the processes of the downgrader code violate the security guidelines. The notification is output to a computing device for consideration. L'invention concerne des mécanismes permettant d'évaluer un code de programme de déclassement dans un code d'application en ce qui concerne une ou plusieurs directives de sécurité. Un code de programme de déclassement inclus dans un code d'application est identifié, le code de programme de déclassement étant une partie de code dans le code d'application qui opère sur un flux d'informations du code d'application pour assurer une confidentialité des informations entrées dans le code de programme de déclassement, dans la sortie du code de programme de déclassement. Les processus du code de programme de déclassement sont évalués par rapport aux directives de sécurité afin de déterminer si les processus violent les directives de sécurité. Une notification est générée en réponse à l'évaluation indiquant que les processus du code de programme de déclassement violent les directives de sécurité. La notification est délivrée à un dispositif informatique pour examen.