Skip to content

DiuDiu777/UIG

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 

Repository files navigation

UIG

An anonymous repo for the paper of UIG

Quick Start

cd rap
git submodule update --init --recursive
./0-install-rap-rust.sh
./1-install-rap-cargo.sh

Usage

Enter your Rust project folder with a Cargo.toml file. If your project contains a rust-toolchain.toml file, we recommend disabling or removing it.

Anonymous hub may not be able to see the demo image directly, please download the raw file and follow the link to download the corresponding image.

generate upg

cargo rap -upg

Before using this feature, make sure that graphviz is installed on your device.

Then, our tool will generate all upgs in folder UPG

count uig

cargo rap -uig

check doc

cargo rap -doc

check unsafe constructors

cargo rap -ucons

About

An anonymous repo for the paper of UIG

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published