add unsafe-finder tool#369

patricklam wants to merge 8 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

patricklam:unsafe-finder-toolpatricklam/verify-rust-std:unsafe-finder-toolCopy head branch name to clipboard