tree-borrows

Soteria Rust是一个用于验证Rust程序的符号执行工具，它使用OCaml的垃圾回收器来管理其Tree Borrows别名模型的内存，实现了10倍的加速，并将时间复杂度从二次降低到线性。