@@ -56,7 +56,7 @@ Currently supported types are:
5656| Mutator | Type(s) | Notes |
5757| --------------------------------| --------------------------------------------------------------------------------------------------------| --------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
5858| Boolean | ` boolean ` , ` Boolean ` | |
59- | Integral | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Int ` , ` long ` , ` Long ` | |
59+ | Integral | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Integer ` , ` long ` , ` Long ` | |
6060| Floating point | ` float ` , ` Float ` , ` double ` , ` Double ` | |
6161| String | ` java.lang.String ` | |
6262| Enum | ` java.lang.Enum ` | |
@@ -87,21 +87,21 @@ string. This is done using annotations directly on the parameters.
8787All annotations reside in the ` com.code_intelligence.jazzer.mutation.annotation `
8888package.
8989
90- | Annotation | Applies To | Notes |
91- | -------------------| ------------------------------------------------------------------------------------------------------| -------------------------------------------------------------------------------------------------------------|
92- | ` @Ascii ` | ` java.lang.String ` | ` String ` should only contain ASCII characters |
93- | ` @InRange ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Int ` , ` long ` , ` Long ` | Specifies ` min ` and ` max ` values of generated integrals |
94- | ` @FloatInRange ` | ` float ` , ` Float ` | Specifies ` min ` and ` max ` values of generated floats |
95- | ` @DoubleInRange ` | ` double ` , ` Double ` | Specifies ` min ` and ` max ` values of generated doubles |
96- | ` Positive ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Int ` , ` long ` , ` Long ` , ` float ` , ` Float ` , ` double ` , ` Double ` | Specifies that only positive values are generated |
97- | ` Negative ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Int ` , ` long ` , ` Long ` , ` float ` , ` Float ` , ` double ` , ` Double ` | Specifies that only negative values are generated |
98- | ` NonPositive ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Int ` , ` long ` , ` Long ` , ` float ` , ` Float ` , ` double ` , ` Double ` | Specifies that only non-positive values are generated |
99- | ` NonNegative ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Int ` , ` long ` , ` Long ` , ` float ` , ` Float ` , ` double ` , ` Double ` | Specifies that only non-negative values are generated |
100- | ` @NotNull ` | | Specifies that a reference type should not be ` null ` |
101- | ` @WithLength ` | ` byte[] ` | Specifies the length of the generated byte array |
102- | ` @WithUtf8Length ` | ` java.lang.String ` | Specifies the length of the generated string in UTF-8 bytes, see annotation Javadoc for further information |
103- | ` @WithSize ` | ` java.util.List ` , ` java.util.Map ` | Specifies the size of the generated collection |
104- | ` @UrlSegment ` | ` java.lang.String ` | ` String ` should only contain valid URL segment characters |
90+ | Annotation | Applies To | Notes |
91+ | -------------------| ---------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------|
92+ | ` @Ascii ` | ` java.lang.String ` | ` String ` should only contain ASCII characters |
93+ | ` @InRange ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Integer ` , ` long ` , ` Long ` | Specifies ` min ` and ` max ` values of generated integrals |
94+ | ` @FloatInRange ` | ` float ` , ` Float ` | Specifies ` min ` and ` max ` values of generated floats |
95+ | ` @DoubleInRange ` | ` double ` , ` Double ` | Specifies ` min ` and ` max ` values of generated doubles |
96+ | ` Positive ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Integer ` , ` long ` , ` Long ` , ` float ` , ` Float ` , ` double ` , ` Double ` | Specifies that only positive values are generated |
97+ | ` Negative ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Integer ` , ` long ` , ` Long ` , ` float ` , ` Float ` , ` double ` , ` Double ` | Specifies that only negative values are generated |
98+ | ` NonPositive ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Integer ` , ` long ` , ` Long ` , ` float ` , ` Float ` , ` double ` , ` Double ` | Specifies that only non-positive values are generated |
99+ | ` NonNegative ` | ` byte ` , ` Byte ` , ` short ` , ` Short ` , ` int ` , ` Integer ` , ` long ` , ` Long ` , ` float ` , ` Float ` , ` double ` , ` Double ` | Specifies that only non-negative values are generated |
100+ | ` @NotNull ` | | Specifies that a reference type should not be ` null ` |
101+ | ` @WithLength ` | ` byte[] ` | Specifies the length of the generated byte array |
102+ | ` @WithUtf8Length ` | ` java.lang.String ` | Specifies the length of the generated string in UTF-8 bytes, see annotation Javadoc for further information |
103+ | ` @WithSize ` | ` java.util.List ` , ` java.util.Map ` | Specifies the size of the generated collection |
104+ | ` @UrlSegment ` | ` java.lang.String ` | ` String ` should only contain valid URL segment characters |
105105
106106The example below shows how Fuzz Test parameters can be annotated to provide
107107additional information to the mutation framework.
0 commit comments