KomaEc / crown

Ownership analysis that helps translating C to Rust

analysis-algorithms analysis-framework rust static-analysis

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

About

Ownership analysis that helps translating C to Rust

analysis-algorithms analysis-framework rust static-analysis

Languages

Language:Rust 74.8%Language:C 13.9%Language:Shell 3.6%Language:C++ 2.6%Language:Roff 2.0%Language:Makefile 1.7%Language:TeX 0.7%Language:CMake 0.3%Language:Python 0.2%Language:XSLT 0.0%Language:Tcl 0.0%Language:Vim Script 0.0%Language:Go 0.0%Language:CSS 0.0%Language:Lua 0.0%Language:Perl 0.0%Language:Starlark 0.0%Language:M4 0.0%