add unsafe-finder tool#369

patricklam wants to merge 7 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

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