BEAM is an IBM research tool that does static code analysis. It's cool
because it makes hypotheses about the code paths and traces them through
to see if something bad would happen. There's a webpage here:
http://domino.research.ibm.com/comm/research.nsf/pages/r.da.beam.html I
don't think the tool is available.
Anyhow, we ran it on openssl. It found surprisingly few things, and many
of those it found are probably "can't happen" kinds of things. I'm
sending this along in the hope that it's useful.
/r$
--
Visiting Member, IBM Academy
STSM, DataPower Chief Programmer
WebSphere DataPower SOA Appliances
http://www.ibm.com/software/integration/datapower/
BEAM_VERSION=3.5.0
BEAM_ROOT=/home/jay/p4/main
BEAM_BUILD_ROOT=/home/jay/p4/main/third-party/openssl/openssl-0.9.8h/crypto/bn
BEAM_DIRECTORY_WRITE_INNOCENTS=/home/jay/p4/main/third-party/beam/out/innocent1
BEAM_DIRECTORY_WRITE_ERRORS=/home/jay/p4/main/third-party/beam/out/errors1
-- MISTAKE7 2 /*BEAM suppression: shared iterator*/
>>>MISTAKE7_BN_mod_exp_mont_consttime_e2420db4b887eea
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_exp.c", line 695: The variable
`idx' already controls the loop on line 690
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_BN_mod_inverse_no_branch_ff4f972ef71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 546:
uninitialized `pB->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 510: allocating
`local_B'
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 526: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 532: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 536: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 537: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 540: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 546: getting the
value of `pB->flags'
VALUES AT THE END OF THE PATH:
R != 0
T != 0
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_BN_mod_inverse_no_branch_5c24b0aaf71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 571:
uninitialized `pA->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 510: allocating
`local_A'
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 526: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 532: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 536: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 537: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 557: loop entry
condition is true
"third-party/openssl/openssl-0.9.8h/crypto/bn/bn_gcd.c", line 571: getting the
value of `pA->flags'
VALUES AT THE END OF THE PATH:
R != 0
T != 0
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_RSA_eay_private_decrypt_ex_dc3abc50f71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 580:
uninitialized `d->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 574:
allocating `local_d'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 577: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 580: getting
the value of `d->flags'
VALUES AT THE END OF THE PATH:
ctx != 0
f != 0
ret != 0
flen <= 268435456
buf != 0
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_RSA_eay_mod_exp_3a0f18c9f71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 837:
uninitialized `pr1->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 741:
allocating `local_r1'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 773: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 774: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 777: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 799: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 822: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 825: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 831: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 834: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 837: getting
the value of `pr1->flags'
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_RSA_eay_mod_exp_cef42f0ff71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 783:
uninitialized `c->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 741:
allocating `local_c'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 757: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 773: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 774: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 777: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 780: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 783: getting
the value of `c->flags'
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_RSA_eay_mod_exp_f7cec43af71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 795:
uninitialized `dmq1->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 741:
allocating `local_dmq1'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 757: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 773: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 774: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 777: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 780: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 784: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 792: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 795: getting
the value of `dmq1->flags'
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_RSA_eay_mod_exp_965a75d6f71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 818:
uninitialized `dmp1->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 741:
allocating `local_dmp1'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 773: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 774: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 777: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 799: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 803: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 807: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 815: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_eay.c", line 818: getting
the value of `dmp1->flags'
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_rsa_builtin_keygen_c9602a8ef71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 198:
uninitialized `p->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 88: allocating
`local_p'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 94: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 100: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 106: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 107: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 108: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 109: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 110: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 111: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 112: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 113: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 120: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 122: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 123: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 124: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 124: break
from the loop started on line 118
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 128: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 138: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 140: loop
continuation condition is false, therefore exiting from the loop started on
line 136
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 141: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 147: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 148: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 149: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 150: break
from the loop started on line 130
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 154: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 164: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 167: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 168: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 169: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 170: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 177: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 180: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 189: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 192: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 195: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 198: getting
the value of `p->flags'
VALUES AT THE END OF THE PATH:
degenerate != 3
ctx != 0
r3 != 0
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_rsa_builtin_keygen_5396edef71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 183:
uninitialized `d->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 88: allocating
`local_d'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 94: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 100: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 106: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 107: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 108: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 109: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 110: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 111: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 112: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 113: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 120: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 122: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 123: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 124: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 124: break
from the loop started on line 118
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 128: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 138: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 140: loop
continuation condition is false, therefore exiting from the loop started on
line 136
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 141: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 147: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 148: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 149: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 150: break
from the loop started on line 130
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 154: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 164: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 167: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 168: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 169: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 170: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 177: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 180: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 183: getting
the value of `d->flags'
VALUES AT THE END OF THE PATH:
degenerate != 3
ctx != 0
r3 != 0
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_rsa_builtin_keygen_ba9a3005f71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 173:
uninitialized `pr0->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 88: allocating
`local_r0'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 94: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 100: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 106: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 107: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 108: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 109: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 110: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 111: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 112: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 113: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 120: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 122: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 123: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 124: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 124: break
from the loop started on line 118
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 128: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 138: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 140: loop
continuation condition is false, therefore exiting from the loop started on
line 136
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 141: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 147: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 148: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 149: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 150: break
from the loop started on line 130
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 154: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 164: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 167: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 168: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 169: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 170: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_gen.c", line 173: getting
the value of `pr0->flags'
VALUES AT THE END OF THE PATH:
degenerate != 3
ctx != 0
r3 != 0
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_RSA_setup_blinding_28af0b46f71a6d2
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_lib.c", line 420:
uninitialized `n->flags'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_lib.c", line 376:
allocating `local_n'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_lib.c", line 390: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_lib.c", line 416: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_lib.c", line 420: getting
the value of `n->flags'
-- ERROR7 1 /*BEAM suppression: accessing beyond memory*/
>>>ERROR7_RSA_verify_PKCS1_PSS_a960a7da7c9767ac
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 153: accessing
beyond allocated memory
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 91: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 101: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 111: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 116: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 124: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 130: assuming
`i == maskedDBLen - 1'
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 130: loop
entry condition is true
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 130: going
around the loop again
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 130: loop
entry condition is false, therefore exiting from the loop started on line 130
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 134: conjunct
is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 134: loop
entry condition is false, therefore exiting from the loop started on line 134
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 135: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 140: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 149: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/rsa/rsa_pss.c", line 153: `memcmp'
could read from the buffer `H_'
which is 64 bytes long
VALUES AT THE END OF THE PATH:
EM[i] = 188
DB[i] = 1
EM <= 4294967294
sLen = -1
emLen = 1
i = 1
DB != 0
hLen = -1
H != 0
-- ERROR9 1 /*BEAM suppression: passing null object*/
>>>ERROR9_dlfcn_merger_77b209501505
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 290: passing
NULL to argument 2 of `strcpy'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 273:
conjunct is true (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 273: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 281:
disjunct is false
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 281: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 284: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 290: calling
`strcpy'
VALUES AT THE END OF THE PATH:
filespec2[spec2len - 1] != 0
filespec1 = 0
filespec2 != 0
merged != 0
-- ERROR5 1 /*BEAM suppression: dereferencing NULL*/
>>>ERROR5_dlfcn_merger_d6f7779ab03cb141
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 281:
dereferencing NULL pointer `filespec1'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 273:
conjunct is true (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 273: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 281:
disjunct is false
"third-party/openssl/openssl-0.9.8h/crypto/dso/dso_dlfcn.c", line 281: getting
the value of `filespec1[0]'
VALUES AT THE END OF THE PATH:
filespec2[spec2len - 1] != 0
filespec2 != 0
filespec1 = 0
-- ERROR2 1 /*BEAM suppression: operating on NULL*/
>>>ERROR2_doapr_outch_25edfe37e1bff320
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 760: invalid
operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 736: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 756: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 757: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 760: invalid
operation `[]' involving NULL pointer `(*buffer)'
VALUES AT THE END OF THE PATH:
*sbuffer = 0
*currlen != 0
*maxlen != 0
buffer = 0
-- ERROR5 1 /*BEAM suppression: dereferencing NULL*/
>>>ERROR5_doapr_outch_25edfe37f4f7735f
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 760:
dereferencing NULL pointer `buffer'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 736: the
if-condition is false (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 756: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 757: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/bio/b_print.c", line 760: getting
the value of `(*buffer)'
VALUES AT THE END OF THE PATH:
*sbuffer = 0
*currlen <= 4294967294
*maxlen != 0
buffer = 0
-- ERROR2 1 /*BEAM suppression: operating on NULL*/
>>>ERROR2_EVP_DigestInit_ex_405e1727d96f262e
"third-party/openssl/openssl-0.9.8h/crypto/evp/digest.c", line 201: invalid
operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/evp/digest.c", line 148: conjunct
is false
"third-party/openssl/openssl-0.9.8h/crypto/evp/digest.c", line 148: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/evp/digest.c", line 151: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/evp/digest.c", line 190: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/evp/digest.c", line 196: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/evp/digest.c", line 198: conjunct
is true
"third-party/openssl/openssl-0.9.8h/crypto/evp/digest.c", line 201: using
operation `->' to dereference NULL pointer `type'
VALUES AT THE END OF THE PATH:
type = 0
-- MISTAKE16(if) 2 /*BEAM suppression: empty if*/
>>>MISTAKE16_EVP_CIPHER_CTX_cleanup_71b90bbd1505
"third-party/openssl/openssl-0.9.8h/crypto/evp/evp_enc.c", line 501: The
if-statement has an empty then-clause and no else-clause
-- MISTAKE16(if) 2 /*BEAM suppression: empty if*/
>>>MISTAKE16_EVP_OpenInit_d3733e011505
"third-party/openssl/openssl-0.9.8h/crypto/evp/p_open.c", line 108: The
if-statement has an empty then-clause and no else-clause
-- ERROR2 1 /*BEAM suppression: operating on NULL*/
>>>ERROR2_ASN1_item_ex_i2d_d3db2a4899524156
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 188: invalid
operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 141:
conjunct is true
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 141: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 144:
conjunct is false (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 144: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 183:
selecting this case
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 188: using
operation `->' to dereference NULL pointer `cf'
VALUES AT THE END OF THE PATH:
asn1_cb = 0
*pval != 0
aux = 0
-- ERROR2 1 /*BEAM suppression: operating on NULL*/
>>>ERROR2_ASN1_item_ex_i2d_848d6661f82e1f2
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 181: invalid
operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 141:
conjunct is true
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 141: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 144:
conjunct is false (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 144: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 178:
selecting this case
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_enc.c", line 181: using
operation `->' to dereference NULL pointer `ef'
VALUES AT THE END OF THE PATH:
asn1_cb = 0
*pval != 0
aux = 0
-- ERROR40 2 /*BEAM suppression: undefined*/
>>>ERROR40_asn1_d2i_ex_primitive_68f23aea1505
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 912:
undefined bits [0:31]
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 777: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 828: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 833: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 837: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 857: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 859: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 860: goto err
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 911: err
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 912:
conjunct is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 912:
evaluating `buf.data'
VALUES AT THE END OF THE PATH:
ret = 0
free_cont = 0
inf != 0
pval != 0
-- ERROR2 1 /*BEAM suppression: operating on NULL*/
>>>ERROR2_ASN1_item_ex_d2i_7e4af19e99522c16
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 296: invalid
operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 170: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 172:
conjunct is false (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 172: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 240:
selecting this case
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 296: using
operation `->' to dereference NULL pointer `cf'
VALUES AT THE END OF THE PATH:
asn1_cb = 0
pval != 0
aux = 0
-- ERROR36 2 /*BEAM suppression: null function*/
>>>ERROR36_ASN1_item_ex_d2i_fbc5ecbf2f1bb45
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 237: NULL
function pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 170: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 172:
conjunct is true
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 172: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 234:
selecting this case
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 237: calling
`ASN1_EXTERN_FUNCS_st::asn1_ex_d2i'
VALUES AT THE END OF THE PATH:
asn1_cb = 0
pval != 0
ef != 0
aux != 0
-- ERROR2 1 /*BEAM suppression: operating on NULL*/
>>>ERROR2_ASN1_item_ex_d2i_fbc5ecbff82ccb2
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 237: invalid
operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 170: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 172:
conjunct is false (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 172: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 234:
selecting this case
"third-party/openssl/openssl-0.9.8h/crypto/asn1/tasn_dec.c", line 237: using
operation `->' to dereference NULL pointer `ef'
VALUES AT THE END OF THE PATH:
asn1_cb = 0
pval != 0
aux = 0
-- ERROR9 1 /*BEAM suppression: passing null object*/
>>>ERROR9_asn1_cb_72a2b2141505
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 363: passing
NULL to argument 1 of `strncmp'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 279:
assuming `i == len - 1'
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 279: loop
entry condition is true
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 282: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 279: going
around the loop again
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 279: loop
entry condition is false, therefore exiting from the loop started on line 279
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 293: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 301: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 356:
selecting this case
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 357: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 359: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 361: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/asn1/asn1_gen.c", line 363: calling
`strncmp'
VALUES AT THE END OF THE PATH:
*p != 58
vlen = 0
vstart = 0
len = 1
utype = 65544
elem <= 2147483646
i = 1
-- MISTAKE16(if) 2 /*BEAM suppression: empty if*/
>>>MISTAKE16_pkey_cb_66245dde1505
"third-party/openssl/openssl-0.9.8h/crypto/asn1/p8_pkey.c", line 72: The
if-statement has an empty then-clause and no else-clause
-- ERROR2 1 /*BEAM suppression: operating on NULL*/
>>>ERROR2_PEM_X509_INFO_write_bio_9f845ace559eb22
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_info.c", line 359: invalid
operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_info.c", line 321: the
if-condition is false (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_info.c", line 336: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_info.c", line 338: conjunct
is true
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_info.c", line 338: assuming
`xi->enc_len == 1'
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_info.c", line 338: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_info.c", line 352: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_info.c", line 359: using
operation `->' to dereference NULL pointer `enc'
VALUES AT THE END OF THE PATH:
enc = 0
objstr != 0
-- MISTAKE16(if) 2 /*BEAM suppression: empty if*/
>>>MISTAKE16_PEM_ASN1_write_bio_bc5d5d481505
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_lib.c", line 348: The
if-statement has an empty then-clause and no else-clause
-- MISTAKE16(if) 2 /*BEAM suppression: empty if*/
>>>MISTAKE16_do_pk8pkey_4dd8e1a61505
"third-party/openssl/openssl-0.9.8h/crypto/pem/pem_pk8.c", line 138: The
if-statement has an empty then-clause and no else-clause
-- ERROR2 1 /*BEAM suppression: operating on NULL*/
>>>ERROR2_PKCS7_dataFinal_43b958c87c95915f
"third-party/openssl/openssl-0.9.8h/crypto/pkcs7/pk7_doit.c", line 800: invalid
operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/pkcs7/pk7_doit.c", line 655: does
not select any case
"third-party/openssl/openssl-0.9.8h/crypto/pkcs7/pk7_doit.c", line 786: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/crypto/pkcs7/pk7_doit.c", line 789: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/pkcs7/pk7_doit.c", line 800: using
operation `->' to dereference NULL pointer `os'
VALUES AT THE END OF THE PATH:
os = 0
si_sk = 0
btmp != 0
-- MISTAKE16(if) 2 /*BEAM suppression: empty if*/
>>>MISTAKE16_PKCS12_item_decrypt_d2i_78dcb2e31505
"third-party/openssl/openssl-0.9.8h/crypto/pkcs12/p12_decr.c", line 140: The
if-statement has an empty then-clause and no else-clause
-- MISTAKE16(if) 2 /*BEAM suppression: empty if*/
>>>MISTAKE16_PKCS12_item_i2d_encrypt_36dfd2421505
"third-party/openssl/openssl-0.9.8h/crypto/pkcs12/p12_decr.c", line 172: The
if-statement has an empty then-clause and no else-clause
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_bio_zlib_ctrl_3ea04be8b88a550
"third-party/openssl/openssl-0.9.8h/crypto/comp/c_zlib.c", line 789:
uninitialized `ret'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/crypto/comp/c_zlib.c", line 720:
allocating `ret'
"third-party/openssl/openssl-0.9.8h/crypto/comp/c_zlib.c", line 722: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/crypto/comp/c_zlib.c", line 730: break
from the switch started on line 724
"third-party/openssl/openssl-0.9.8h/crypto/comp/c_zlib.c", line 789: getting
the value of `ret'
-- ERROR2 1 /*BEAM suppression: operating on NULL*/
>>>ERROR2_load_builtin_compressions_f3af64127c9b0c46
"third-party/openssl/openssl-0.9.8h/ssl/ssl_ciph.c", line 298: invalid
operation involving NULL pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/ssl/ssl_ciph.c", line 274: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/ssl/ssl_ciph.c", line 280: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/ssl/ssl_ciph.c", line 286: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/ssl/ssl_ciph.c", line 289: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/ssl/ssl_ciph.c", line 292: conjunct is
false (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/ssl/ssl_ciph.c", line 292: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/ssl/ssl_ciph.c", line 298: using operation
`->' to dereference NULL pointer `comp->method'
VALUES AT THE END OF THE PATH:
ssl_comp_methods != 0
comp != 0
-- MISTAKE19 2 /*BEAM suppression: terminating 0 missed*/
>>>MISTAKE19_cca_rsa_priv_dec_92cfaf2a3cf4e56a
"third-party/openssl/openssl-0.9.8h/engines/e_4758cca.c", line 608: terminating
'\0' not copied
The array `ruleArray' of size 8 is being initialized to the string "PKCS-1.2".
Since this string has also length 8, there is no room for the terminating '\0'.
-- MISTAKE19 2 /*BEAM suppression: terminating 0 missed*/
>>>MISTAKE19_cca_rsa_pub_enc_92cfaf2a3cf4e56a
"third-party/openssl/openssl-0.9.8h/engines/e_4758cca.c", line 579: terminating
'\0' not copied
The array `ruleArray' of size 8 is being initialized to the string "PKCS-1.2".
Since this string has also length 8, there is no room for the terminating '\0'.
-- MISTAKE19 2 /*BEAM suppression: terminating 0 missed*/
>>>MISTAKE19_cca_rsa_verify_92cf22c93cf4e569
"third-party/openssl/openssl-0.9.8h/engines/e_4758cca.c", line 637: terminating
'\0' not copied
The array `ruleArray' of size 8 is being initialized to the string "PKCS-1.1".
Since this string has also length 8, there is no room for the terminating '\0'.
-- MISTAKE19 2 /*BEAM suppression: terminating 0 missed*/
>>>MISTAKE19_cca_rsa_sign_92cf22c93cf4e569
"third-party/openssl/openssl-0.9.8h/engines/e_4758cca.c", line 759: terminating
'\0' not copied
The array `ruleArray' of size 8 is being initialized to the string "PKCS-1.1".
Since this string has also length 8, there is no room for the terminating '\0'.
-- ERROR1 2 /*BEAM suppression: uninitialized*/
>>>ERROR1_hwcrhk_insert_card_c570793f22b0875
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1333: uninitialized
`answer'
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1312: allocating
`answer'
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1319: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1333: disjunct is
false
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1333: conjunct is
true
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1333: getting the
value of `answer'
VALUES AT THE END OF THE PATH:
ok >= 0
ui_method != 0
ui != 0
-- ERROR40 2 /*BEAM suppression: undefined*/
>>>ERROR40_hwcrhk_insert_card_c5707931505
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1333: undefined
bits [0:7]
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1301: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1310: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1319: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1333: disjunct is
false
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1333: conjunct is
false
"third-party/openssl/openssl-0.9.8h/engines/e_chil.c", line 1333: evaluating
`answer'
VALUES AT THE END OF THE PATH:
ui_method != 0
ui != 0
-- ERROR40 2 /*BEAM suppression: undefined*/
>>>ERROR40_surewarehk_rsa_sign_7a3f87501505
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 963: undefined
bits [0:31]
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 941: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 963:
evaluating `tlen'
VALUES AT THE END OF THE PATH:
ret = 0
p_surewarehk_Rsa_Sign = 0
-- ERROR36 2 /*BEAM suppression: null function*/
>>>ERROR36_surewarehk_rsa_priv_dec_95520b99dfef625c
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 892: NULL
function pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 870: the
if-condition is true (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 881: the
if-condition is false
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 892: calling
`p_surewarehk_Rsa_Priv_Dec'
VALUES AT THE END OF THE PATH:
hptr = 0
p_surewarehk_Rsa_Priv_Dec = 0
padding != 1
-- ERROR36 2 /*BEAM suppression: null function*/
>>>ERROR36_surewarehk_rsa_priv_dec_a6636aee5dfaf951
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 884: NULL
function pointer
ONE POSSIBLE PATH LEADING TO THE ERROR:
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 870: the
if-condition is true (used as evidence that error is possible)
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 881: the
if-condition is true
"third-party/openssl/openssl-0.9.8h/engines/e_sureware.c", line 884: calling
`p_surewarehk_Rsa_Priv_Dec'
VALUES AT THE END OF THE PATH:
hptr = 0
p_surewarehk_Rsa_Priv_Dec = 0
padding = 1
=
