Crown (WIP)

Crown 是一个针对不安全 Rust 代码（通常是来自 C 代码的翻译）的拥有权分析工具，由论文 cav23 描述。它具有可选的重构功能，可在 'artifact' 分支中找到。

先决条件

brew install pkg-config openssl cmake

有关如何构建/使用该工具的完整说明，请参阅 artifact 分支