-
Notifications
You must be signed in to change notification settings - Fork 0
/
BiblioMath.json
102 lines (100 loc) · 7.2 KB
/
BiblioMath.json
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
93
94
95
96
97
98
99
100
101
102
{
"udl-SC_version" : "1.0",
"name" : "SafeMath",
"creation_date":"2020-06-23",
"Business Perspective": {
"Legal":{ "name": "Ricardian contract" , "type":"gouvernemental" ,"link":"https://www.federalreserve.gov/" ,"description" : "Approved by regulator and financial institutions"},
"QOS":{ "service level": { "latency": "6ms", "gasConsomation": "171", "ContractGasPrice":"124171"},
"Princing" :{" Gaslimit": "124000", "tokenPrice": "234.56 USD"},
"security" : {"signed": "", "tested": "", "link":"", "description" : ""}
},
"participants" : {
"provider":"0x4B20993Bc481177ec7E8f571ceCaE8A9e22C02db",
"FutureUserType":"both"
},
"sc characteristics ":{
"documentational characteristics":{ "used compiler":"0.8.4+commit.c7e474f2",
"usedRessources":"",
"abi" :[
{
"inputs": [
{
"internalType": "uint256",
"name": "a",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "b",
"type": "uint256"
}
],
"name": "safeAdd",
"outputs": [
{
"internalType": "uint256",
"name": "c",
"type": "uint256"
}
],
"stateMutability": "pure",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "a",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "b",
"type": "uint256"
}
],
"name": "safeSub",
"outputs": [
{
"internalType": "uint256",
"name": "c",
"type": "uint256"
}
],
"stateMutability": "pure",
"type": "function"
}
],
"deployed byte code" : {
"generatedSources": [],
"linkReferences": {},
"object": "608060405234801561001057600080fd5b5061026c806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c8063a293d1e81461003b578063e6cb90131461006b575b600080fd5b610055600480360381019061005091906100f6565b61009b565b6040516100629190610141565b60405180910390f35b610085600480360381019061008091906100f6565b6100be565b6040516100929190610141565b60405180910390f35b6000828211156100aa57600080fd5b81836100b691906101b2565b905092915050565b600081836100cc919061015c565b9050828110156100db57600080fd5b92915050565b6000813590506100f08161021f565b92915050565b6000806040838503121561010957600080fd5b6000610117858286016100e1565b9250506020610128858286016100e1565b9150509250929050565b61013b816101e6565b82525050565b60006020820190506101566000830184610132565b92915050565b6000610167826101e6565b9150610172836101e6565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156101a7576101a66101f0565b5b828201905092915050565b60006101bd826101e6565b91506101c8836101e6565b9250828210156101db576101da6101f0565b5b828203905092915050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b610228816101e6565b811461023357600080fd5b5056fea26469706673582212205a170824353065015990b611ffa98c26339bdcee13c7fa843790c42b3426548d64736f6c63430008040033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x26C DUP1 PUSH2 0x20 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0xA293D1E8 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0xE6CB9013 EQ PUSH2 0x6B JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x55 PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x50 SWAP2 SWAP1 PUSH2 0xF6 JUMP JUMPDEST PUSH2 0x9B JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x62 SWAP2 SWAP1 PUSH2 0x141 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x85 PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x80 SWAP2 SWAP1 PUSH2 0xF6 JUMP JUMPDEST PUSH2 0xBE JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x92 SWAP2 SWAP1 PUSH2 0x141 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x0 DUP3 DUP3 GT ISZERO PUSH2 0xAA JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 DUP4 PUSH2 0xB6 SWAP2 SWAP1 PUSH2 0x1B2 JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 DUP4 PUSH2 0xCC SWAP2 SWAP1 PUSH2 0x15C JUMP JUMPDEST SWAP1 POP DUP3 DUP2 LT ISZERO PUSH2 0xDB JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0xF0 DUP2 PUSH2 0x21F JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x40 DUP4 DUP6 SUB SLT ISZERO PUSH2 0x109 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 PUSH2 0x117 DUP6 DUP3 DUP7 ADD PUSH2 0xE1 JUMP JUMPDEST SWAP3 POP POP PUSH1 0x20 PUSH2 0x128 DUP6 DUP3 DUP7 ADD PUSH2 0xE1 JUMP JUMPDEST SWAP2 POP POP SWAP3 POP SWAP3 SWAP1 POP JUMP JUMPDEST PUSH2 0x13B DUP2 PUSH2 0x1E6 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x156 PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x132 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x167 DUP3 PUSH2 0x1E6 JUMP JUMPDEST SWAP2 POP PUSH2 0x172 DUP4 PUSH2 0x1E6 JUMP JUMPDEST SWAP3 POP DUP3 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SUB DUP3 GT ISZERO PUSH2 0x1A7 JUMPI PUSH2 0x1A6 PUSH2 0x1F0 JUMP JUMPDEST JUMPDEST DUP3 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x1BD DUP3 PUSH2 0x1E6 JUMP JUMPDEST SWAP2 POP PUSH2 0x1C8 DUP4 PUSH2 0x1E6 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 LT ISZERO PUSH2 0x1DB JUMPI PUSH2 0x1DA PUSH2 0x1F0 JUMP JUMPDEST JUMPDEST DUP3 DUP3 SUB SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH2 0x228 DUP2 PUSH2 0x1E6 JUMP JUMPDEST DUP2 EQ PUSH2 0x233 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 GAS OR ADDMOD 0x24 CALLDATALOAD ADDRESS PUSH6 0x15990B611FF 0xA9 DUP13 0x26 CALLER SWAP12 0xDC 0xEE SGT 0xC7 STATICCALL DUP5 CALLDATACOPY SWAP1 0xC4 0x2B CALLVALUE 0x26 SLOAD DUP14 PUSH5 0x736F6C6343 STOP ADDMOD DIV STOP CALLER ",
"sourceMap": "244:266:0:-:0;;;;;;;;;;;;;;;;;;;"
},
"description" : "safe math to the addition and substraction a from b",
"hash":"0x109590fbaf582b9cff510119ac47f50a362da08fb3e36509cbf84b7ea7e5d7d8",
"metadata":""},
"common characteristics":{"type":"Application logic contracts (ALCs)",
"category":"static", "updateDate":"","state":"mutable","version":"^0.8.4", "initialBalance ": "0"
,"creationDate":"10/08/2022", "lifeCycle":"ready"}}},
"technical Perspective":{ "blockhain characteristics ":{ "name":"Ethereum", "type":"public", "consensus":"proof of stacke","currency":"ETH"},
"Protocol information":{ "adress":"0x4B20993Bc481177ec7E8f571ceCaE8A9e22C02db"}
},
"operationalPerspective":{
"Functions" : [
{"name": "safeAdd",
"Type": "public",
"scope" : "pure",
"description": "addition a and b ",
"inputs":[{"name": "a", "Type": "uint" },{"name": "b", "Type": "uint"}],
"outputs": [{"name": "c" , "Type": "uint" }]
},{"name": "",
"Type": "",
"scope" : "",
"description": "substraction a and b ",
"inputs":[{"name": "a", "Type": "uint" },{"name": "b", "Type": "uint"}],
"outputs": [{"name": "c" , "Type": "uint" }]
}],
"Events": [],
}