运行时验证（rv）工具

rv 工具为一组运行时验证（rv）监视器提供接口。