AI-Powered Security Audits
For Move Contracts

1module example::token {
2    use std::signer;
3
4    struct Token has key {
5        balance: u64,
6    }
7
8    public fun transfer(
9        from: &signer,
10        to: address,
11        amount: u64
12    ) acquires Token {
13        let from_addr = signer::address_of(from);
14        let from_token = borrow_global_mut<Token>(from_addr);
15
16        // Potential integer overflow
17        from_token.balance = from_token.balance - amount;
18
19        let to_token = borrow_global_mut<Token>(to);
20        to_token.balance = to_token.balance + amount;
21    }
22
23    public fun mint(account: &signer, amount: u64) {
24        // Missing authorization check
25        let addr = signer::address_of(account);
26        move_to(account, Token { balance: amount });
27    }
28}