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

Name		Name	Last commit message	Last commit date
Latest commit History 1,280 Commits
benchmark		benchmark
c-code		c-code
crates		crates
crown-annotation @ b7d9fae		crown-annotation @ b7d9fae
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
Cargo.toml		Cargo.toml
README.md		README.md
analyse.sh		analyse.sh
build.rs		build.rs
check.sh		check.sh
find_entry.sh		find_entry.sh
preprocess.sh		preprocess.sh
rust-toolchain.toml		rust-toolchain.toml
rustfmt.toml		rustfmt.toml

KomaEc/crown

Folders and files

Latest commit

History

Repository files navigation

Crown (WIP)

Prerequisite

About

Topics

Resources

Stars

Watchers

Forks

Languages