Branch data Line data Source code
1 : : // Copyright (c) 2019-2022 The Bitcoin Core developers
2 : : // Distributed under the MIT software license, see the accompanying
3 : : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
4 : :
5 : : #include <util/asmap.h>
6 : :
7 : : #include <clientversion.h>
8 : : #include <logging.h>
9 : : #include <serialize.h>
10 : : #include <streams.h>
11 : : #include <util/fs.h>
12 : :
13 : : #include <algorithm>
14 : : #include <bit>
15 : : #include <cassert>
16 : : #include <cstdio>
17 : : #include <utility>
18 : : #include <vector>
19 : :
20 : : namespace {
21 : :
22 : : constexpr uint32_t INVALID = 0xFFFFFFFF;
23 : :
24 : 71856870 : uint32_t DecodeBits(std::vector<bool>::const_iterator& bitpos, const std::vector<bool>::const_iterator& endpos, uint8_t minval, const std::vector<uint8_t> &bit_sizes)
25 : : {
26 : 71856870 : uint32_t val = minval;
27 : 71856870 : bool bit;
28 [ - + + + ]: 238473919 : for (std::vector<uint8_t>::const_iterator bit_sizes_it = bit_sizes.begin();
29 : 166617049 : bit_sizes_it != bit_sizes.end(); ++bit_sizes_it) {
30 [ + + ]: 166617049 : if (bit_sizes_it + 1 != bit_sizes.end()) {
31 [ + + ]: 147141893 : if (bitpos == endpos) break;
32 : 147126561 : bit = *bitpos;
33 : 147126561 : bitpos++;
34 : 147126561 : } else {
35 : 19475156 : bit = 0;
36 : : }
37 [ + + ]: 166601717 : if (bit) {
38 : 94760179 : val += (1 << *bit_sizes_it);
39 : 94760179 : } else {
40 [ + + + + ]: 454687685 : for (int b = 0; b < *bit_sizes_it; b++) {
41 [ + + ]: 382846147 : if (bitpos == endpos) return INVALID; // Reached EOF in mantissa
42 : 382800637 : bit = *bitpos;
43 : 382800637 : bitpos++;
44 : 382800637 : val += bit << (*bit_sizes_it - 1 - b);
45 : 382800637 : }
46 : 71796028 : return val;
47 : : }
48 : 94760179 : }
49 : 15332 : return INVALID; // Reached EOF in exponent
50 : 71856870 : }
51 : :
52 : : enum class Instruction : uint32_t
53 : : {
54 : : RETURN = 0,
55 : : JUMP = 1,
56 : : MATCH = 2,
57 : : DEFAULT = 3,
58 : : };
59 : :
60 [ + - ]: 1 : const std::vector<uint8_t> TYPE_BIT_SIZES{0, 0, 1};
61 : 35932674 : Instruction DecodeType(std::vector<bool>::const_iterator& bitpos, const std::vector<bool>::const_iterator& endpos)
62 : : {
63 : 35932674 : return Instruction(DecodeBits(bitpos, endpos, 0, TYPE_BIT_SIZES));
64 : : }
65 : :
66 [ + - ]: 1 : const std::vector<uint8_t> ASN_BIT_SIZES{15, 16, 17, 18, 19, 20, 21, 22, 23, 24};
67 : 17758780 : uint32_t DecodeASN(std::vector<bool>::const_iterator& bitpos, const std::vector<bool>::const_iterator& endpos)
68 : : {
69 : 17758780 : return DecodeBits(bitpos, endpos, 1, ASN_BIT_SIZES);
70 : : }
71 : :
72 : :
73 [ + - ]: 1 : const std::vector<uint8_t> MATCH_BIT_SIZES{1, 2, 3, 4, 5, 6, 7, 8};
74 : 10697685 : uint32_t DecodeMatch(std::vector<bool>::const_iterator& bitpos, const std::vector<bool>::const_iterator& endpos)
75 : : {
76 : 10697685 : return DecodeBits(bitpos, endpos, 2, MATCH_BIT_SIZES);
77 : : }
78 : :
79 : :
80 [ + - ]: 1 : const std::vector<uint8_t> JUMP_BIT_SIZES{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};
81 : 7467731 : uint32_t DecodeJump(std::vector<bool>::const_iterator& bitpos, const std::vector<bool>::const_iterator& endpos)
82 : : {
83 : 7467731 : return DecodeBits(bitpos, endpos, 17, JUMP_BIT_SIZES);
84 : : }
85 : :
86 : : }
87 : :
88 : 15127966 : uint32_t Interpret(const std::vector<bool> &asmap, const std::vector<bool> &ip)
89 : : {
90 : 15127966 : std::vector<bool>::const_iterator pos = asmap.begin();
91 : 15127966 : const std::vector<bool>::const_iterator endpos = asmap.end();
92 : 15127966 : uint8_t bits = ip.size();
93 : 15127966 : uint32_t default_asn = 0;
94 : 15127966 : uint32_t jump, match, matchlen;
95 : 15127966 : Instruction opcode;
96 [ + - ]: 33182929 : while (pos != endpos) {
97 : 33182929 : opcode = DecodeType(pos, endpos);
98 [ + + ]: 33182929 : if (opcode == Instruction::RETURN) {
99 : 9669116 : default_asn = DecodeASN(pos, endpos);
100 [ + - ]: 9669116 : if (default_asn == INVALID) break; // ASN straddles EOF
101 : 9669116 : return default_asn;
102 [ + + ]: 23513813 : } else if (opcode == Instruction::JUMP) {
103 : 7066494 : jump = DecodeJump(pos, endpos);
104 [ - + ]: 7066494 : if (jump == INVALID) break; // Jump offset straddles EOF
105 [ - + ]: 7066494 : if (bits == 0) break; // No input bits left
106 [ + - ]: 7066494 : if (int64_t{jump} >= int64_t{endpos - pos}) break; // Jumping past EOF
107 [ + + ]: 7066494 : if (ip[ip.size() - bits]) {
108 : 2370252 : pos += jump;
109 : 2370252 : }
110 : 7066494 : bits--;
111 [ + + ]: 23513813 : } else if (opcode == Instruction::MATCH) {
112 : 9696202 : match = DecodeMatch(pos, endpos);
113 [ - + ]: 9696202 : if (match == INVALID) break; // Match bits straddle EOF
114 : 9696202 : matchlen = std::bit_width(match) - 1;
115 [ - + ]: 9696202 : if (bits < matchlen) break; // Not enough input bits
116 [ + + + + ]: 25069554 : for (uint32_t bit = 0; bit < matchlen; bit++) {
117 [ + + ]: 15373352 : if ((ip[ip.size() - bits]) != ((match >> (matchlen - 1 - bit)) & 1)) {
118 : 5458850 : return default_asn;
119 : : }
120 : 9914502 : bits--;
121 : 9914502 : }
122 [ + - ]: 10988469 : } else if (opcode == Instruction::DEFAULT) {
123 : 6751117 : default_asn = DecodeASN(pos, endpos);
124 [ + - ]: 6751117 : if (default_asn == INVALID) break; // ASN straddles EOF
125 : 6751117 : } else {
126 : 0 : break; // Instruction straddles EOF
127 : : }
128 : : }
129 : 0 : assert(false); // Reached EOF without RETURN, or aborted (see any of the breaks above) - should have been caught by SanityCheckASMap below
130 : : return 0; // 0 is not a valid ASN
131 : 15127966 : }
132 : :
133 : 91363 : bool SanityCheckASMap(const std::vector<bool>& asmap, int bits)
134 : : {
135 : 91363 : const std::vector<bool>::const_iterator begin = asmap.begin(), endpos = asmap.end();
136 : 91363 : std::vector<bool>::const_iterator pos = begin;
137 : 91363 : std::vector<std::pair<uint32_t, int>> jumps; // All future positions we may jump to (bit offset in asmap -> bits to consume left)
138 [ + - ]: 91363 : jumps.reserve(bits);
139 : 91363 : Instruction prevopcode = Instruction::JUMP;
140 : 91363 : bool had_incomplete_match = false;
141 [ - + + + ]: 2757144 : while (pos != endpos) {
142 [ - + ]: 2749804 : uint32_t offset = pos - begin;
143 [ + + + + ]: 2749804 : if (!jumps.empty() && offset >= jumps.back().first) return false; // There was a jump into the middle of the previous instruction
144 [ + - ]: 2749745 : Instruction opcode = DecodeType(pos, endpos);
145 [ + + ]: 2749745 : if (opcode == Instruction::RETURN) {
146 [ + + ]: 384107 : if (prevopcode == Instruction::DEFAULT) return false; // There should not be any RETURN immediately after a DEFAULT (could be combined into just RETURN)
147 [ + - ]: 383932 : uint32_t asn = DecodeASN(pos, endpos);
148 [ + + ]: 383932 : if (asn == INVALID) return false; // ASN straddles EOF
149 [ + + ]: 380462 : if (jumps.empty()) {
150 : : // Nothing to execute anymore
151 [ + - + + ]: 3502 : if (endpos - pos > 7) return false; // Excessive padding
152 [ + - + + ]: 9896 : while (pos != endpos) {
153 [ + - + + ]: 7126 : if (*pos) return false; // Nonzero padding bit
154 [ + - ]: 7079 : ++pos;
155 : : }
156 : 2770 : return true; // Sanely reached EOF
157 : : } else {
158 : : // Continue by pretending we jumped to the next instruction
159 [ + - ]: 376960 : offset = pos - begin;
160 [ + + ]: 376960 : if (offset != jumps.back().first) return false; // Unreachable code
161 : 376816 : bits = jumps.back().second; // Restore the number of bits we would have had left after this jump
162 : 376816 : jumps.pop_back();
163 : 376816 : prevopcode = Instruction::JUMP;
164 : : }
165 [ + + + + ]: 2749570 : } else if (opcode == Instruction::JUMP) {
166 [ + - ]: 401237 : uint32_t jump = DecodeJump(pos, endpos);
167 [ + + ]: 401237 : if (jump == INVALID) return false; // Jump offset straddles EOF
168 [ + - + + ]: 396367 : if (int64_t{jump} > int64_t{endpos - pos}) return false; // Jump out of range
169 [ + + ]: 377253 : if (bits == 0) return false; // Consuming bits past the end of the input
170 : 377241 : --bits;
171 [ + - ]: 377241 : uint32_t jump_offset = pos - begin + jump;
172 [ + + + + ]: 377241 : if (!jumps.empty() && jump_offset >= jumps.back().first) return false; // Intersecting jumps
173 [ + - ]: 377192 : jumps.emplace_back(jump_offset, bits);
174 : 377192 : prevopcode = Instruction::JUMP;
175 [ + + + + ]: 2365638 : } else if (opcode == Instruction::MATCH) {
176 [ - + ]: 1001483 : uint32_t match = DecodeMatch(pos, endpos);
177 [ + + ]: 1001483 : if (match == INVALID) return false; // Match bits straddle EOF
178 : 996123 : int matchlen = std::bit_width(match) - 1;
179 [ + + ]: 996123 : if (prevopcode != Instruction::MATCH) had_incomplete_match = false;
180 [ + + + + ]: 996123 : if (matchlen < 8 && had_incomplete_match) return false; // Within a sequence of matches only at most one should be incomplete
181 : 996088 : had_incomplete_match = (matchlen < 8);
182 [ + + ]: 996088 : if (bits < matchlen) return false; // Consuming bits past the end of the input
183 : 996069 : bits -= matchlen;
184 : 996069 : prevopcode = Instruction::MATCH;
185 [ + + + + ]: 1964401 : } else if (opcode == Instruction::DEFAULT) {
186 [ + + ]: 954687 : if (prevopcode == Instruction::DEFAULT) return false; // There should not be two successive DEFAULTs (they could be combined into one)
187 [ - + ]: 954615 : uint32_t asn = DecodeASN(pos, endpos);
188 [ + + ]: 954615 : if (asn == INVALID) return false; // ASN straddles EOF
189 : 915704 : prevopcode = Instruction::DEFAULT;
190 [ + + ]: 954615 : } else {
191 : 8231 : return false; // Instruction straddles EOF
192 : : }
193 [ + + ]: 2749804 : }
194 : 7340 : return false; // Reached EOF without RETURN instruction
195 : 91363 : }
196 : :
197 : 0 : std::vector<bool> DecodeAsmap(fs::path path)
198 : : {
199 : 0 : std::vector<bool> bits;
200 [ # # ]: 0 : FILE *filestr = fsbridge::fopen(path, "rb");
201 [ # # ]: 0 : AutoFile file{filestr};
202 [ # # # # ]: 0 : if (file.IsNull()) {
203 [ # # ]: 0 : LogPrintf("Failed to open asmap file from disk\n");
204 : 0 : return bits;
205 : : }
206 [ # # ]: 0 : fseek(filestr, 0, SEEK_END);
207 [ # # ]: 0 : int length = ftell(filestr);
208 [ # # # # : 0 : LogPrintf("Opened asmap file %s (%d bytes) from disk\n", fs::quoted(fs::PathToString(path)), length);
# # ]
209 [ # # ]: 0 : fseek(filestr, 0, SEEK_SET);
210 : 0 : uint8_t cur_byte;
211 [ # # ]: 0 : for (int i = 0; i < length; ++i) {
212 [ # # ]: 0 : file >> cur_byte;
213 [ # # ]: 0 : for (int bit = 0; bit < 8; ++bit) {
214 [ # # ]: 0 : bits.push_back((cur_byte >> bit) & 1);
215 : 0 : }
216 : 0 : }
217 [ # # # # ]: 0 : if (!SanityCheckASMap(bits, 128)) {
218 [ # # # # : 0 : LogPrintf("Sanity check of asmap file %s failed\n", fs::quoted(fs::PathToString(path)));
# # ]
219 : 0 : return {};
220 : : }
221 : 0 : return bits;
222 : 0 : }
223 : :
|
