diff options
| author | jbj <devnull@localhost> | 2003-11-23 16:10:08 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2003-11-23 16:10:08 +0000 |
| commit | fda9ddca9bcd46cefc145c14cfd901906600c9d2 (patch) | |
| tree | a7263d970e6ca727e0d913a189ad2e54d8d34603 /beecrypt/aes_be.h | |
| parent | 3f976dcda6980cf55461d11ec75eaf372a87cdbc (diff) | |
| download | librpm-tizen-fda9ddca9bcd46cefc145c14cfd901906600c9d2.tar.gz librpm-tizen-fda9ddca9bcd46cefc145c14cfd901906600c9d2.tar.bz2 librpm-tizen-fda9ddca9bcd46cefc145c14cfd901906600c9d2.zip | |
- changes for db-4.2.42.
- splint fiddles.
CVS patchset: 6957
CVS date: 2003/11/23 16:10:08
Diffstat (limited to 'beecrypt/aes_be.h')
| -rw-r--r-- | beecrypt/aes_be.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/beecrypt/aes_be.h b/beecrypt/aes_be.h index 16fcbea10..a3a852579 100644 --- a/beecrypt/aes_be.h +++ b/beecrypt/aes_be.h @@ -17,6 +17,7 @@ * */ +/*@observer@*/ /*@unchecked@*/ const uint32_t _ae0[256] = { 0xc66363a5, 0xf87c7c84, 0xee777799, 0xf67b7b8d, 0xfff2f20d, 0xd66b6bbd, 0xde6f6fb1, 0x91c5c554, @@ -84,6 +85,7 @@ const uint32_t _ae0[256] = { 0x7bb0b0cb, 0xa85454fc, 0x6dbbbbd6, 0x2c16163a }; +/*@observer@*/ /*@unchecked@*/ const uint32_t _ae1[256] = { 0xa5c66363, 0x84f87c7c, 0x99ee7777, 0x8df67b7b, 0x0dfff2f2, 0xbdd66b6b, 0xb1de6f6f, 0x5491c5c5, @@ -151,6 +153,7 @@ const uint32_t _ae1[256] = { 0xcb7bb0b0, 0xfca85454, 0xd66dbbbb, 0x3a2c1616 }; +/*@observer@*/ /*@unchecked@*/ const uint32_t _ae2[256] = { 0x63a5c663, 0x7c84f87c, 0x7799ee77, 0x7b8df67b, 0xf20dfff2, 0x6bbdd66b, 0x6fb1de6f, 0xc55491c5, @@ -218,6 +221,7 @@ const uint32_t _ae2[256] = { 0xb0cb7bb0, 0x54fca854, 0xbbd66dbb, 0x163a2c16 }; +/*@observer@*/ /*@unchecked@*/ const uint32_t _ae3[256] = { 0x6363a5c6, 0x7c7c84f8, 0x777799ee, 0x7b7b8df6, 0xf2f20dff, 0x6b6bbdd6, 0x6f6fb1de, 0xc5c55491, @@ -285,6 +289,7 @@ const uint32_t _ae3[256] = { 0xb0b0cb7b, 0x5454fca8, 0xbbbbd66d, 0x16163a2c }; +/*@observer@*/ /*@unchecked@*/ const uint32_t _ae4[256] = { 0x63636363, 0x7c7c7c7c, 0x77777777, 0x7b7b7b7b, 0xf2f2f2f2, 0x6b6b6b6b, 0x6f6f6f6f, 0xc5c5c5c5, @@ -352,6 +357,7 @@ const uint32_t _ae4[256] = { 0xb0b0b0b0, 0x54545454, 0xbbbbbbbb, 0x16161616 }; +/*@observer@*/ /*@unchecked@*/ const uint32_t _ad0[256] = { 0x51f4a750, 0x7e416553, 0x1a17a4c3, 0x3a275e96, 0x3bab6bcb, 0x1f9d45f1, 0xacfa58ab, 0x4be30393, @@ -419,6 +425,7 @@ const uint32_t _ad0[256] = { 0x7bcb8461, 0xd532b670, 0x486c5c74, 0xd0b85742 }; +/*@observer@*/ /*@unchecked@*/ const uint32_t _ad1[256] = { 0x5051f4a7, 0x537e4165, 0xc31a17a4, 0x963a275e, 0xcb3bab6b, 0xf11f9d45, 0xabacfa58, 0x934be303, @@ -486,6 +493,7 @@ const uint32_t _ad1[256] = { 0x617bcb84, 0x70d532b6, 0x74486c5c, 0x42d0b857 }; +/*@observer@*/ /*@unchecked@*/ const uint32_t _ad2[256] = { 0xa75051f4, 0x65537e41, 0xa4c31a17, 0x5e963a27, 0x6bcb3bab, 0x45f11f9d, 0x58abacfa, 0x03934be3, @@ -553,6 +561,7 @@ const uint32_t _ad2[256] = { 0x84617bcb, 0xb670d532, 0x5c74486c, 0x5742d0b8 }; +/*@observer@*/ /*@unchecked@*/ const uint32_t _ad3[256] = { 0xf4a75051, 0x4165537e, 0x17a4c31a, 0x275e963a, 0xab6bcb3b, 0x9d45f11f, 0xfa58abac, 0xe303934b, @@ -620,6 +629,7 @@ const uint32_t _ad3[256] = { 0xcb84617b, 0x32b670d5, 0x6c5c7448, 0xb85742d0 }; +/*@observer@*/ /*@unchecked@*/ const uint32_t _ad4[256] = { 0x52525252, 0x09090909, 0x6a6a6a6a, 0xd5d5d5d5, 0x30303030, 0x36363636, 0xa5a5a5a5, 0x38383838, @@ -687,6 +697,7 @@ const uint32_t _ad4[256] = { 0x55555555, 0x21212121, 0x0c0c0c0c, 0x7d7d7d7d }; +/*@observer@*/ /*@unchecked@*/ static const uint32_t _arc[] = { 0x01000000, 0x02000000, 0x04000000, 0x08000000, 0x10000000, 0x20000000, 0x40000000, 0x80000000, |