Werner Koch
35db798c2d
common: Make openpgp_oid_to_str more robust.
...
* common/openpgp-oid.c (openpgp_oid_to_str): Take care of
gcry_mpi_get_opaque returning NULL. Remove useless condition !BUF.
--
It is possible that an opaque MPI stores just a NULL pointer. Take
care of that before incrementing the pointer. We return an error in
this case because at least a length byte is required.
Found due to hint from stack 0.3:
bug: anti-simplify
model: |
%tobool15 = icmp ne i8* %incdec.ptr, null, !dbg !567
--> true
stack:
- /home/wk/s/gnupg/common/openpgp-oid.c:220:0
ncore: 1
core:
- /home/wk/s/gnupg/common/openpgp-oid.c:212:0
- pointer overflow
Signed-off-by: Werner Koch <wk@gnupg.org>
2015-03-15 12:07:21 +01:00
..
2013-02-06 12:56:19 +01:00
2015-02-03 09:12:45 +01:00
2014-10-29 17:07:51 +01:00
2014-08-26 17:47:54 +02:00
2014-11-27 20:41:37 +01:00
2014-11-19 10:47:56 +01:00
2014-08-26 17:47:54 +02:00
2014-08-26 17:47:54 +02:00
2012-04-20 15:48:48 +02:00
2015-02-11 10:28:25 +01:00
2011-12-01 11:09:02 +01:00
2014-01-29 17:45:05 +01:00
2011-12-01 11:09:02 +01:00
2007-07-04 19:49:40 +00:00
2012-04-20 15:48:48 +02:00
2015-02-25 16:34:19 +01:00
2015-02-25 12:03:21 +01:00
2014-12-22 12:56:13 +01:00
2012-06-05 19:29:22 +02:00
2011-09-30 12:53:34 +02:00
2011-02-04 12:57:53 +01:00
2014-09-18 16:01:11 +02:00
2014-10-03 11:58:58 +02:00
2014-05-02 08:22:38 +02:00
2014-08-26 17:47:54 +02:00
2011-02-04 12:57:53 +01:00
2014-03-12 18:35:36 +01:00
2014-11-19 10:47:56 +01:00
2012-04-20 15:48:48 +02:00
2014-03-18 11:02:50 +01:00
2014-03-18 11:02:50 +01:00
2013-05-07 21:35:48 +02:00
2013-11-18 14:09:47 +01:00
2012-06-05 19:29:22 +02:00
2015-02-04 10:28:38 +01:00
2015-02-11 10:28:25 +01:00
2014-12-08 17:12:23 +01:00
2014-08-26 17:47:54 +02:00
2012-04-20 15:48:48 +02:00
2011-02-04 12:57:53 +01:00
2015-01-28 19:57:22 +01:00
2015-01-28 19:57:22 +01:00
2015-02-11 10:28:25 +01:00
2014-08-26 17:47:54 +02:00
2007-07-04 19:49:40 +00:00
2011-01-10 14:30:17 +01:00
2011-09-30 12:53:34 +02:00
2012-04-20 15:48:48 +02:00
2014-03-07 16:06:35 +01:00
2014-08-26 17:47:54 +02:00
2015-02-25 16:34:19 +01:00
2014-02-26 16:18:45 +01:00
2015-02-26 18:16:45 +01:00
2015-02-25 11:43:50 +01:00
2014-08-26 17:47:54 +02:00
2014-02-26 16:16:30 +01:00
2014-08-26 17:47:54 +02:00
2011-09-30 12:53:34 +02:00
2014-08-11 17:22:47 +02:00
2011-02-04 12:57:53 +01:00
2011-02-04 12:57:53 +01:00
2011-02-04 12:57:53 +01:00
2015-03-15 12:07:21 +01:00
2014-09-12 11:31:49 +02:00
2012-04-20 15:48:48 +02:00
2015-02-26 18:15:10 +01:00
2015-02-25 16:34:19 +01:00
2003-08-05 17:11:04 +00:00
2011-02-04 12:57:53 +01:00
2014-12-19 13:07:09 +01:00
2012-04-20 15:48:48 +02:00
2012-04-20 15:48:48 +02:00
2014-09-18 16:01:11 +02:00
2013-02-06 12:56:19 +01:00
2012-04-20 15:48:48 +02:00
2014-11-19 10:47:56 +01:00
2011-02-04 12:57:53 +01:00
2015-02-11 10:28:25 +01:00
2014-03-07 14:18:43 +01:00
2014-03-22 20:52:03 +01:00
2012-04-20 15:48:48 +02:00
2011-02-04 12:57:53 +01:00
2013-01-30 18:51:56 +01:00
2015-02-26 18:16:45 +01:00
2015-02-26 18:16:45 +01:00
2011-09-30 12:53:34 +02:00
2011-09-30 12:53:34 +02:00
2014-11-11 15:14:31 +01:00
2014-11-11 15:14:31 +01:00
2012-06-05 19:29:22 +02:00
2011-02-04 12:57:53 +01:00
2015-02-25 12:03:21 +01:00
2012-06-05 19:29:22 +02:00
2011-08-10 14:11:30 +02:00
2012-06-05 19:29:22 +02:00
2012-06-05 19:29:22 +02:00
2014-10-02 17:33:57 +02:00
2014-02-26 16:18:45 +01:00
2015-02-25 11:43:50 +01:00
2015-03-10 15:35:30 +01:00
2011-02-04 12:57:53 +01:00
2015-02-25 16:34:19 +01:00
2011-02-04 12:57:53 +01:00
2011-02-04 12:57:53 +01:00
2012-06-05 19:29:22 +02:00
2014-04-22 15:58:33 +02:00
2011-09-30 12:53:34 +02:00
2014-02-26 16:18:45 +01:00
2014-11-11 15:14:31 +01:00
2014-11-11 10:13:10 +01:00
2011-09-30 12:53:34 +02:00
2015-02-24 17:02:00 +01:00
2014-05-02 11:19:25 +02:00
2015-02-11 10:28:25 +01:00
2012-04-20 15:48:48 +02:00
2014-08-26 17:47:54 +02:00
2014-03-27 12:59:55 +01:00
2014-01-29 17:45:05 +01:00
2012-04-20 15:48:48 +02:00
2012-04-20 15:48:48 +02:00
2014-02-26 14:03:57 +01:00
2011-09-30 12:53:34 +02:00
2015-03-10 15:35:30 +01:00
2011-09-30 12:53:34 +02:00
2011-09-30 12:53:34 +02:00
2014-03-07 14:18:43 +01:00
2013-07-31 16:25:41 +02:00
2015-02-03 09:12:45 +01:00
2014-08-26 17:47:54 +02:00
2014-06-02 11:47:25 +02:00
2011-09-30 12:53:34 +02:00
2012-04-20 15:48:48 +02:00
2011-02-04 12:57:53 +01:00
2014-04-17 21:09:10 +02:00