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