1

我正在尝试编写一个简单的 SGX 飞地，它接受一个布尔向量，但显然 edger8r 创建了 c 代码；所以edl代码

enclave{

  from "sgx_tstdc.edl" import *;
  include "BetaDist.h"
  include <vector>

  trusted {
         BetaDist Estimate(std::vector<bool> X, double max_z, double max_delta); 
  };

  untrusted {
  };
};

产生一个编译错误（有趣的是，英特尔编译器在标题“灾难性错误”下报告它）说vector找不到标头。

在我看来，这个问题可以通过使用 c++ 标志编译输出边缘代码来解决。那行得通吗？即使是这样，是否有更简洁的方法来做到这一点（即具有带有 C++ 标准类型参数的边缘函数）？

PS：我没有足够的代表来添加新标签，有人会用'edger8r'标记这个吗？我认为这会有所帮助。

4

1 回答 1

2

#include是不正确的 EDL 语法。不需要哈希 -include

ecalls 和 ocalls 中的参数必须是 C 类型 - 因此，vector不bool支持。

因为vector您需要将其转换为 C 类型（可能创建一个 struct 或 void 指针），然后传递一个指针及其长度。

对于bool，我猜，最好传递 anint来表示布尔值。

您还必须为指针指定特殊属性：

  • [in]- 如果你想将它复制到 enclave 中（你还需要指定它的长度）（也就是按值传递）
  • [out]- 如果你想从飞地复制回来
  • [user_check]- 最简单的选择 - 你只需传递一个指针，飞地就会读取和写入不受信任的内存。（又名通过指针）

不要忘记将参数转换回 C++ 类型！

于 2017-08-03T10:38:34.207 回答