Encryptor: Require end of the output span to be indicated explicitly.

Usage becomes much less error-prone.
This commit is contained in:
hashlag
2026-02-02 00:52:08 +03:00
parent d194fef1af
commit 67709e5361
3 changed files with 31 additions and 47 deletions

View File

@@ -90,6 +90,16 @@ struct Bitwise
*out++ = (value >> (56 - (i * 8))) & Mask<8>(); *out++ = (value >> (56 - (i * 8))) & Mask<8>();
} }
} }
template<typename OutputIt>
static void CrunchUInt64(OutputIt outBegin, OutputIt outEnd, uint64_t value)
{
int_fast8_t i = 0;
for (OutputIt out = outBegin; i < 8 && out != outEnd; ++i, ++out)
{
*out = (value >> (56 - (i * 8))) & Mask<8>();
}
}
}; };
using RawKey = Service::SeArray<uint8_t, 8>; using RawKey = Service::SeArray<uint8_t, 8>;
@@ -237,7 +247,8 @@ public:
{ } { }
template<typename OutputIt, typename InputIt> template<typename OutputIt, typename InputIt>
void EncryptBlock(OutputIt out, InputIt inBegin, InputIt inEnd) const void EncryptBlock(OutputIt outBegin, OutputIt outEnd,
InputIt inBegin, InputIt inEnd) const
{ {
RawBlockArray block; RawBlockArray block;
@@ -252,7 +263,7 @@ public:
block.End()), block.End()),
Schedule_); Schedule_);
Inner_::Bitwise::CrunchUInt64(out, encrypted); Inner_::Bitwise::CrunchUInt64(outBegin, outEnd, encrypted);
} }
Block EncryptBlock(Block block) const Block EncryptBlock(Block block) const

View File

