首页 文库资料 文章资讯  上传文档  发布文章  登录账户

分类

全部后端开发(1)Rust(1)

语言

全部中文（简体）(1)

格式

全部PDF文档 PDF(1)
 
本次搜索耗时 0.027 秒，为您找到相关结果约 1 个.

  • pdf文档 Rust API可靠性分析与验证

    libfuzzer)：分支覆盖率；用例程序的构造 符号执行(klee, angr)：路径爆炸；求解困难 静态分析(MirChecker, Rudra, SafeDrop)：分析特定问题；假阳性 形式化验证(RustBelt)：无法方便的验证第三方库 其他工具（Miri等）…..... Rust China Conf 2021 – 2022, Online, China API 测试用例合成 出错的API1
    0 码力 | 13 页 | 1.68 MB | 1 年前
    3
共 1 条
  • 1
前往
页
相关搜索词
RustAPI可靠可靠性分析验证