SGX Enclave:执行游行的实际功能以及编译方式

时间:2017-11-03 23:35:09

标签: c linux bash intel sgx

在阅读了大量文档之后,我做了第一个简单的飞地功能:

enclave {
     //Include files 

     //Import other edl files

     //Data structure declarations to be used as parameters of the
     //function prototypes in edl

     trusted {
          public function myFirstMethod([in]  int *a, [in]  int *b,[out] int *sum);
     };

     untrusted {
     };
};

然后通过bash运行edger8r:

sgx_edger8r enclave.edl

然后它会生成以下文件,您可以看到模式:

Generated files

所以我假设在enclave_t.c之上的某个位置我找到的唯一参考是这个函数:

static sgx_status_t SGX_CDECL sgx_myFirstMethod(void* pms)
{
    CHECK_REF_POINTER(pms, sizeof(ms_myFirstMethod_t));
    ms_myFirstMethod_t* ms = SGX_CAST(ms_myFirstMethod_t*, pms);
    sgx_status_t status = SGX_SUCCESS;
    int* _tmp_a = ms->ms_a;
    size_t _len_a = sizeof(*_tmp_a);
    int* _in_a = NULL;
    int* _tmp_b = ms->ms_b;
    size_t _len_b = sizeof(*_tmp_b);
    int* _in_b = NULL;

    CHECK_UNIQUE_POINTER(_tmp_a, _len_a);
    CHECK_UNIQUE_POINTER(_tmp_b, _len_b);

    if (_tmp_a != NULL) {
        _in_a = (int*)malloc(_len_a);
        if (_in_a == NULL) {
            status = SGX_ERROR_OUT_OF_MEMORY;
            goto err;
        }

        memcpy(_in_a, _tmp_a, _len_a);
    }
    if (_tmp_b != NULL) {
        _in_b = (int*)malloc(_len_b);
        if (_in_b == NULL) {
            status = SGX_ERROR_OUT_OF_MEMORY;
            goto err;
        }

        memcpy(_in_b, _tmp_b, _len_b);
    }
    ms->ms_retval = myFirstMethod(_in_a, _in_b);
err:
    if (_in_a) free(_in_a);
    if (_in_b) free(_in_b);

    return status;
}

特别是

    ms->ms_retval = myFirstMethod(_in_a, _in_b);

但是myFirstMethod放在哪里?另外,我将如何将我的安全区编译为应用程序的一部分作为静态库。

我搜索的内容是theese链接中的教程:

所有提到的Visual Studio本身都没有在GNU / Linux上运行,因此对我来说有点难度。

编辑1:

进一步观察我在https://github.com/01org/linux-sgx看到我可以在模拟模式下编译,因为链接提到:

make SGX_MODE=SIM

我成功地安装了driversdk。我想编译SIMULATION模式而不是真实模式。

2 个答案:

答案 0 :(得分:1)

Dimitris首先检查此列表中是否有兼容的硬件 https://github.com/ayeks/SGX-hardware

然后尝试克隆运行此repo https://github.com/digawp/hello-enclave

这将有助于您了解它的工作原理

答案 1 :(得分:1)

edger8r的自动生成输出仅用于提供飞地和不受信任的外部世界之间的接口。它们不应该包含您的实现。

您应该在另一个源文件中定义myFirstMethod,例如enclave.cenclave.cpp,并将其与项目的其余部分相关联。函数的签名正是你在edl中声明的,除了指针限定符,edger8r要使用它。

它会是这样的:

enclave.cpp:

void myFirstMethod(int *a, int *b, int *sum)
{
  *sum = *a + *b;
}