| 0.3.2 |
|
|---|---|
| 0.3.1 |
|
| 0.2.1 |
|
| 0.1.6 |
|
| 0.1.4 |
|
#62 in #static-analysis
Used in 113 crates
(3 directly)
645KB
14K
SLoC
Read/write set inference for Move bytecode programs by concretizing the static analysis result
Dependencies
~4MB
~67K SLoC