1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
use move_binary_format::{
access::ModuleAccess,
binary_views::BinaryIndexedView,
errors::{verification_error, Location, PartialVMResult, VMResult},
file_format::{AbilitySet, CompiledModule, StructFieldInformation, TableIndex},
IndexKind,
};
use move_core_types::vm_status::StatusCode;
pub fn verify_module(module: &CompiledModule) -> VMResult<()> {
verify_module_impl(module).map_err(|e| e.finish(Location::Module(module.self_id())))
}
fn verify_module_impl(module: &CompiledModule) -> PartialVMResult<()> {
let view = BinaryIndexedView::Module(module);
for (idx, struct_def) in module.struct_defs().iter().enumerate() {
let sh = module.struct_handle_at(struct_def.struct_handle);
let fields = match &struct_def.field_information {
StructFieldInformation::Native => continue,
StructFieldInformation::Declared(fields) => fields,
};
let required_abilities = sh
.abilities
.into_iter()
.map(|a| a.requires())
.fold(AbilitySet::EMPTY, |acc, required| acc | required);
let type_parameter_abilities = sh
.type_parameters
.iter()
.map(|_| AbilitySet::ALL)
.collect::<Vec<_>>();
for field in fields {
let field_abilities = view.abilities(&field.signature.0, &type_parameter_abilities)?;
if !required_abilities.is_subset(field_abilities) {
return Err(verification_error(
StatusCode::FIELD_MISSING_TYPE_ABILITY,
IndexKind::StructDefinition,
idx as TableIndex,
));
}
}
}
Ok(())
}