Crown (WIP)

Crown serves as an ownership analysis tool dedicated for unsafe Rust code (typically those translated from C code) described by the paper cav23. It has the optional functionality of refactoring, which can be found in the 'artifact' branch.

Prerequisite

brew install pkg-config openssl cmake

For an old version with full instructions on how to build/use the tool, please check out the artifact branch