read-write-set-dynamic 0.3.0

Read/write set inference for Move bytecode programs by concretizing the static analysis result
Documentation 
1
2
3
4
5
6
7
8
9

// Copyright (c) The Diem Core Contributors
// Copyright (c) The Move Contributors
// SPDX-License-Identifier: Apache-2.0

mod dynamic_analysis;
mod normalize;

pub use dynamic_analysis::{ConcretizedFormals, ConcretizedSecondaryIndexes};
pub use normalize::NormalizedReadWriteSetAnalysis;