Lines Matching refs:a
4 DexFuzz is primarily a tool for fuzzing DEX files. Fuzzing is the introduction of
5 subtle changes ("mutations") to a file to produce a new test case. These test cases
10 a bug in one of the modes.
12 For a wider overview of DexFuzz, see:
16 In typical operation, you provide DexFuzz with a set of DEX files that are the "seeds"
24 DexFuzz can run its test programs on either an ADB-connected device, or a host-build of
35 4. Create a new directory, and place some DEX files in here. These are the seed files
37 5. Create a directory on your device that mutated test files can be pushed to and
65 Add in --device=<device name, e.g. device:generic> if you want to specify a device.
75 - ANDROID_DATA must be set, pointing to a location where dex2oat will place
92 MutateFail - because mutation is a random process, and has attempt thresholds to
93 avoid attempting to mutate a file indefinitely, it is possible that
94 an attempt to mutate a file doesn't actually mutate it. This counts
103 be considered a success - proper detection of crashes is still to come.
105 resulting output. Divergent programs are run multiple times with a
112 test program. This allows you to recreate a bad program with, e.g.:
124 Each bytecode mutation has a chance out of 100% of firing. Following is the listing
126 these values into a file called likelihoods.txt, and run dexfuzz with