aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorvan Hauser <vh@thc.org>2020-07-14 23:26:11 +0200
committervan Hauser <vh@thc.org>2020-07-14 23:26:11 +0200
commit383b280531a92a8b81d112a9acb4e44c08987be0 (patch)
tree1d23c9fb0762e62db06a5a3f856387f255f700b5 /test
parent95276f7da6ed9dd72556236f505a8997bee23387 (diff)
downloadafl++-383b280531a92a8b81d112a9acb4e44c08987be0.tar.gz
added frida gum extension
Diffstat (limited to 'test')
-rw-r--r--test/test-floatingpoint.c24
-rw-r--r--test/test-fp_cases.c73
2 files changed, 61 insertions, 36 deletions
diff --git a/test/test-floatingpoint.c b/test/test-floatingpoint.c
index f78b5d9f..76cdccf0 100644
--- a/test/test-floatingpoint.c
+++ b/test/test-floatingpoint.c
@@ -1,18 +1,20 @@
#include <stdlib.h>
#include <unistd.h>
-int main(void)
-{
- long double magic;
+int main(void) {
- ssize_t bytes_read = read(STDIN_FILENO, &magic, sizeof(magic));
- if (bytes_read < (ssize_t)sizeof(magic)) {
- return 1;
- }
+ long double magic;
- if( (-magic == 15.0 + 0.5 + 0.125 + 0.03125 + 0.0078125) ){ /* 15 + 1/2 + 1/8 + 1/32 + 1/128 */
- abort();
- }
+ ssize_t bytes_read = read(STDIN_FILENO, &magic, sizeof(magic));
+ if (bytes_read < (ssize_t)sizeof(magic)) { return 1; }
+
+ if ((-magic == 15.0 + 0.5 + 0.125 + 0.03125 +
+ 0.0078125)) { /* 15 + 1/2 + 1/8 + 1/32 + 1/128 */
+ abort();
+
+ }
+
+ return 0;
- return 0;
}
+
diff --git a/test/test-fp_cases.c b/test/test-fp_cases.c
index 006ae32f..b0f792bc 100644
--- a/test/test-fp_cases.c
+++ b/test/test-fp_cases.c
@@ -4,13 +4,14 @@
* or -DFLOAT_TYPE="long double"
*/
-
#include <assert.h>
int main() {
- volatile FLOAT_TYPE a,b;
+
+ volatile FLOAT_TYPE a, b;
/* different values */
- a = -2.1; b = -2; /* signs equal, exp equal, mantissa > */
+ a = -2.1;
+ b = -2; /* signs equal, exp equal, mantissa > */
assert((a < b));
assert((a <= b));
assert(!(a > b));
@@ -18,7 +19,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = 1.8; b = 2.1; /* signs equal, exp differ, mantissa > */
+ a = 1.8;
+ b = 2.1; /* signs equal, exp differ, mantissa > */
assert((a < b));
assert((a <= b));
assert(!(a > b));
@@ -26,7 +28,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = 2; b = 2.1; /* signs equal, exp equal, mantissa < */
+ a = 2;
+ b = 2.1; /* signs equal, exp equal, mantissa < */
assert((a < b));
assert((a <= b));
assert(!(a > b));
@@ -34,7 +37,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = -2; b = -1.8; /* signs equal, exp differ, mantissa < */
+ a = -2;
+ b = -1.8; /* signs equal, exp differ, mantissa < */
assert((a < b));
assert((a <= b));
assert(!(a > b));
@@ -42,7 +46,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = -1; b = 1; /* signs differ, exp equal, mantissa equal */
+ a = -1;
+ b = 1; /* signs differ, exp equal, mantissa equal */
assert((a < b));
assert((a <= b));
assert(!(a > b));
@@ -50,7 +55,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = -1; b = 0; /* signs differ, exp differ, mantissa equal */
+ a = -1;
+ b = 0; /* signs differ, exp differ, mantissa equal */
assert((a < b));
assert((a <= b));
assert(!(a > b));
@@ -58,7 +64,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = -2; b = 2.8; /* signs differ, exp equal, mantissa < */
+ a = -2;
+ b = 2.8; /* signs differ, exp equal, mantissa < */
assert((a < b));
assert((a <= b));
assert(!(a > b));
@@ -66,7 +73,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = -2; b = 1.8; /* signs differ, exp differ, mantissa < */
+ a = -2;
+ b = 1.8; /* signs differ, exp differ, mantissa < */
assert((a < b));
assert((a <= b));
assert(!(a > b));
@@ -74,8 +82,8 @@ int main() {
assert((a != b));
assert(!(a == b));
-
- a = -2; b = -2.1; /* signs equal, exp equal, mantissa > */
+ a = -2;
+ b = -2.1; /* signs equal, exp equal, mantissa > */
assert((a > b));
assert((a >= b));
assert(!(a < b));
@@ -83,7 +91,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = 2.1; b = 1.8; /* signs equal, exp differ, mantissa > */
+ a = 2.1;
+ b = 1.8; /* signs equal, exp differ, mantissa > */
assert((a > b));
assert((a >= b));
assert(!(a < b));
@@ -91,7 +100,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = 2.1; b = 2; /* signs equal, exp equal, mantissa < */
+ a = 2.1;
+ b = 2; /* signs equal, exp equal, mantissa < */
assert((a > b));
assert((a >= b));
assert(!(a < b));
@@ -99,7 +109,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = -1.8; b = -2; /* signs equal, exp differ, mantissa < */
+ a = -1.8;
+ b = -2; /* signs equal, exp differ, mantissa < */
assert((a > b));
assert((a >= b));
assert(!(a < b));
@@ -107,7 +118,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = 1; b = -1; /* signs differ, exp equal, mantissa equal */
+ a = 1;
+ b = -1; /* signs differ, exp equal, mantissa equal */
assert((a > b));
assert((a >= b));
assert(!(a < b));
@@ -115,7 +127,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = 0; b = -1; /* signs differ, exp differ, mantissa equal */
+ a = 0;
+ b = -1; /* signs differ, exp differ, mantissa equal */
assert((a > b));
assert((a >= b));
assert(!(a < b));
@@ -123,7 +136,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = 2.8; b = -2; /* signs differ, exp equal, mantissa < */
+ a = 2.8;
+ b = -2; /* signs differ, exp equal, mantissa < */
assert((a > b));
assert((a >= b));
assert(!(a < b));
@@ -131,7 +145,8 @@ int main() {
assert((a != b));
assert(!(a == b));
- a = 1.8; b = -2; /* signs differ, exp differ, mantissa < */
+ a = 1.8;
+ b = -2; /* signs differ, exp differ, mantissa < */
assert((a > b));
assert((a >= b));
assert(!(a < b));
@@ -140,7 +155,8 @@ int main() {
assert(!(a == b));
/* equal values */
- a = 0; b = 0;
+ a = 0;
+ b = 0;
assert(!(a < b));
assert((a <= b));
assert(!(a > b));
@@ -148,7 +164,8 @@ int main() {
assert(!(a != b));
assert((a == b));
- a = -0; b = 0;
+ a = -0;
+ b = 0;
assert(!(a < b));
assert((a <= b));
assert(!(a > b));
@@ -156,7 +173,8 @@ int main() {
assert(!(a != b));
assert((a == b));
- a = 1; b = 1;
+ a = 1;
+ b = 1;
assert(!(a < b));
assert((a <= b));
assert(!(a > b));
@@ -164,7 +182,8 @@ int main() {
assert(!(a != b));
assert((a == b));
- a = 0.5; b = 0.5;
+ a = 0.5;
+ b = 0.5;
assert(!(a < b));
assert((a <= b));
assert(!(a > b));
@@ -172,7 +191,8 @@ int main() {
assert(!(a != b));
assert((a == b));
- a = -1; b = -1;
+ a = -1;
+ b = -1;
assert(!(a < b));
assert((a <= b));
assert(!(a > b));
@@ -180,11 +200,14 @@ int main() {
assert(!(a != b));
assert((a == b));
- a = -0.5; b = -0.5;
+ a = -0.5;
+ b = -0.5;
assert(!(a < b));
assert((a <= b));
assert(!(a > b));
assert((a >= b));
assert(!(a != b));
assert((a == b));
+
}
+