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 =