Merge pull request #77 from lxfind/id-leak-verifier

Add ID leak verifier
MystenLabs · Dec 22, 2021 · 202a854 · 202a854 · github-actions · Dec 22, 2021
2 parents a95b586 + 8b52d07
commit 202a854
Show file tree

Hide file tree

Showing 9 changed files with 695 additions and 7 deletions.
diff --git a/fastpay_core/src/authority.rs b/fastpay_core/src/authority.rs
@@ -401,7 +401,7 @@ impl AuthorityState {
         let object = self.object_state(&object_id)?;
         let lock = self
             .get_order_lock(&object.to_object_reference())
-            .or(Ok(&None))?;
+            .or::<FastPayError>(Ok(&None))?;
 
         Ok(AccountInfoResponse {
             object_id: object.id(),

diff --git a/fastx_programmability/verifier/Cargo.toml b/fastx_programmability/verifier/Cargo.toml
@@ -9,6 +9,7 @@ publish = false
 
 [dependencies]
 move-binary-format = { git = "https://github.com/diem/diem", rev="5572eae5e35407f10316b473f95cb155a5e8d40b" }
+move-bytecode-verifier = { git = "https://github.com/diem/diem", rev="5572eae5e35407f10316b473f95cb155a5e8d40b" }
 move-core-types = { git = "https://github.com/diem/diem", rev="5572eae5e35407f10316b473f95cb155a5e8d40b" }
 
 fastx-types = { path = "../../fastx_types" }