delta/llvm.git/libc/fuzzing, branch scripted-process

[libc] Add implementations of nextafter[f|l] functions.

2021-01-06T06:32:39+00:00

A differential fuzzer for these functions has also been added.
Along the way, a small correction has been done to the normal/subnormal
limits of x86 long double values.

Reviewed By: lntue

Differential Revision: https://reviews.llvm.org/D94109

[libc] Combine all math differential fuzzers into one target.

2020-11-20T15:46:15+00:00

Also added diffing of a few more math functions. Combining the diff check
for all of these functions helps us meet the OSS fuzz bar of a minimum of
100 program edges.

Reviewed By: lntue

Differential Revision: https://reviews.llvm.org/D91817

[libc] Add differential fuzzers for ldexp and remquo.

2020-11-19T16:32:05+00:00

Reviewed By: lntue

Differential Revision: https://reviews.llvm.org/D91763

[libc] Adds fuzz test for strstr and alphabetizes string fuzz CMakeList.

2020-07-29T20:35:59+00:00

Reviewed By: sivachandra

Differential Revision: https://reviews.llvm.org/D84611

[libc] This commit fixes the strcmp fuzzing test. It uses a single input and

2020-06-28T17:50:04+00:00

splits it into two by using the value of the first byte to determine the
length of the first string. Reviewed-by: PaulkaToast, Differential
Revision: https://reviews.llvm.org/D82427

Summary:
[libc] Since only one input is given, it is necessary to split the string into two containers so that they can be compared for the purposes of this fuzz test. This is done in the following manner:

1. Take the value of the first byte; this is size1. (Credits to @PaulkaToast for this idea).
2. size2 is the value of size - size1.
3. Copy the characters to new containers, data1 and data2 with corresponding sizes.
4. Add a null terminator to the first container, and verify the second container has a null terminator.
5. Verify output of strcmp.

A simpler alternative considered was simply splitting the input data into two, but this means the two strings are always within +- 1 character of each other. This above implementation avoids this.

ninja check-libc was run; no issues.

Reviewers: PaulkaToast, sivachandra

Reviewed By: PaulkaToast

Subscribers: mgorny, tschuett, ecnelises, libc-commits, PaulkaToast

Tags: #libc-project

Differential Revision: https://reviews.llvm.org/D82427

Remove strcmp fuzz from CMakeList since it breaks build.

2020-06-23T16:52:36+00:00

Add stddef.h to fix missing size_t type build errors.

2020-06-23T12:12:18+00:00

[libc] Add fuzz test for strcmp.

2020-06-23T11:24:03+00:00

Summary:
Adds a fuzz test for string comparison.

This takes in two strings with associated lengths.
Verifies each string contains at least one character, and that the last character is the null terminator.
Then, finds the first instance where one of the following does not hold:
1. i < min(size1, size2)
2. s1[i] == s2[i]
3. s1[i] != '\0'

The result of strcmp is then compared to the value of the difference between s1[i] and s2[i]. For thoroughness, the operands are reversed and also checked.

Reviewers: sivachandra, PaulkaToast

Reviewed By: sivachandra, PaulkaToast

Subscribers: mgorny, tschuett, ecnelises, libc-commits

Tags: #libc-project

Differential Revision: https://reviews.llvm.org/D82247

Add strcmp fuzz test.

2020-06-23T11:20:39+00:00

Reviewed-by: todo
Differential Revision: https://reviews.llvm.org/D82247

[libc] Add fully-qualified target names.

2020-04-11T01:01:52+00:00

Only targets setup by the special LLVM libc rules now have fully
qualified names. The naming style is similar to fully qualified names in
Python.

Reviewers: abrachet, PaulkaToast, phosek

Differential Revision: https://reviews.llvm.org/D77340