C code of BesFS

[StanPlatinum]

Big fan, great work!

You mentioned a manual line-by-line translation of our machine-checked Coq implementation to C code in the Usenix Security paper. I wonder if you can share it in this repo?

Also, can you also release the hand-crafted test suite of around 687 test cases in the 40 test-driver C programs that make a series of filesystem calls? We are very interested in these tests. Can they be a test suite of Iago attack?

Many thanks!