provide an optimization to mitigate LVI vulnerabilities in SGX enclave code. The optimizations are described in more detail here:
A plugin that uses a Mixed Integer-Linear Programming (MILP) solver to achieve an optimal mitigation can be found here:
We plan to merge the passes soon. Reviews and feedback welcome.
Thanks and Regards,