@@ -9,9 +9,10 @@ class Encryptor
{ {
public: public:
template<typename OutputIt, typename InputIt> template<typename OutputIt, typename InputIt>
void EncryptBlock(OutputIt out, InputIt inBegin, InputIt inEnd) const void EncryptBlock(OutputIt outBegin, OutputIt outEnd,
InputIt inBegin, InputIt inEnd) const
{ {
Impl().EncryptBlock(out, inBegin, inEnd); Impl().EncryptBlock(outBegin, outEnd, inBegin, inEnd);
} }
template<typename Block> template<typename Block>

View File

@@ -51,7 +51,7 @@ TEST(DesCryptTests, EncryptTest)
DesCrypt::Key desKey(key.begin(), key.end()); DesCrypt::Key desKey(key.begin(), key.end());
DesCrypt::DesEncryptor enc(desKey); DesCrypt::DesEncryptor enc(desKey);
enc.EncryptBlock(result.begin(), data.begin(), data.end()); enc.EncryptBlock(result.begin(), result.end(), data.begin(), data.end());
return result; return result;
} }
@@ -143,7 +143,7 @@ TEST(DesCryptTests, EncryptShortDataTest)
DesCrypt::Key desKey(key.begin(), key.end()); DesCrypt::Key desKey(key.begin(), key.end());
DesCrypt::DesEncryptor enc(desKey); DesCrypt::DesEncryptor enc(desKey);
enc.EncryptBlock(result.begin(), data.begin(), data.end()); enc.EncryptBlock(result.begin(), result.end(), data.begin(), data.end());
return result; return result;
} }
@@ -177,7 +177,7 @@ TEST(DesCryptTests, EncryptLongDataTest)
DesCrypt::Key desKey(key.begin(), key.end()); DesCrypt::Key desKey(key.begin(), key.end());
DesCrypt::DesEncryptor enc(desKey); DesCrypt::DesEncryptor enc(desKey);
enc.EncryptBlock(result.begin(), data.begin(), data.end()); enc.EncryptBlock(result.begin(), result.end(), data.begin(), data.end());
return result; return result;
} }
@@ -377,62 +377,34 @@ TEST(DesCryptTests, LongKeyTest)
TEST(DesCryptTests, OutIteratorUsageEncryptTest) TEST(DesCryptTests, OutIteratorUsageEncryptTest)
{ {
struct OutputItMock
{
OutputItMock(size_t & asteriskCalls, size_t & incrementCalls)
: AsteriskCalls_(asteriskCalls)
, IncrementCalls_(incrementCalls)
{ }
uint8_t & operator*()
{
++AsteriskCalls_;
static uint8_t dummy = 0;
return dummy;
}
OutputItMock operator++(int)
{
++IncrementCalls_;
return *this;
}
size_t & AsteriskCalls_;
size_t & IncrementCalls_;
};
{ {
std::array<uint8_t, DesCrypt::BlockSize> data = { 0xe5, 0x1a, 0x9f, 0xd4, 0x19, 0xa7, 0x93, 0x44 }; std::array<uint8_t, DesCrypt::BlockSize> data = { 0xe5, 0x1a, 0x9f, 0xd4, 0x19, 0xa7, 0x93, 0x44 };
std::array<uint8_t, 8> key = { 0xda, 0xec, 0x68, 0xae, 0x83, 0xe0, 0x1e, 0xab }; std::array<uint8_t, 8> key = { 0xda, 0xec, 0x68, 0xae, 0x83, 0xe0, 0x1e, 0xab };
size_t asteriskCalls = 0; std::array<uint8_t, 8> fact = {};
size_t incrementCalls = 0; // Last 3 bytes should be untouched.
OutputItMock it(asteriskCalls, incrementCalls); std::array<uint8_t, 8> expected = { 0x42, 0x27, 0x88, 0xa6, 0x7b, 0x00, 0x00, 0x00 };
DesCrypt::Key desKey(key.begin(), key.end()); DesCrypt::Key desKey(key.begin(), key.end());
DesCrypt::DesEncryptor enc(desKey); DesCrypt::DesEncryptor enc(desKey);
enc.EncryptBlock(it, data.begin(), data.end()); enc.EncryptBlock(fact.begin(), fact.end() - 3, data.begin(), data.end());
ASSERT_EQ(8, asteriskCalls); ASSERT_EQ(fact, expected);
ASSERT_EQ(8, incrementCalls);
} }
{ {
std::array<uint8_t, 11> data = { 0xe5, 0x1a, 0x9f, 0xd4, 0x19, 0x9f, 0x9f, 0x9f, 0x9f, 0x9f, 0x9f }; std::array<uint8_t, DesCrypt::BlockSize + 2> data = { 0xe5, 0x1a, 0x9f, 0xd4, 0x19, 0xa7, 0x93, 0x44, 0x44, 0x44 };
std::array<uint8_t, 8> key = { 0xda, 0xec, 0x68, 0xae, 0x83, 0xe0, 0x1e, 0xab }; std::array<uint8_t, 8> key = { 0xda, 0xec, 0x68, 0xae, 0x83, 0xe0, 0x1e, 0xab };
size_t asteriskCalls = 0; std::array<uint8_t, 8> fact = {};
size_t incrementCalls = 0; // Last 4 bytes should be untouched.
OutputItMock it(asteriskCalls, incrementCalls); std::array<uint8_t, 8> expected = { 0x42, 0x27, 0x88, 0xa6, 0x00, 0x00, 0x00, 0x00 };
DesCrypt::Key desKey(key.begin(), key.end()); DesCrypt::Key desKey(key.begin(), key.end());
DesCrypt::DesEncryptor enc(desKey); DesCrypt::DesEncryptor enc(desKey);
enc.EncryptBlock(it, data.begin(), data.end()); enc.EncryptBlock(fact.begin(), fact.end() - 4, data.begin(), data.end());
ASSERT_EQ(8, asteriskCalls); ASSERT_EQ(fact, expected);
ASSERT_EQ(8, incrementCalls);
} }
} }
@@ -504,7 +476,7 @@ static std::vector<uint8_t> EncryptThroughBase(const Encryptor<Impl> & enc,
std::vector<uint8_t> result; std::vector<uint8_t> result;
result.resize(enc.GetBlockSize(), 0); result.resize(enc.GetBlockSize(), 0);
enc.EncryptBlock(result.begin(), begin, end); enc.EncryptBlock(result.begin(), result.end(), begin, end);
return result; return result;
} }