Type safe secure logging

A computing platform, comprising:

• at least one processor;
• a communication interface communicatively coupled to the at least one processor;
• and
• memory storing computer-readable instructions that, when executed by the at least one processor, cause the computing platform to:
• receive application code comprising one or more calls to one or more logging methods;
• compile the application code comprising the one or more calls to the one or more logging methods to produce a compiled software application;
• during the compiling of the application code comprising the one or more calls to the one or more logging methods, enforce one or more type-based secure logging rules on the application code comprising the one or more calls to the one or more logging methods;
• and
• store the compiled software application.

One or more non-transitory computer-readable media storing instructions that, when executed by a computing platform comprising at least one processor, memory, and a communication interface, cause the computing platform to:

• receive application code comprising one or more calls to one or more logging methods;
• compile the application code comprising the one or more calls to the one or more logging methods to produce a compiled software application;
• during the compiling of the application code comprising the one or more calls to the one or more logging methods, enforce one or more type-based secure logging rules on the application code comprising the one or more calls to the one or more logging methods;
• and
• store the compiled software application.