Skip to content

fix for issue found by OSS Fuzz #810

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Aug 13, 2022
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -338,7 +338,7 @@ private long parseHexFloatLiteral(
// ------------------------
index = skipWhitespace(str, index, endIndex);
if (illegal || index < endIndex
|| digitCount == 0 && str[virtualIndexOfPoint] != '.'
|| digitCount == 0
|| !hasExponent) {
return PARSE_ERROR;
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -328,7 +328,7 @@ private long parseHexFloatLiteral(
// ------------------------
index = skipWhitespace(str, index, endIndex);
if (illegal || index < endIndex
|| digitCount == 0 && str.charAt(virtualIndexOfPoint) != '.'
|| digitCount == 0
|| !hasExponent) {
return PARSE_ERROR;
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -132,9 +132,9 @@ public static int tryToParseEightDigitsUtf8(long chunk) {
}

// The last 2 multiplications are independent of each other.
val = (val * (1 + (10 << 8))) >>> 8;
val = (((val & 0xff_000000ffL) * (100 + (100_0000L << 32)))
+ (((val >>> 16) & 0xff_000000ffL) * (1 + (1_0000L << 32)))) >>> 32;
val = val * (1 + (10 << 8)) >>> 8;
val = (val & 0xff_000000ffL) * (100 + (100_0000L << 32))
+ (val >>> 16 & 0xff_000000ffL) * (1 + (1_0000L << 32)) >>> 32;
return (int) val;
}

Expand Down Expand Up @@ -326,4 +326,4 @@ public static long readLongFromByteArrayBigEndian(byte[] a, int offset) {
| ((a[offset + 6] & 0xffL) << 8)
| (a[offset + 7] & 0xffL);
}
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -42,14 +42,6 @@
* </dl>
*
* <dl>
* <dt><i>HexSignificand:</i>
* <dd><i>HexNumeral</i>
* <dd><i>HexNumeral</i> {@code .}
* <dd>{@code 0x} <i>[HexDigits]</i> {@code .} <i>HexDigits</i>
* <dd>{@code 0X} <i>[HexDigits]</i> {@code .} <i>HexDigits</i>
* </dl>
*
* <dl>
* <dt><i>BinaryExponent:</i>
* <dd><i>BinaryExponentIndicator SignedInteger</i>
* </dl>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,10 @@ List<DynamicNode> dynamicTestsIllegalInputs() {
dynamicTest("0x123.456789abcde", () -> testIllegalInput("0x123.456789abcde")),
dynamicTest(".", () -> testIllegalInput(".")),
dynamicTest("0x.", () -> testIllegalInput("0x.")),
dynamicTest("0x", () -> testIllegalInput("0x")),
dynamicTest("0x1", () -> testIllegalInput("0x1")),
dynamicTest("0xp1", () -> testIllegalInput("0xp1")),
dynamicTest("0x1.", () -> testIllegalInput("0x1.")),
dynamicTest(".e2", () -> testIllegalInput(".e2"))
);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,6 @@
import org.junit.jupiter.api.DynamicTest;
import org.junit.jupiter.api.TestFactory;

import java.util.ArrayList;
import java.util.List;
import java.util.Random;
import java.util.stream.IntStream;
import java.util.stream.Stream;
Expand Down Expand Up @@ -46,15 +44,15 @@ abstract class AbstractLexicallyGeneratedTest {
* (Make sure to take a note of the seed value if
* tests failed.)
*/
public static final long SEED = 0;//System.nanoTime();
public static final long SEED = System.nanoTime();

@TestFactory
@Disabled
Stream<DynamicTest> dynamicTestsRandomStringFrom10SyntaxRuleWithoutWhitespace() {
Stream<DynamicTest> dynamicTestsRandomStringFrom1SyntaxRuleWithoutWhitespace() {
Random rng = new Random(SEED);
LexicalGenerator gen = new LexicalGenerator(false, true);
return IntStream.range(1, 10_000).mapToObj(i -> {
String str = gen.produceRandomInputStringFromLexicalRuleWithoutWhitespace(10, rng);
return IntStream.range(0, 100).mapToObj(i -> {
String str = gen.produceRandomInputStringFromLexicalRuleWithoutWhitespace(1, rng);
return dynamicTest(i + ": " + str,
() -> testAgainstJdk(str));
}
Expand All @@ -63,11 +61,24 @@ Stream<DynamicTest> dynamicTestsRandomStringFrom10SyntaxRuleWithoutWhitespace()

@TestFactory
@Disabled
Stream<DynamicTest> dynamicTestsRandomStringFrom1SyntaxRuleWithoutWhitespace() {
Stream<DynamicTest> dynamicTestsRandomStringFrom2SyntaxRuleWithoutWhitespace() {
Random rng = new Random(SEED);
LexicalGenerator gen = new LexicalGenerator(false, true);
return IntStream.range(1, 10_000).mapToObj(i -> {
String str = gen.produceRandomInputStringFromLexicalRuleWithoutWhitespace(1, rng);
return IntStream.range(0, 10_000).mapToObj(i -> {
String str = gen.produceRandomInputStringFromLexicalRuleWithoutWhitespace(2, rng);
return dynamicTest(i + ": " + str,
() -> testAgainstJdk(str));
}
);
}

@TestFactory
@Disabled
Stream<DynamicTest> dynamicTestsRandomStringFrom3SyntaxRuleWithoutWhitespace() {
Random rng = new Random(SEED);
LexicalGenerator gen = new LexicalGenerator(false, true);
return IntStream.range(0, 10_000).mapToObj(i -> {
String str = gen.produceRandomInputStringFromLexicalRuleWithoutWhitespace(3, rng);
return dynamicTest(i + ": " + str,
() -> testAgainstJdk(str));
}
Expand All @@ -76,11 +87,24 @@ Stream<DynamicTest> dynamicTestsRandomStringFrom1SyntaxRuleWithoutWhitespace() {

@TestFactory
@Disabled
Stream<DynamicTest> dynamicTestsRandomStringFrom40SyntaxRuleWithoutWhitespace() {
Stream<DynamicTest> dynamicTestsRandomStringFrom4SyntaxRuleWithoutWhitespace() {
Random rng = new Random(SEED);
LexicalGenerator gen = new LexicalGenerator(false, true);
return IntStream.range(1, 10_000).mapToObj(i -> {
String str = gen.produceRandomInputStringFromLexicalRuleWithoutWhitespace(40, rng);
return IntStream.range(0, 10_000).mapToObj(i -> {
String str = gen.produceRandomInputStringFromLexicalRuleWithoutWhitespace(4, rng);
return dynamicTest(i + ": " + str,
() -> testAgainstJdk(str));
}
);
}

@TestFactory
@Disabled
Stream<DynamicTest> dynamicTestsRandomStringFrom10SyntaxRuleWithoutWhitespace() {
Random rng = new Random(SEED);
LexicalGenerator gen = new LexicalGenerator(false, true);
return IntStream.range(0, 10_000).mapToObj(i -> {
String str = gen.produceRandomInputStringFromLexicalRuleWithoutWhitespace(10, rng);
return dynamicTest(i + ": " + str,
() -> testAgainstJdk(str));
}
Expand All @@ -102,13 +126,38 @@ Stream<DynamicTest> dynamicTestsRandomStringsOfIncreasingLengthWithWhitespace()

@TestFactory
@Disabled
List<DynamicNode> dynamicTestsAllSingleCharacterInputs() {
ArrayList<DynamicNode> list = new ArrayList<>();
for (int codePoint = 0; codePoint <= Character.MAX_VALUE; codePoint++) {
String str = "" + (char) codePoint;
list.add(dynamicTest("0x" + Integer.toHexString(codePoint), () -> testAgainstJdk(str)));
}
return list;
Stream<DynamicNode> dynamicTestsAsciiCharacterInputsUpTo4Characters() {
int maxLength = 4;
Random rng = new Random();
return IntStream.range(0, 10_000).mapToObj(i -> {
char[] ch = new char[4];
int n = rng.nextInt(maxLength) + 1;
for (int j = 0; j < n; j++) {
ch[j] = nextAsciiChar(rng);
}
StringBuilder str = new StringBuilder();
StringBuilder title = new StringBuilder(Integer.toString(n));
title.append(':');
for (int j = 0; j < 4; j++) {
char c = ch[j];
if (c >= ' ') {
if (Character.isISOControl(c) || Character.isWhitespace(c)) {
title.append("&#x").append(Integer.toHexString(c)).append(';');
str.append(c);
} else {
title.append((char) c);
str.append(c);
}
}
}
return dynamicTest(title.toString(), () -> testAgainstJdk(str.toString()));
});
}

private static char nextAsciiChar(Random rng) {
//U+0020 SPACE
//U+007F DELETE
return (char) (rng.nextInt(0x7f - 0x20) + 0x20);
}

/**
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -132,40 +132,46 @@ private int produceRandomDecimalFloatingPointLiteral(int remaining, Random rng,
remaining = produceRandomDigits(remaining, rng, buf);
buf.append('.');
remaining--;
if (rng.nextBoolean()) {
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomDigits(remaining, rng, buf);
}
if (rng.nextBoolean()) {
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomExponentPart(remaining, rng, buf);
}
if (rng.nextBoolean()) {
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomFloatTypeSuffix(remaining, rng, buf);
}
break;
case 1:
buf.append('.');
remaining--;
remaining = produceRandomDigits(remaining, rng, buf);
if (rng.nextBoolean()) {
if (remaining > 0) {
remaining = produceRandomDigits(remaining, rng, buf);
}
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomExponentPart(remaining, rng, buf);
}
if (rng.nextBoolean()) {
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomFloatTypeSuffix(remaining, rng, buf);
}
break;
case 2:
remaining = produceRandomDigits(remaining, rng, buf);
remaining = produceRandomExponentPart(remaining, rng, buf);
if (rng.nextBoolean()) {
if (remaining > 0) {
remaining = produceRandomExponentPart(remaining, rng, buf);
}
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomFloatTypeSuffix(remaining, rng, buf);
}
break;
case 3:
remaining = produceRandomDigits(remaining, rng, buf);
if (rng.nextBoolean()) {
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomExponentPart(remaining, rng, buf);
}
remaining = produceRandomFloatTypeSuffix(remaining, rng, buf);
if (remaining > 0) {
remaining = produceRandomFloatTypeSuffix(remaining, rng, buf);
}
break;
}
return remaining;
Expand Down Expand Up @@ -205,10 +211,12 @@ private int produceRandomDigits(int remaining, Random rng, StringBuilder buf) {
break;
case 1:
remaining = produceRandomDigit(remaining, rng, buf);
if (rng.nextBoolean()) {
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomDigitsAndUnderscores(remaining, rng, buf);
}
remaining = produceRandomDigit(remaining, rng, buf);
if (remaining > 0) {
remaining = produceRandomDigit(remaining, rng, buf);
}
break;
}

Expand All @@ -226,17 +234,21 @@ private int produceRandomDigitsAndUnderscores(int remaining, Random rng, StringB
switch (rng.nextInt(2)) {
case 0:
remaining = produceRandomDigitOrUnderscore(remaining, rng, buf);
int todo = rng.nextInt(Math.max(remaining, 1));
for (int i = 0; i < todo; i++) {
remaining = produceRandomDigitOrUnderscore(remaining, rng, buf);
if (remaining > 0) {
int todo = rng.nextInt(Math.max(remaining, 1));
for (int i = 0; i < todo; i++) {
remaining = produceRandomDigitOrUnderscore(remaining, rng, buf);
}
}
break;
case 1:
remaining = produceRandomDigit(remaining, rng, buf);
if (rng.nextBoolean()) {
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomDigitsAndUnderscores(remaining, rng, buf);
}
remaining = produceRandomDigit(remaining, rng, buf);
if (remaining > 0) {
remaining = produceRandomDigit(remaining, rng, buf);
}
break;
}
return remaining;
Expand Down Expand Up @@ -289,22 +301,28 @@ private int produceRandomFloatTypeSuffix(int remaining, Random rng, StringBuilde
private int produceRandomFloatValue(int remaining, Random rng, StringBuilder buf) {
switch (rng.nextInt(4)) {
case 0:
if (rng.nextBoolean()) {
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomSign(remaining, rng, buf);
}
remaining = produceRandomNaNOrInfinity(remaining, rng, buf);
if (remaining > 0 && remaining > 0) {
remaining = produceRandomNaNOrInfinity(remaining, rng, buf);
}
break;
case 1:
if (rng.nextBoolean()) {
remaining = produceRandomSign(remaining, rng, buf);
}
remaining = produceRandomDecimalFloatingPointLiteral(remaining, rng, buf);
if (remaining > 0) {
remaining = produceRandomDecimalFloatingPointLiteral(remaining, rng, buf);
}
break;
case 2:
if (rng.nextBoolean()) {
remaining = produceRandomSign(remaining, rng, buf);
}
remaining = produceRandomHexFloatingPointLiteral(remaining, rng, buf);
if (remaining > 0) {
remaining = produceRandomHexFloatingPointLiteral(remaining, rng, buf);
}
break;
case 3:
remaining = produceRandomSignedInteger(remaining, rng, buf);
Expand Down Expand Up @@ -348,15 +366,21 @@ private int produceRandomHexDigitsAndUnderscores(int remaining, Random rng, Stri

private int produceRandomHexFloatingPointLiteral(int remaining, Random rng, StringBuilder buf) {
remaining = produceRandomHexSignificand(remaining, rng, buf);
remaining = produceRandomBinaryExponent(remaining, rng, buf);
remaining = produceRandomFloatTypeSuffix(remaining, rng, buf);
if (remaining > 0) {
remaining = produceRandomBinaryExponent(remaining, rng, buf);
}
if (remaining > 0) {
remaining = produceRandomFloatTypeSuffix(remaining, rng, buf);
}
return remaining;
}

private int produceRandomHexNumeral(int remaining, Random rng, StringBuilder buf) {
buf.append(rng.nextBoolean() ? "0x" : "0X");
remaining--;
remaining = produceRandomHexDigits(remaining, rng, buf);
if (remaining > 0) {
remaining = produceRandomHexDigits(remaining, rng, buf);
}
return remaining;
}

Expand All @@ -382,12 +406,14 @@ private int produceRandomHexSignificand(int remaining, Random rng, StringBuilder
case 2:
buf.append(rng.nextBoolean() ? "0x" : "0X");
remaining--;
if (rng.nextBoolean()) {
if (remaining > 0 && rng.nextBoolean()) {
remaining = produceRandomHexDigits(remaining, rng, buf);
}
if (remaining > 0 && rng.nextBoolean()) {
buf.append('.');
remaining--;
remaining = produceRandomHexDigits(remaining, rng, buf);
}
buf.append('.');
remaining--;
remaining = produceRandomHexDigits(remaining, rng, buf);
break;
}
return remaining;
Expand All @@ -403,8 +429,12 @@ private int produceRandomHexSignificand(int remaining, Random rng, StringBuilder
public String produceRandomInputStringFromLexicalRuleWithWhitespace(int remaining, Random rng) {
StringBuilder buf = new StringBuilder();
remaining = produceRandomWhitespaces(remaining, rng, buf);
remaining = produceRandomFloatValue(remaining, rng, buf);
remaining = produceRandomWhitespaces(remaining, rng, buf);
if (remaining > 0) {
remaining = produceRandomFloatValue(remaining, rng, buf);
}
if (remaining > 0) {
remaining = produceRandomWhitespaces(remaining, rng, buf);
}
return buf.toString();
}

Expand Down Expand Up @@ -452,7 +482,9 @@ private int produceRandomSignedInteger(int remaining, Random rng, StringBuilder
if (rng.nextBoolean()) {
remaining = produceRandomSign(remaining, rng, buf);
}
remaining = produceRandomDigits(remaining, rng, buf);
if (remaining > 0) {
remaining = produceRandomDigits(remaining, rng, buf);
}
return remaining;
}

Expand Down