RVT是工具/库的集合，以支持Rust程序的静态和动态验证。-Rust开发 （143个子文件） 
AUTHORS 314B AUTHORS 314B AUTHORS 314B AUTHORS 302B AUTHORS 302B build 1KB build_googletest 174B build_klee 916B pthread.c 3KB seahorn.c 1KB posix_memalign.c 796B memrchr.c 597B bar.c 73B Dockerfile 2KB Dockerfile 2KB Dockerfile 2KB Dockerfile 2KB Dockerfile 597B Dockerfile 417B .dockerignore 554B Gemfile 106B .gitignore 120B .gitignore 22B .gitignore 17B .gitignore 17B .gitignore 10B .gitignore 6B .gitignore 4B init 454B LICENSE-APACHE 11KB LICENSE-APACHE 11KB LICENSE-APACHE 11KB LICENSE-APACHE 11KB LICENSE-APACHE 11KB LICENSE-MIT 1KB LICENSE-MIT 1KB LICENSE-MIT 1KB LICENSE-MIT 1KB LICENSE-MIT 1KB Gemfile.lock 7KB Makefile 891B Makefile 878B 2020-12-11-using-ffi.md 15KB 2021-04-01-using-seahorn.md 14KB 2020-09-02-using-annotations.md 13KB 2020-09-01-using-klee.md 12KB 2021-03-29-klee-status.md 11KB about.md 11KB 2021-05-15-verifying-vectorized-code2.md 10KB 2021-03-12-profiling-rust.md 10KB 2020-09-03-using-propverify.md 10KB 2021-03-20-verifying-vectorized-code.md 9KB 2021-05-19-fixing-bottlenecks.md 8KB 2020-09-09-using-argv.md 6KB tools.md 5KB README.md 5KB 2020-09-07-install-crux.md 4KB index.md 3KB README.md 2KB README.md 2KB CHANGELOG.md 1KB CONTRIBUTING.md 1KB CONTRIBUTING.md 1KB CONTRIBUTING.md 1KB CONTRIBUTING.md 1KB CONTRIBUTING.md 1KB README.md 847B CHANGELOG.md 679B README.md 607B README.md 514B CHANGELOG.md 467B howto-blog.md 366B using-klee.md 89B mkimage 2KB old-cargo-verify 29KB
profiling-regex.png 334KB regression-test 1KB lib.rs 35KB strategy.rs 31KB main.rs 29KB main.rs 15KB klee.rs 11KB run_tools.rs 10KB klee.rs 8KB tests.rs 7KB seahorn.rs 5KB main.rs 5KB collections.rs 4KB seahorn.rs 4KB mod.rs 4KB crux.rs 3KB utils.rs 3KB dynamic.rs 3KB traits.rs 3KB main.rs 3KB lib.rs 2KB backends_common.rs 2KB main.rs 2KB main.rs 2KB compose.rs 2KB共 143 条
- 1
- 2
资源评论
