| // Copyright 2026 Google LLC |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // https://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| // |
| |
| #include "bindings/binding_hasher.h" |
| |
| #include <algorithm> |
| #include <cstdint> |
| #include <memory> |
| #include <optional> |
| #include <string> |
| #include <utility> |
| #include <vector> |
| |
| #include "absl/base/nullability.h" |
| #include "absl/status/status.h" |
| #include "absl/strings/string_view.h" |
| #include "bindings/input_hasher.h" |
| #include "riegeli/bytes/reader.h" |
| |
| namespace credentio { |
| absl_nullable std::unique_ptr<BindingHasher> BindingHasher::Create( |
| absl::string_view alg, std::vector<Chunk> chunks, |
| BindingHasherTracker& tracker) { |
| auto hasher = InputHasher::Create(alg); |
| if (!hasher.ok()) { |
| tracker.RecordAlgorithmUnsupported(); |
| return nullptr; |
| } |
| return std::make_unique<BindingHasher>(*std::move(hasher), std::move(chunks)); |
| } |
| |
| std::optional<std::string> BindingHasher::Digest(riegeli::Reader& input, |
| BindingHasherTracker& tracker, |
| uint64_t start_offset, |
| int64_t end_offset) { |
| if (!input.SupportsSize() || !input.Size().has_value()) { |
| tracker.RecordMalformed(); |
| return std::nullopt; |
| } |
| const uint64_t file_size = *input.Size(); |
| |
| if (end_offset < 0) { |
| end_offset = file_size; |
| } |
| if (end_offset > file_size) { |
| tracker.RecordMalformed(); |
| return std::nullopt; |
| } |
| |
| auto update_input = [&](uint64_t offset, int64_t size) -> bool { |
| if (size <= 0) { |
| return true; |
| } |
| const absl::Status status = hasher_->Update(input, offset, size); |
| if (!status.ok()) { |
| tracker.RecordGeneralError(status); |
| return false; |
| } |
| return true; |
| }; |
| |
| uint64_t pos = start_offset; |
| std::optional<Chunk::Op> last_op = std::nullopt; |
| for (const auto& chunk : chunks_) { |
| // Check Op compatibility. |
| if (last_op.has_value() && (chunk.op == Chunk::Op::kInclusion) != |
| (*last_op == Chunk::Op::kInclusion)) { |
| tracker.RecordMalformed(); |
| return std::nullopt; |
| } |
| last_op = chunk.op; |
| |
| // Check out of file or negative length chunk. |
| if (pos >= end_offset || chunk.length < 0 || chunk.offset > end_offset || |
| chunk.offset < pos) { |
| tracker.RecordMalformed(); |
| return std::nullopt; |
| } |
| |
| // Advance to the chunk offset. |
| const uint64_t next_pos = std::min<uint64_t>(chunk.offset, end_offset); |
| if (chunk.op != Chunk::Op::kInclusion) { |
| if (!update_input(pos, next_pos - pos)) { |
| return std::nullopt; |
| } |
| } |
| pos = next_pos; |
| if (pos >= end_offset && chunk.op != Chunk::Op::kExclusion) { |
| // Appending to the end of file is not allowed. |
| tracker.RecordMalformed(); |
| return std::nullopt; |
| } |
| |
| // Advance through the chunk. |
| int64_t chunk_size = chunk.length; |
| const int64_t file_left_size = end_offset - pos; |
| switch (chunk.op) { |
| case Chunk::Op::kExclusion: |
| case Chunk::Op::kInclusion: |
| if (chunk_size > file_left_size) { |
| tracker.RecordMismatch(); |
| return std::nullopt; |
| } |
| if (chunk_size == 0) { |
| chunk_size = file_left_size; |
| } |
| if (chunk.op == Chunk::Op::kInclusion) { |
| if (!update_input(pos, chunk_size)) { |
| return std::nullopt; |
| } |
| } |
| break; |
| case Chunk::Op::kInsertion: |
| // Ignore the chunk size. |
| chunk_size = 0; |
| hasher_->Update(chunk.additional_data); |
| break; |
| } |
| pos += chunk_size; |
| } |
| |
| if (!last_op.has_value() || *last_op != Chunk::Op::kInclusion) { |
| // Advance the rest of file. |
| if (!update_input(pos, end_offset - pos)) { |
| return std::nullopt; |
| } |
| } |
| return hasher_->Digest(); |
| } |
| } // namespace credentio |