thalir-core 0.1.0

Core IR types and builders for ThalIR smart contract analysis
Documentation 
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

use crate::values::Value;
use serde::{Deserialize, Serialize};

#[derive(Debug, Clone, Serialize, Deserialize)]
pub enum EvmOp {
    GetTxOrigin,
    GetGasPrice,
    GetGasLeft,
    GetBlockHash(Value),
    GetChainId,
    GetBaseFee,
    SelfDestruct(Value),
    Log {
        topics: Vec<Value>,
        data: Value,
    },

    CreateContract {
        value: Value,
        code: Value,
        salt: Option<Value>,
    },

    ExternalCall {
        target: Value,
        value: Value,
        data: Value,
        gas: Option<Value>,
        call_type: ExternalCallType,
    },
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
pub enum ExternalCallType {
    Call,
    DelegateCall,
    StaticCall,
    CallCode,
}

#[derive(Debug, Clone, Serialize, Deserialize)]
pub enum TransferOp {
    Transfer {
        to: Value,
        amount: Value,
    },

    Send {
        to: Value,
        amount: Value,
        gas: Value,
    },

    SafeTransfer {
        to: Value,
        amount: Value,
    },
}

#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct InterfaceDefinition {
    pub name: String,
    pub functions: Vec<InterfaceFunction>,
}

#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct InterfaceFunction {
    pub selector: [u8; 4],
    pub name: String,
    pub inputs: Vec<crate::types::Type>,
    pub outputs: Vec<crate::types::Type>,
    pub state_mutability: StateMutability,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
pub enum StateMutability {
    Pure,
    View,
    NonPayable,
    Payable,
}

pub mod constants {

    pub const MAX_CODE_SIZE: usize = 24576;

    pub const MAX_CALL_DEPTH: u32 = 1024;

    pub const WORD_SIZE: usize = 32;

    pub const ADDRESS_SIZE: usize = 20;
}