Purely Technical Discussion: Memory-Safe Compilation Mode Inspired by Fil-C

[Sze]

Maybe DynamoRIO also has some interesting techniques, I wonder whether some of those could be adapted or serve as inspiration:

@Sze

I also think that something similar to DynamoRIO’s Program Shepherding could be useful:

Applying DynamoRIO to the security field resulted in a technique called program shepherding.[7] The program shepherding instrumentation monitors the origin of each program instruction and the control flow between instructions in order to prevent a security exploit from taking control of the program.

Secure Execution via Program Shepherding