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.
brew install pkg-config openssl cmakeFor an old version with full instructions on how to build/use the tool, please check out the artifact branch