search

RiS3-Lab / OAT-Project

Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
Apache License 2.0
13 stars 7 forks source link

oei_attest_begin #1

Closed boofish closed 3 years ago

boofish commented 3 years ago

Hello, I am very interested in OAT and I think it is a great job. However, I encounter some difficulties when reproducing the work. When I try to attest an operation function main() at oat-test/test-sensitive-variables by using ( #oei_attest_begin , #oei_attest_end) tag, it seems it does not work as expected. In practice, the compiler will report an error. Any ideas?

sunzc commented 3 years ago

You can refer to this example and replace #oei_attest_begin with cfv_init(); and #oei_attest_end with cfv_quote();.

boofish commented 3 years ago

Thank you very much, I got it!