Creating a safer, greener, more secure future.

SAFECRC Checker: Verify Program Memory

Guard against corruption and malicious attack by confirming the correctness of your program memory.

SAFECRC Checker is a CRC Verification Kernel Function, a module that verifies the integrity of Read-Only Memory of an executable binary against a checksum embedded within the binary. After compiling the Kernel and Application code, a utility is used to generate a Checksum for each Read-only Memory Region and is inserted into the executable binary.

At run-time, the CRC Verification Kernel Function executes as a Task, continuously passing the Memory Regions to a CRC Algorithm which generates a Checksum which is compared to the Checksum inserted into the binary after it was compiled. If the Checksums don’t match, then the Application is notified of the failure through a callback function and using the Reassurance Kernel Feature.

Ask Us a Question

For pricing, licensing, or any other sales or product related questions, please contact us.

Ask us a question