edger8r: Cannot import both "sgx_tprotected_fs.edl" and "sgx_tkey_exchange.edl"

[AArya2]

Consider the following enclave definition:

enclave
{
  from "sgx_tprotected_fs.edl" import *;
  from "sgx_tkey_exchange.edl" import *;

  trsuted
  {
    public sgx_status_t dance_securely();
  };

  untrusted
  {
  };
};

edger8r's output is an error message "detected circled import for `C:\Program Files (x86)\Intel\IntelSGXSDK\\include\sgx_tae_service.edl'"

[Juan_d_Intel · Accepted solution]

As a temporary workaround, please comment out the line "from "sgx_tae_service.edl" import *;" from either sgx_tprotected_fs.edl or sgx_tkey_exchange.edl.

We're trying to find a solution to this issue.

[AArya2]

Thank you Juan.

To me it seems that edger8r does not mark already imported enclaves off, and that causes problems when the dependency trees of two imported enclaves coincide. The little extension that I have written for edger8r that I use for my own programs doesn't seem to have that problem.

[Juan_d_Intel]

Your assessment is correct.

You may submit a PR with your changes to the edger8r.

[AArya2]

But the Windows SDK is not open source, is it?

[Juan_d_Intel]

No, the Windows SDK is not open source. I thought you had modified the edger8r source code.

Could you post your extension here?

Thanks.