test_suite_bignum_random.data (10559B)
1 MPI core random basic: 0..1 2 mpi_core_random_basic:0:"01":0 3 4 MPI core random basic: 0..2 5 mpi_core_random_basic:0:"02":0 6 7 MPI core random basic: 1..2 8 mpi_core_random_basic:1:"02":0 9 10 MPI core random basic: 2^30..2^31 11 mpi_core_random_basic:0x40000000:"80000000":0 12 13 MPI core random basic: 0..2^128 14 mpi_core_random_basic:0x40000000:"0100000000000000000000000000000000":0 15 16 MPI core random basic: 2^30..2^129 17 mpi_core_random_basic:0x40000000:"0200000000000000000000000000000000":0 18 19 # Use the same data values for mpi_core_random_basic->NOT_ACCEPTABLE 20 # and for mpi_XXX_random_values where we want to return NOT_ACCEPTABLE 21 # but this isn't checked at runtime. 22 MPI core random basic: 2^28-1..2^28+1 (NOT_ACCEPTABLE) 23 mpi_core_random_basic:0x0fffffff:"10000001":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE 24 25 MPI random legacy=core: 2^28-1..2^28+1 (NOT_ACCEPTABLE) 26 mpi_legacy_random_values:0x0fffffff:"10000001" 27 28 MPI random mod=core: 2^28-1..2^28+1 (NOT_ACCEPTABLE) (Mont) 29 mpi_mod_random_values:0x0fffffff:"10000001":MBEDTLS_MPI_MOD_REP_MONTGOMERY 30 31 MPI random mod=core: 2^28-1..2^28+1 (NOT_ACCEPTABLE) (canon) 32 mpi_mod_random_values:0x0fffffff:"10000001":MBEDTLS_MPI_MOD_REP_OPT_RED 33 34 MPI core random basic: 2^29-1..2^29+1 (NOT_ACCEPTABLE) 35 mpi_core_random_basic:0x1fffffff:"20000001":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE 36 37 MPI random legacy=core: 2^29-1..2^29+1 (NOT_ACCEPTABLE) 38 mpi_legacy_random_values:0x1fffffff:"20000001" 39 40 MPI random mod=core: 2^29-1..2^29+1 (NOT_ACCEPTABLE) (Mont) 41 mpi_mod_random_values:0x1fffffff:"20000001":MBEDTLS_MPI_MOD_REP_MONTGOMERY 42 43 MPI random mod=core: 2^29-1..2^29+1 (NOT_ACCEPTABLE) (canon) 44 mpi_mod_random_values:0x1fffffff:"20000001":MBEDTLS_MPI_MOD_REP_OPT_RED 45 46 MPI core random basic: 2^30-1..2^30+1 (NOT_ACCEPTABLE) 47 mpi_core_random_basic:0x3fffffff:"40000001":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE 48 49 MPI random legacy=core: 2^30-1..2^30+1 (NOT_ACCEPTABLE) 50 mpi_legacy_random_values:0x3fffffff:"40000001" 51 52 MPI random mod=core: 2^30-1..2^30+1 (NOT_ACCEPTABLE) (Mont) 53 mpi_mod_random_values:0x3fffffff:"40000001":MBEDTLS_MPI_MOD_REP_MONTGOMERY 54 55 MPI random mod=core: 2^30-1..2^30+1 (NOT_ACCEPTABLE) (canon) 56 mpi_mod_random_values:0x3fffffff:"40000001":MBEDTLS_MPI_MOD_REP_OPT_RED 57 58 MPI core random basic: 2^31-1..2^31+1 (NOT_ACCEPTABLE) 59 mpi_core_random_basic:0x7fffffff:"80000001":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE 60 61 MPI random legacy=core: 2^31-1..2^31+1 (NOT_ACCEPTABLE) 62 mpi_legacy_random_values:0x7fffffff:"80000001" 63 64 MPI random mod=core: 2^31-1..2^31+1 (NOT_ACCEPTABLE) (Mont) 65 mpi_mod_random_values:0x7fffffff:"80000001":MBEDTLS_MPI_MOD_REP_MONTGOMERY 66 67 MPI random mod=core: 2^31-1..2^31+1 (NOT_ACCEPTABLE) (canon) 68 mpi_mod_random_values:0x7fffffff:"80000001":MBEDTLS_MPI_MOD_REP_OPT_RED 69 70 MPI random in range: 1..2 71 mpi_random_many:1:"02":1000 72 73 MPI random in range: 1..3 74 mpi_random_many:1:"03":1000 75 76 MPI random in range: 1..4 77 mpi_random_many:1:"04":1000 78 79 MPI random in range: 1..5 80 mpi_random_many:1:"05":1000 81 82 MPI random in range: 1..6 83 mpi_random_many:1:"06":1000 84 85 MPI random in range: 1..7 86 mpi_random_many:1:"07":1000 87 88 MPI random in range: 1..8 89 mpi_random_many:1:"08":1000 90 91 MPI random in range: 1..9 92 mpi_random_many:1:"09":1000 93 94 MPI random in range: 1..10 95 mpi_random_many:1:"0a":1000 96 97 MPI random in range: 1..11 98 mpi_random_many:1:"0b":1000 99 100 MPI random in range: 1..12 101 mpi_random_many:1:"0c":1000 102 103 MPI random in range: 1..255 104 mpi_random_many:1:"ff":200 105 106 MPI random in range: 1..256 107 mpi_random_many:1:"0100":200 108 109 MPI random in range: 1..257 110 mpi_random_many:1:"0101":200 111 112 MPI random in range: 1..272 113 mpi_random_many:1:"0110":200 114 115 MPI random in range: 1..2^64-1 116 mpi_random_many:1:"ffffffffffffffff":100 117 118 MPI random in range: 1..2^64 119 mpi_random_many:1:"010000000000000000":100 120 121 MPI random in range: 1..2^64+1 122 mpi_random_many:1:"010000000000000001":100 123 124 MPI random in range: 1..2^64+2^63 125 mpi_random_many:1:"018000000000000000":100 126 127 MPI random in range: 1..2^65-1 128 mpi_random_many:1:"01ffffffffffffffff":100 129 130 MPI random in range: 1..2^65 131 mpi_random_many:1:"020000000000000000":100 132 133 MPI random in range: 1..2^65+1 134 mpi_random_many:1:"020000000000000001":100 135 136 MPI random in range: 1..2^65+2^64 137 mpi_random_many:1:"030000000000000000":100 138 139 MPI random in range: 1..2^66+2^65 140 mpi_random_many:1:"060000000000000000":100 141 142 MPI random in range: 1..2^71-1 143 mpi_random_many:1:"7fffffffffffffffff":100 144 145 MPI random in range: 1..2^71 146 mpi_random_many:1:"800000000000000000":100 147 148 MPI random in range: 1..2^71+1 149 mpi_random_many:1:"800000000000000001":100 150 151 MPI random in range: 1..2^71+2^70 152 mpi_random_many:1:"c00000000000000000":100 153 154 MPI random in range: 1..2^72-1 155 mpi_random_many:1:"ffffffffffffffffff":100 156 157 MPI random in range: 1..2^72 158 mpi_random_many:1:"01000000000000000000":100 159 160 MPI random in range: 1..2^72+1 161 mpi_random_many:1:"01000000000000000001":100 162 163 MPI random in range: 1..2^72+2^71 164 mpi_random_many:1:"01800000000000000000":100 165 166 MPI random in range: 0..1 167 mpi_random_many:0:"04":10000 168 169 MPI random in range: 0..4 170 mpi_random_many:0:"04":10000 171 172 MPI random in range: 2..4 173 mpi_random_many:2:"04":10000 174 175 MPI random in range: 3..4 176 mpi_random_many:3:"04":10000 177 178 MPI random in range: smaller result 179 mpi_random_sizes:1:"aaaaaaaaaaaaaaaabbbbbbbbbbbbbbbb":1:0 180 181 MPI random in range: same size result (32-bit limbs) 182 mpi_random_sizes:1:"aaaaaaaaaaaaaaaa":2:0 183 184 MPI random in range: same size result (64-bit limbs) 185 mpi_random_sizes:1:"aaaaaaaaaaaaaaaa":1:0 186 187 MPI random in range: larger result 188 mpi_random_sizes:1:"aaaaaaaaaaaaaaaa":3:0 189 190 ## The "0 limb in upper bound" tests rely on the fact that 191 ## mbedtls_mpi_read_binary() bases the size of the MPI on the size of 192 ## the input, without first checking for leading zeros. If this was 193 ## not the case, the tests would still pass, but would not exercise 194 ## the advertised behavior. 195 MPI random in range: leading 0 limb in upper bound #0 196 mpi_random_sizes:1:"00aaaaaaaaaaaaaaaa":0:0 197 198 MPI random in range: leading 0 limb in upper bound #1 199 mpi_random_sizes:1:"00aaaaaaaaaaaaaaaa":1:0 200 201 MPI random in range: leading 0 limb in upper bound #2 202 mpi_random_sizes:1:"00aaaaaaaaaaaaaaaa":2:0 203 204 MPI random in range: leading 0 limb in upper bound #3 205 mpi_random_sizes:1:"00aaaaaaaaaaaaaaaa":3:0 206 207 MPI random in range: leading 0 limb in upper bound #4 208 mpi_random_sizes:1:"00aaaaaaaaaaaaaaaa":4:0 209 210 MPI random in range: previously small >0 211 mpi_random_sizes:1:"1234567890":4:1 212 213 MPI random in range: previously small <0 214 mpi_random_sizes:1:"1234567890":4:-1 215 216 MPI random in range: previously large >0 217 mpi_random_sizes:1:"1234":4:65 218 219 MPI random in range: previously large <0 220 mpi_random_sizes:1:"1234":4:-65 221 222 MPI random bad arguments: min < 0 223 mpi_random_fail:-1:"04":MBEDTLS_ERR_MPI_BAD_INPUT_DATA 224 225 MPI random bad arguments: min = N = 0 226 mpi_random_fail:0:"00":MBEDTLS_ERR_MPI_BAD_INPUT_DATA 227 228 MPI random bad arguments: min = N = 1 229 mpi_random_fail:1:"01":MBEDTLS_ERR_MPI_BAD_INPUT_DATA 230 231 MPI random bad arguments: min > N = 0 232 mpi_random_fail:1:"00":MBEDTLS_ERR_MPI_BAD_INPUT_DATA 233 234 MPI random bad arguments: min > N = 1 235 mpi_random_fail:2:"01":MBEDTLS_ERR_MPI_BAD_INPUT_DATA 236 237 MPI random bad arguments: min > N = 1, 0 limb in upper bound 238 mpi_random_fail:2:"000000000000000001":MBEDTLS_ERR_MPI_BAD_INPUT_DATA 239 240 MPI random legacy=core: 0..1 241 mpi_legacy_random_values:0:"01" 242 243 MPI random legacy=core: 0..2 244 mpi_legacy_random_values:0:"02" 245 246 MPI random legacy=core: 1..2 247 mpi_legacy_random_values:1:"02" 248 249 MPI random legacy=core: 2^30..2^31 250 mpi_legacy_random_values:0x40000000:"80000000" 251 252 MPI random legacy=core: 2^31-1..2^32-1 253 mpi_legacy_random_values:0x7fffffff:"ffffffff" 254 255 MPI random legacy=core: 0..2^256 256 mpi_legacy_random_values:0:"010000000000000000000000000000000000000000000000000000000000000000" 257 258 MPI random legacy=core: 0..2^256+1 259 mpi_legacy_random_values:0:"010000000000000000000000000000000000000000000000000000000000000001" 260 261 MPI random mod=core: 0..1 (Mont) 262 mpi_mod_random_values:0:"01":MBEDTLS_MPI_MOD_REP_MONTGOMERY 263 264 MPI random mod=core: 0..1 (canon) 265 mpi_mod_random_values:0:"01":MBEDTLS_MPI_MOD_REP_OPT_RED 266 267 MPI random mod=core: 0..3 (Mont) 268 mpi_mod_random_values:0:"03":MBEDTLS_MPI_MOD_REP_MONTGOMERY 269 270 MPI random mod=core: 0..3 (canon) 271 mpi_mod_random_values:0:"03":MBEDTLS_MPI_MOD_REP_OPT_RED 272 273 MPI random mod=core: 1..3 (Mont) 274 mpi_mod_random_values:1:"03":MBEDTLS_MPI_MOD_REP_MONTGOMERY 275 276 MPI random mod=core: 1..3 (canon) 277 mpi_mod_random_values:1:"03":MBEDTLS_MPI_MOD_REP_OPT_RED 278 279 MPI random mod=core: 2^30..2^31-1 (Mont) 280 mpi_mod_random_values:0x40000000:"7fffffff":MBEDTLS_MPI_MOD_REP_MONTGOMERY 281 282 MPI random mod=core: 2^30..2^31-1 (canon) 283 mpi_mod_random_values:0x40000000:"7fffffff":MBEDTLS_MPI_MOD_REP_OPT_RED 284 285 MPI random mod=core: 2^31-1..2^32-1 (Mont) 286 mpi_mod_random_values:0x7fffffff:"ffffffff":MBEDTLS_MPI_MOD_REP_MONTGOMERY 287 288 MPI random mod=core: 2^31-1..2^32-1 (canon) 289 mpi_mod_random_values:0x7fffffff:"ffffffff":MBEDTLS_MPI_MOD_REP_OPT_RED 290 291 MPI random mod=core: 0..2^256+1 (Mont) 292 mpi_mod_random_values:0:"010000000000000000000000000000000000000000000000000000000000000001":MBEDTLS_MPI_MOD_REP_MONTGOMERY 293 294 MPI random mod=core: 0..2^256+1 (canon) 295 mpi_mod_random_values:0:"010000000000000000000000000000000000000000000000000000000000000001":MBEDTLS_MPI_MOD_REP_OPT_RED 296 297 MPI random mod validation: 1 limb, good, 0..1 298 mpi_mod_random_validation:0:"1":0:0 299 300 MPI random mod validation: 1 limb, good, 1..3 301 mpi_mod_random_validation:1:"3":0:0 302 303 MPI random mod validation: 1 limb, good, 2..3 304 mpi_mod_random_validation:2:"3":0:0 305 306 MPI random mod validation: 1 limb, good, 3..5 307 mpi_mod_random_validation:3:"5":0:0 308 309 MPI random mod validation: 1 limb, good, 4..5 310 mpi_mod_random_validation:4:"5":0:0 311 312 MPI random mod validation: 1 limb, good, 5..7 313 mpi_mod_random_validation:5:"7":0:0 314 315 MPI random mod validation: 1 limb, good, 6..7 316 mpi_mod_random_validation:6:"7":0:0 317 318 MPI random mod validation: 1 limb, good, 0..0x123 319 mpi_mod_random_validation:0:"123":0:0 320 321 MPI random mod validation: 2+ limbs, good 322 mpi_mod_random_validation:0:"01234567890123456789":0:0 323 324 MPI random mod validation: 1 limb, output null 325 mpi_mod_random_validation:0:"123":-1:MBEDTLS_ERR_MPI_BAD_INPUT_DATA 326 327 MPI random mod validation: 1 limb, output too large 328 mpi_mod_random_validation:0:"123":1:MBEDTLS_ERR_MPI_BAD_INPUT_DATA 329 330 MPI random mod validation: 2+ limbs, output too small 331 mpi_mod_random_validation:0:"01234567890123456789":-1:MBEDTLS_ERR_MPI_BAD_INPUT_DATA 332 333 MPI random mod validation: 2+ limbs, output too large 334 mpi_mod_random_validation:0:"01234567890123456789":1:MBEDTLS_ERR_MPI_BAD_INPUT_DATA 335 336 MPI random mod validation: min == upper bound 337 mpi_mod_random_validation:0x123:"123":-1:MBEDTLS_ERR_MPI_BAD_INPUT_DATA 338 339 MPI random mod validation: min > upper bound 340 mpi_mod_random_validation:0x124:"123":-1:MBEDTLS_ERR_MPI_BAD_INPUT_DATA