Hash :
7482f41f
Author :
Date :
2017-06-01T22:00:19
Check for integer overflow in xmlXPathFormatNumber Check for overflow before casting double to int. Found with afl-fuzz and UBSan.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
1
123
1.23
0.123
4.
.4
1.23e3
1.23e-3
1 div 0
-1 div 0
0 div 0
1 div -0
(1 div 0) > 0
(1 div 0) < 0
(-1 div 0) > 0
(-1 div 0) < 0
(0 div 0) > 0
(0 div 0) < 0
(1 div -0) > 0
(1 div -0) < 0
0 div 0 = 0 div 0
0 div 0 != 0 div 0
0 div 0 > 0 div 0
0 div 0 < 0 div 0
0 div 0 >= 0 div 0
0 div 0 <= 0 div 0
1 div 0 = -1 div 0
1 div 0 != -1 div 0
1 div 0 > -1 div 0
1 div 0 < -1 div 0
1 div 0 >= -1 div 0
1 div 0 <= -1 div 0
1 div 0 = 1 div 0
1 div 0 != 1 div 0
1 div 0 > 1 div 0
1 div 0 < 1 div 0
1 div 0 >= -1 div 0
1 div 0 <= -1 div 0
-2 div 0 = -1 div 0
1 div floor(0.1)
1 div floor(-0.1)
1 div floor(-0)
1 div floor(0)
1 div ceiling(0.1)
1 div ceiling(-0.1)
1 div ceiling(-0)
1 div ceiling(0)
1 div round(0.1)
1 div round(-0.1)
1 div round(-0)
1 div round(0)
1 div number('f')
number('f') div 1
1 div (1 div 0)
(1 div 0) div 1
-(1 div 0) div 1
5 mod 2
5 mod -2
-5 mod 2
-5 mod -2
8 mod 3 = 2
12345678901234567890
-12345678901234567890