Lines Matching refs:of

4 DexFuzz is primarily a tool for fuzzing DEX files. Fuzzing is the introduction of
6 can be used to test the various modes of execution available to ART (Interpreter,
7 Optimizing compiler) to check for bugs in these modes of execution.
8 This is done by differential testing - each test file is executed with each mode of
9 execution, and any differences between the resulting outputs may be an indication of
10 a bug in one of the modes.
12 For a wider overview of DexFuzz, see:
14 http://community.arm.com/groups/android-community/blog/2014/11/26/the-art-of-fuzz-testing
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
31 2. Make sure you have an Android device connected via ADB, that is capable of
39 6. If you currently have multiple devices connected via ADB, find out the name of
44 --dump-output <combination of ISA(s) and and backend(s)>
46 You MUST specify one of the following ISAs:
54 And also at least two of the following backends:
76 - instead of specifying an ISA, use --host
91 Iterations - number of attempts we've made to mutate DEX files.
92 VerifyFail - the number of mutated files that ended up failing to verify, either
105 be considered a success - proper detection of crashes is still to come.
118 Check dexfuzz --help for the full list of options.
126 Each bytecode mutation has a chance out of 100% of firing. Following is the listing
127 of each mutation's probability. If you wish to easily adjust these values, copy