Lib.rs

› 关键词 #execution #symbolic #api-bindings #api #ktest #binaries #byte #parse

#klee

  1. klee-rs

    Rust 的安全 KLEE API

    v0.1.1 #symbolic #api #klee #execution #api-bindings

  2. ktest-parser

    解析 KTest 二进制文件 (.ktest)

    v0.1.1 #ktest #klee #byte #arguments #binaries #parse #object

  3. klee-bindings

    使用 bindgen 到 KLEE 库的原始绑定

    v0.1.0 #klee #test #verification #execution #symbolic