read-write-set-dynamic 0.3.2

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