Lib.rs

› 密码学 › 神奇豆
#static-analysis #set #read-write #bytecode #inference #programs #blockchain

已删除 read-write-set-dynamic

由 Wolfgang Grieskamp，Brandon Williams，Victor Gao，David Wolinsky，Sam Blackshear，Diem 及 94 位贡献者 贡献。 所有者： aptos-crates。

0.3.2 2022年8月23日
0.3.1 2022年8月13日
0.2.1 2022年7月22日
0.1.6 2022年7月5日
0.1.4 2022年5月23日

#47 在 #static-analysis 中

每月 22 次下载
用于 111 个 包（直接使用 3 个）

Apache-2.0

645KB
14K SLoC

通过具体化静态分析结果，对 Move 字节码程序进行读写集推断

依赖关系

~4MB
~67K SLoC