Lib.rs

› Cryptography › Magic Beans
#static-analysis #set #read-write #bytecode #inference #programs #blockchain

yanked read-write-set-dynamic

was by Wolfgang Grieskamp, Brandon Williams, Victor Gao, David Wolinsky, Sam Blackshear, Diem and 94 contributors. Owned by aptos-crates.

0.3.2 Aug 23, 2022
0.3.1 Aug 13, 2022
0.2.1 Jul 22, 2022
0.1.6 Jul 5, 2022
0.1.4 May 23, 2022

#47 in #static-analysis

22 downloads per month
Used in 111 crates (3 directly)

Apache-2.0

645KB
14K SLoC

Read/write set inference for Move bytecode programs by concretizing the static analysis result

Dependencies

~4MB
~67K SLoC