p_verify.c

Line

Source

Count

1

-

2

-

3

int EVP_VerifyFinal(EVP_MD_CTX *ctx, const unsigned char *sigbuf,

-

4

unsigned int siglen, EVP_PKEY *pkey)

-

5

{

-

6

unsigned char m[64];

-

7

unsigned int m_len = 0;

-

8

int i = 0;

-

9

EVP_PKEY_CTX *pkctx =

-

10

((void *)0)

-

11

;

-

12

-

13

if (EVP_MD_CTX_test_flags(ctx, 0x0200)

EVP_MD_CTX_tes...s(ctx, 0x0200)	Description
TRUE	never evaluated
FALSE	evaluated 25 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-25

14

if (!EVP_DigestFinal_ex(ctx, m, &m_len)

!EVP_DigestFin...tx, m, &m_len)	Description
TRUE	never evaluated
FALSE	never evaluated

)

0

15

goto

never executed: goto err;

err;

never executed: goto err;

0

16

}

never executed: end of block

else {

0

17

int rv = 0;

-

18

EVP_MD_CTX *tmp_ctx = EVP_MD_CTX_new();

-

19

if (tmp_ctx ==

tmp_ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 25 times by 1 test Evaluated by: libcrypto.so.1.1

0-25

20

((void *)0)

tmp_ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 25 times by 1 test Evaluated by: libcrypto.so.1.1

0-25

21

) {

-

22

ERR_put_error(6,(108),((1|64)),__FILE__,32);

-

23

return

never executed: return 0;

0;

never executed: return 0;

0

24

}

-

25

rv = EVP_MD_CTX_copy_ex(tmp_ctx, ctx);

-

26

if (rv

rv	Description
TRUE	evaluated 25 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

)

0-25

27

rv = EVP_DigestFinal_ex(tmp_ctx, m, &m_len);

executed 25 times by 1 test: rv = EVP_DigestFinal_ex(tmp_ctx, m, &m_len);

Executed by:

libcrypto.so.1.1

25

28

EVP_MD_CTX_free(tmp_ctx);

-

29

if (!rv

!rv	Description
TRUE	never evaluated
FALSE	evaluated 25 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-25

30

return

never executed: return 0;

0;

never executed: return 0;

0

31

}

executed 25 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

25

32

-

33

i = -1;

-

34

pkctx = EVP_PKEY_CTX_new(pkey,

-

35

((void *)0)

-

36

);

-

37

if (pkctx ==

pkctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 25 times by 1 test Evaluated by: libcrypto.so.1.1

0-25

38

((void *)0)

pkctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 25 times by 1 test Evaluated by: libcrypto.so.1.1

0-25

39

)

-

40

goto

never executed: goto err;

err;

never executed: goto err;

0

41

if (EVP_PKEY_verify_init(pkctx) <= 0

EVP_PKEY_verif...it(pkctx) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 25 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-25

42

goto

never executed: goto err;

err;

never executed: goto err;

0

43

if (EVP_PKEY_CTX_ctrl(pkctx, -1, ((1<<3) | (1<<4) | (1<<5) | (1<<6) | (1<<7)), 1, 0, (void *)(EVP_MD_CTX_md(ctx))) <= 0

EVP_PKEY_CTX_c...md(ctx))) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 25 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-25

44

goto

never executed: goto err;

err;

never executed: goto err;

0

45

i = EVP_PKEY_verify(pkctx, sigbuf, siglen, m, m_len);

-

46

err:

code before this statement executed 25 times by 1 test: err:

Executed by:

libcrypto.so.1.1

25

47

EVP_PKEY_CTX_free(pkctx);

-

48

return

executed 25 times by 1 test: return i;

Executed by:

libcrypto.so.1.1

i;

executed 25 times by 1 test: return i;

Executed by:

libcrypto.so.1.1

25

49

}

-