mirror of
https://boringssl.googlesource.com/boringssl
synced 2026-07-21 14:43:51 +00:00
David Benjamin
33d1049b1f
We use the standard Apache 2.0 file header, described in "APPENDIX: How to apply the Apache License to your work." This was primarily automated by running: git ls-tree -r --name-only HEAD | xargs go run ./util/relicense.go See go/boringssl-relicensing-triage for the results of triaging the output of the tool. As part of this, switch from taking fiat-crypto under MIT license to Apache 2.0. (It is licensed under MIT OR Apache-2.0 OR BSD-1-Clause.) The copyright_summary tool can also be used to confirm we didn't accidentally drop any copyright lines: # Run before the CL git grep -l Copyright | xargs go run ./util/copyright_summary.go -out /tmp/old.json # Run after the CL git grep -l Copyright | xargs go run ./util/copyright_summary.go -compare /tmp/old.json Bug: 364634028 Change-Id: I17c50e761e9d077a1f92e25969e50ed35e320c59 Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/75852 Reviewed-by: Bob Beck <bbe@google.com> Commit-Queue: David Benjamin <davidben@google.com> Reviewed-by: Adam Langley <agl@google.com>
70 lines
2.2 KiB
C++
70 lines
2.2 KiB
C++
// Copyright 2017 The BoringSSL Authors
|
|
//
|
|
// 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 <openssl/bn.h>
|
|
#include <openssl/bytestring.h>
|
|
#include <openssl/span.h>
|
|
|
|
#define CHECK(expr) \
|
|
do { \
|
|
if (!(expr)) { \
|
|
printf("%s failed\n", #expr); \
|
|
abort(); \
|
|
} \
|
|
} while (false)
|
|
|
|
extern "C" int LLVMFuzzerTestOneInput(const uint8_t *buf, size_t len) {
|
|
CBS cbs, child0, child1;
|
|
uint8_t sign0, sign1;
|
|
CBS_init(&cbs, buf, len);
|
|
if (!CBS_get_u16_length_prefixed(&cbs, &child0) ||
|
|
!CBS_get_u8(&child0, &sign0) ||
|
|
CBS_len(&child0) == 0 ||
|
|
!CBS_get_u16_length_prefixed(&cbs, &child1) ||
|
|
!CBS_get_u8(&child1, &sign1) ||
|
|
CBS_len(&child1) == 0) {
|
|
return 0;
|
|
}
|
|
|
|
bssl::UniquePtr<BIGNUM> numerator(
|
|
BN_bin2bn(CBS_data(&child0), CBS_len(&child0), nullptr));
|
|
BN_set_negative(numerator.get(), sign0 % 2);
|
|
bssl::UniquePtr<BIGNUM> divisor(
|
|
BN_bin2bn(CBS_data(&child1), CBS_len(&child1), nullptr));
|
|
BN_set_negative(divisor.get(), sign1 % 2);
|
|
|
|
if (BN_is_zero(divisor.get())) {
|
|
return 0;
|
|
}
|
|
|
|
bssl::UniquePtr<BN_CTX> ctx(BN_CTX_new());
|
|
bssl::UniquePtr<BIGNUM> result(BN_new());
|
|
bssl::UniquePtr<BIGNUM> remainder(BN_new());
|
|
CHECK(ctx);
|
|
CHECK(result);
|
|
CHECK(remainder);
|
|
|
|
|
|
CHECK(BN_div(result.get(), remainder.get(), numerator.get(), divisor.get(),
|
|
ctx.get()));
|
|
CHECK(BN_ucmp(remainder.get(), divisor.get()) < 0);
|
|
|
|
// Check that result*divisor+remainder = numerator.
|
|
CHECK(BN_mul(result.get(), result.get(), divisor.get(), ctx.get()));
|
|
CHECK(BN_add(result.get(), result.get(), remainder.get()));
|
|
CHECK(BN_cmp(result.get(), numerator.get()) == 0);
|
|
|
|
return 0;
|
|
}
|