Branch data Line data Source code
1 : : // Copyright (c) 2009-2010 Satoshi Nakamoto
2 : : // Copyright (c) 2009-present The Bitcoin Core developers
3 : : // Distributed under the MIT software license, see the accompanying
4 : : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
5 : :
6 : : #include <script/script.h>
7 : :
8 : : #include <crypto/common.h>
9 : : #include <crypto/hex_base.h>
10 : : #include <hash.h>
11 : : #include <uint256.h>
12 : : #include <util/hash_type.h>
13 : :
14 : : #include <string>
15 : :
16 : 312968 : CScriptID::CScriptID(const CScript& in) : BaseHash(Hash160(in)) {}
17 : :
18 : 10568745 : std::string GetOpName(opcodetype opcode)
19 : : {
20 [ + + + + : 10568745 : switch (opcode)
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + + +
+ + + +
+ ]
21 : : {
22 : : // push value
23 : 1416 : case OP_0 : return "0";
24 : 2 : case OP_PUSHDATA1 : return "OP_PUSHDATA1";
25 : 4 : case OP_PUSHDATA2 : return "OP_PUSHDATA2";
26 : 3 : case OP_PUSHDATA4 : return "OP_PUSHDATA4";
27 : 9210 : case OP_1NEGATE : return "-1";
28 : 34129 : case OP_RESERVED : return "OP_RESERVED";
29 : 115059 : case OP_1 : return "1";
30 : 67518 : case OP_2 : return "2";
31 : 84475 : case OP_3 : return "3";
32 : 25559 : case OP_4 : return "4";
33 : 19932 : case OP_5 : return "5";
34 : 10676 : case OP_6 : return "6";
35 : 7877 : case OP_7 : return "7";
36 : 133705 : case OP_8 : return "8";
37 : 22491 : case OP_9 : return "9";
38 : 11287 : case OP_10 : return "10";
39 : 70361 : case OP_11 : return "11";
40 : 14324 : case OP_12 : return "12";
41 : 46739 : case OP_13 : return "13";
42 : 13289 : case OP_14 : return "14";
43 : 20054 : case OP_15 : return "15";
44 : 14036 : case OP_16 : return "16";
45 : :
46 : : // control
47 : 1514386 : case OP_NOP : return "OP_NOP";
48 : 15016 : case OP_VER : return "OP_VER";
49 : 18974 : case OP_IF : return "OP_IF";
50 : 16599 : case OP_NOTIF : return "OP_NOTIF";
51 : 17979 : case OP_VERIF : return "OP_VERIF";
52 : 28301 : case OP_VERNOTIF : return "OP_VERNOTIF";
53 : 173860 : case OP_ELSE : return "OP_ELSE";
54 : 26741 : case OP_ENDIF : return "OP_ENDIF";
55 : 45617 : case OP_VERIFY : return "OP_VERIFY";
56 : 89994 : case OP_RETURN : return "OP_RETURN";
57 : :
58 : : // stack ops
59 : 21743 : case OP_TOALTSTACK : return "OP_TOALTSTACK";
60 : 22640 : case OP_FROMALTSTACK : return "OP_FROMALTSTACK";
61 : 41393 : case OP_2DROP : return "OP_2DROP";
62 : 11234 : case OP_2DUP : return "OP_2DUP";
63 : 46589 : case OP_3DUP : return "OP_3DUP";
64 : 14676 : case OP_2OVER : return "OP_2OVER";
65 : 27272 : case OP_2ROT : return "OP_2ROT";
66 : 24097 : case OP_2SWAP : return "OP_2SWAP";
67 : 23571 : case OP_IFDUP : return "OP_IFDUP";
68 : 21594 : case OP_DEPTH : return "OP_DEPTH";
69 : 15004 : case OP_DROP : return "OP_DROP";
70 : 48581 : case OP_DUP : return "OP_DUP";
71 : 179801 : case OP_NIP : return "OP_NIP";
72 : 13861 : case OP_OVER : return "OP_OVER";
73 : 15729 : case OP_PICK : return "OP_PICK";
74 : 19044 : case OP_ROLL : return "OP_ROLL";
75 : 29967 : case OP_ROT : return "OP_ROT";
76 : 134734 : case OP_SWAP : return "OP_SWAP";
77 : 16795 : case OP_TUCK : return "OP_TUCK";
78 : :
79 : : // splice ops
80 : 13084 : case OP_CAT : return "OP_CAT";
81 : 392654 : case OP_SUBSTR : return "OP_SUBSTR";
82 : 55782 : case OP_LEFT : return "OP_LEFT";
83 : 96190 : case OP_RIGHT : return "OP_RIGHT";
84 : 11636 : case OP_SIZE : return "OP_SIZE";
85 : :
86 : : // bit logic
87 : 18548 : case OP_INVERT : return "OP_INVERT";
88 : 55476 : case OP_AND : return "OP_AND";
89 : 15020 : case OP_OR : return "OP_OR";
90 : 14326 : case OP_XOR : return "OP_XOR";
91 : 202267 : case OP_EQUAL : return "OP_EQUAL";
92 : 47469 : case OP_EQUALVERIFY : return "OP_EQUALVERIFY";
93 : 15669 : case OP_RESERVED1 : return "OP_RESERVED1";
94 : 13186 : case OP_RESERVED2 : return "OP_RESERVED2";
95 : :
96 : : // numeric
97 : 16184 : case OP_1ADD : return "OP_1ADD";
98 : 9976 : case OP_1SUB : return "OP_1SUB";
99 : 13308 : case OP_2MUL : return "OP_2MUL";
100 : 9853 : case OP_2DIV : return "OP_2DIV";
101 : 12872 : case OP_NEGATE : return "OP_NEGATE";
102 : 10328 : case OP_ABS : return "OP_ABS";
103 : 15640 : case OP_NOT : return "OP_NOT";
104 : 84084 : case OP_0NOTEQUAL : return "OP_0NOTEQUAL";
105 : 15284 : case OP_ADD : return "OP_ADD";
106 : 14993 : case OP_SUB : return "OP_SUB";
107 : 15482 : case OP_MUL : return "OP_MUL";
108 : 63492 : case OP_DIV : return "OP_DIV";
109 : 20265 : case OP_MOD : return "OP_MOD";
110 : 53815 : case OP_LSHIFT : return "OP_LSHIFT";
111 : 16018 : case OP_RSHIFT : return "OP_RSHIFT";
112 : 52822 : case OP_BOOLAND : return "OP_BOOLAND";
113 : 24265 : case OP_BOOLOR : return "OP_BOOLOR";
114 : 24996 : case OP_NUMEQUAL : return "OP_NUMEQUAL";
115 : 18113 : case OP_NUMEQUALVERIFY : return "OP_NUMEQUALVERIFY";
116 : 20052 : case OP_NUMNOTEQUAL : return "OP_NUMNOTEQUAL";
117 : 26025 : case OP_LESSTHAN : return "OP_LESSTHAN";
118 : 12416 : case OP_GREATERTHAN : return "OP_GREATERTHAN";
119 : 468118 : case OP_LESSTHANOREQUAL : return "OP_LESSTHANOREQUAL";
120 : 13720 : case OP_GREATERTHANOREQUAL : return "OP_GREATERTHANOREQUAL";
121 : 27047 : case OP_MIN : return "OP_MIN";
122 : 99394 : case OP_MAX : return "OP_MAX";
123 : 33253 : case OP_WITHIN : return "OP_WITHIN";
124 : :
125 : : // crypto
126 : 14752 : case OP_RIPEMD160 : return "OP_RIPEMD160";
127 : 23240 : case OP_SHA1 : return "OP_SHA1";
128 : 13382 : case OP_SHA256 : return "OP_SHA256";
129 : 219779 : case OP_HASH160 : return "OP_HASH160";
130 : 16699 : case OP_HASH256 : return "OP_HASH256";
131 : 24626 : case OP_CODESEPARATOR : return "OP_CODESEPARATOR";
132 : 134123 : case OP_CHECKSIG : return "OP_CHECKSIG";
133 : 47457 : case OP_CHECKSIGVERIFY : return "OP_CHECKSIGVERIFY";
134 : 754892 : case OP_CHECKMULTISIG : return "OP_CHECKMULTISIG";
135 : 191371 : case OP_CHECKMULTISIGVERIFY : return "OP_CHECKMULTISIGVERIFY";
136 : :
137 : : // expansion
138 : 28359 : case OP_NOP1 : return "OP_NOP1";
139 : 141622 : case OP_CHECKLOCKTIMEVERIFY : return "OP_CHECKLOCKTIMEVERIFY";
140 : 19662 : case OP_CHECKSEQUENCEVERIFY : return "OP_CHECKSEQUENCEVERIFY";
141 : 16522 : case OP_NOP4 : return "OP_NOP4";
142 : 30194 : case OP_NOP5 : return "OP_NOP5";
143 : 15156 : case OP_NOP6 : return "OP_NOP6";
144 : 12792 : case OP_NOP7 : return "OP_NOP7";
145 : 18237 : case OP_NOP8 : return "OP_NOP8";
146 : 12707 : case OP_NOP9 : return "OP_NOP9";
147 : 19622 : case OP_NOP10 : return "OP_NOP10";
148 : :
149 : : // Opcode added by BIP 342 (Tapscript)
150 : 10971 : case OP_CHECKSIGADD : return "OP_CHECKSIGADD";
151 : :
152 : 122340 : case OP_INVALIDOPCODE : return "OP_INVALIDOPCODE";
153 : :
154 : 3139180 : default:
155 : 3139180 : return "OP_UNKNOWN";
156 : : }
157 : : }
158 : :
159 : 25779721 : unsigned int CScript::GetSigOpCount(bool fAccurate) const
160 : : {
161 : 25779721 : unsigned int n = 0;
162 [ + + ]: 25779721 : const_iterator pc = begin();
163 : 25779721 : opcodetype lastOpcode = OP_INVALIDOPCODE;
164 [ + + ]: 158345646 : while (pc < end())
165 : : {
166 : 133121006 : opcodetype opcode;
167 [ + + ]: 133121006 : if (!GetOp(pc, opcode))
168 : : break;
169 [ + + ]: 132565925 : if (opcode == OP_CHECKSIG || opcode == OP_CHECKSIGVERIFY)
170 : 733183 : n++;
171 [ + + ]: 131832742 : else if (opcode == OP_CHECKMULTISIG || opcode == OP_CHECKMULTISIGVERIFY)
172 : : {
173 [ + + + + ]: 1416785 : if (fAccurate && lastOpcode >= OP_1 && lastOpcode <= OP_16)
174 : 1700 : n += DecodeOP_N(lastOpcode);
175 : : else
176 : 1415085 : n += MAX_PUBKEYS_PER_MULTISIG;
177 : : }
178 : : lastOpcode = opcode;
179 : : }
180 : 25779721 : return n;
181 : : }
182 : :
183 : 3160 : unsigned int CScript::GetSigOpCount(const CScript& scriptSig) const
184 : : {
185 [ + + ]: 3160 : if (!IsPayToScriptHash())
186 : 346 : return GetSigOpCount(true);
187 : :
188 : : // This is a pay-to-script-hash scriptPubKey;
189 : : // get the last item that the scriptSig
190 : : // pushes onto the stack:
191 [ + + ]: 2814 : const_iterator pc = scriptSig.begin();
192 : 2814 : std::vector<unsigned char> vData;
193 [ + + ]: 34155 : while (pc < scriptSig.end())
194 : : {
195 : 33279 : opcodetype opcode;
196 [ + - + + ]: 33279 : if (!scriptSig.GetOp(pc, opcode, vData))
197 : : return 0;
198 [ + + ]: 31434 : if (opcode > OP_16)
199 : : return 0;
200 : : }
201 : :
202 : : /// ... and return its opcount:
203 : 876 : CScript subscript(vData.begin(), vData.end());
204 [ + - ]: 876 : return subscript.GetSigOpCount(true);
205 : 3690 : }
206 : :
207 : 2665607 : bool CScript::IsPayToAnchor() const
208 : : {
209 [ + + ]: 2665607 : return (this->size() == 4 &&
210 [ + + + + ]: 145220 : (*this)[0] == OP_1 &&
211 [ + + + + ]: 9862 : (*this)[1] == 0x02 &&
212 [ + + + + : 2675461 : (*this)[2] == 0x4e &&
+ + ]
213 [ + + + + ]: 4328 : (*this)[3] == 0x73);
214 : : }
215 : :
216 : 5513 : bool CScript::IsPayToAnchor(int version, const std::vector<unsigned char>& program)
217 : : {
218 : 9656 : return version == 1 &&
219 [ + + ]: 4143 : program.size() == 2 &&
220 [ + + + + ]: 8281 : program[0] == 0x4e &&
221 [ + + ]: 1686 : program[1] == 0x73;
222 : : }
223 : :
224 : 28872057 : bool CScript::IsPayToScriptHash() const
225 : : {
226 : : // Extra-fast test for pay-to-script-hash CScripts:
227 [ + + ]: 28872057 : return (this->size() == 23 &&
228 [ + + + + ]: 3853654 : (*this)[0] == OP_HASH160 &&
229 [ + + + + : 32680489 : (*this)[1] == 0x14 &&
+ + ]
230 [ + + + + ]: 3797346 : (*this)[22] == OP_EQUAL);
231 : : }
232 : :
233 : 6752 : bool CScript::IsPayToWitnessScriptHash() const
234 : : {
235 : : // Extra-fast test for pay-to-witness-script-hash CScripts:
236 [ + + + + ]: 6838 : return (this->size() == 34 &&
237 [ + + + + : 5963 : (*this)[0] == OP_0 &&
+ + ]
238 [ + + ]: 34 : (*this)[1] == 0x20);
239 : : }
240 : :
241 : : // A witness program is any valid CScript that consists of a 1-byte push opcode
242 : : // followed by a data push between 2 and 40 bytes.
243 : 51989094 : bool CScript::IsWitnessProgram(int& version, std::vector<unsigned char>& program) const
244 : : {
245 [ + + + + : 98122055 : if (this->size() < 4 || this->size() > 42) {
+ + + + ]
246 : : return false;
247 : : }
248 [ + + + + : 95713238 : if ((*this)[0] != OP_0 && ((*this)[0] < OP_1 || (*this)[0] > OP_16)) {
+ + + + ]
249 : : return false;
250 : : }
251 [ + + + + ]: 92365652 : if ((size_t)((*this)[1] + 2) == this->size()) {
252 : 46097660 : version = DecodeOP_N((opcodetype)(*this)[0]);
253 [ + + ]: 138292980 : program = std::vector<unsigned char>(this->begin() + 2, this->end());
254 : 46097660 : return true;
255 : : }
256 : : return false;
257 : : }
258 : :
259 : 5471406 : bool CScript::IsPushOnly(const_iterator pc) const
260 : : {
261 [ + + ]: 10763470 : while (pc < end())
262 : : {
263 : 5351964 : opcodetype opcode;
264 [ + + ]: 5351964 : if (!GetOp(pc, opcode))
265 : : return false;
266 : : // Note that IsPushOnly() *does* consider OP_RESERVED to be a
267 : : // push-type opcode, however execution of OP_RESERVED fails, so
268 : : // it's not relevant to P2SH/BIP62 as the scriptSig would fail prior to
269 : : // the P2SH special validation code being executed.
270 [ + + ]: 5321963 : if (opcode > OP_16)
271 : : return false;
272 : : }
273 : : return true;
274 : : }
275 : :
276 : 5414237 : bool CScript::IsPushOnly() const
277 : : {
278 [ + + ]: 10828474 : return this->IsPushOnly(begin());
279 : : }
280 : :
281 : 1476907 : std::string CScriptWitness::ToString() const
282 : : {
283 : 1476907 : std::string ret = "CScriptWitness(";
284 [ + + ]: 9871856 : for (unsigned int i = 0; i < stack.size(); i++) {
285 [ + + ]: 8394949 : if (i) {
286 [ + - ]: 8359249 : ret += ", ";
287 : : }
288 [ + - ]: 16789898 : ret += HexStr(stack[i]);
289 : : }
290 [ + - ]: 1476907 : return ret + ")";
291 : 1476907 : }
292 : :
293 : 521328 : bool CScript::HasValidOps() const
294 : : {
295 [ + + ]: 521328 : CScript::const_iterator it = begin();
296 [ + + ]: 15404962 : while (it < end()) {
297 : 14889576 : opcodetype opcode;
298 : 14889576 : std::vector<unsigned char> item;
299 [ + - + + : 14889576 : if (!GetOp(it, opcode, item) || opcode > MAX_OPCODE || item.size() > MAX_SCRIPT_ELEMENT_SIZE) {
+ + + + ]
300 : 5942 : return false;
301 : : }
302 : 14889576 : }
303 : : return true;
304 : : }
305 : :
306 : 501830815 : bool GetScriptOp(CScriptBase::const_iterator& pc, CScriptBase::const_iterator end, opcodetype& opcodeRet, std::vector<unsigned char>* pvchRet)
307 : : {
308 : 501830815 : opcodeRet = OP_INVALIDOPCODE;
309 [ + + ]: 501830815 : if (pvchRet)
310 [ + + ]: 92999499 : pvchRet->clear();
311 [ + + ]: 501830815 : if (pc >= end)
312 : : return false;
313 : :
314 : : // Read instruction
315 [ + - ]: 501339661 : if (end - pc < 1)
316 : : return false;
317 [ + + ]: 501339661 : unsigned int opcode = *pc++;
318 : :
319 : : // Immediate operand
320 [ + + ]: 501339661 : if (opcode <= OP_PUSHDATA4)
321 : : {
322 : 157850683 : unsigned int nSize = 0;
323 [ + + ]: 157850683 : if (opcode < OP_PUSHDATA1)
324 : : {
325 : : nSize = opcode;
326 : : }
327 [ + + ]: 22726172 : else if (opcode == OP_PUSHDATA1)
328 : : {
329 [ + + ]: 22074559 : if (end - pc < 1)
330 : : return false;
331 : 22064746 : nSize = *pc++;
332 : : }
333 [ + + ]: 651613 : else if (opcode == OP_PUSHDATA2)
334 : : {
335 [ + + ]: 479674 : if (end - pc < 2)
336 : : return false;
337 : 464871 : nSize = ReadLE16(&pc[0]);
338 : 464871 : pc += 2;
339 : : }
340 [ + - ]: 171939 : else if (opcode == OP_PUSHDATA4)
341 : : {
342 [ + + ]: 171939 : if (end - pc < 4)
343 : : return false;
344 : 162195 : nSize = ReadLE32(&pc[0]);
345 : 162195 : pc += 4;
346 : : }
347 [ + - + + ]: 157816323 : if (end - pc < 0 || (unsigned int)(end - pc) < nSize)
348 : 1657715 : return false;
349 [ + + ]: 156158608 : if (pvchRet)
350 : 37472528 : pvchRet->assign(pc, pc + nSize);
351 : 156158608 : pc += nSize;
352 : : }
353 : :
354 : 499647586 : opcodeRet = static_cast<opcodetype>(opcode);
355 : 499647586 : return true;
356 : : }
357 : :
358 : 982981 : bool IsOpSuccess(const opcodetype& opcode)
359 : : {
360 [ + + + + : 982981 : return opcode == 80 || opcode == 98 || (opcode >= 126 && opcode <= 129) ||
+ + + +
+ ]
361 : : (opcode >= 131 && opcode <= 134) || (opcode >= 137 && opcode <= 138) ||
362 : : (opcode >= 141 && opcode <= 142) || (opcode >= 149 && opcode <= 153) ||
363 : 982981 : (opcode >= 187 && opcode <= 254);
364 : : }
365 : :
366 : 14416697 : bool CheckMinimalPush(const std::vector<unsigned char>& data, opcodetype opcode) {
367 : : // Excludes OP_1NEGATE, OP_1-16 since they are by definition minimal
368 [ - + ]: 14416697 : assert(0 <= opcode && opcode <= OP_PUSHDATA4);
369 [ + + ]: 14416697 : if (data.size() == 0) {
370 : : // Should have used OP_0.
371 : 11644432 : return opcode == OP_0;
372 [ + + + + : 2772265 : } else if (data.size() == 1 && data[0] >= 1 && data[0] <= 16) {
+ + ]
373 : : // Should have used OP_1 .. OP_16.
374 : : return false;
375 [ + + + + ]: 2763480 : } else if (data.size() == 1 && data[0] == 0x81) {
376 : : // Should have used OP_1NEGATE.
377 : : return false;
378 [ + + ]: 2761876 : } else if (data.size() <= 75) {
379 : : // Must have used a direct push (opcode indicating number of bytes pushed + those bytes).
380 : 2705747 : return opcode == data.size();
381 [ + + ]: 56129 : } else if (data.size() <= 255) {
382 : : // Must have used OP_PUSHDATA.
383 : 39981 : return opcode == OP_PUSHDATA1;
384 [ + + ]: 16148 : } else if (data.size() <= 65535) {
385 : : // Must have used OP_PUSHDATA2.
386 : 16122 : return opcode == OP_PUSHDATA2;
387 : : }
388 : : return true;
389 : : }
|
