Lines Matching refs:files

4 DexFuzz is primarily a tool for fuzzing DEX files. Fuzzing is the introduction of
16 In typical operation, you provide DexFuzz with a set of DEX files that are the "seeds"
18 ADB-connected Android device, and it will fuzz these seed files, and execute the
32    having DEX files pushed to it and executed with the dalvikvm command.
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
79    OAT files after compilation.
92 Iterations - number of attempts we've made to mutate DEX files.
93 VerifyFail - the number of mutated files that ended up failing to verify, either
99 Timed Out  - mutated files that timed out for one or more backends.
105 Successful - mutated files that executed and all backends agreed on the resulting
108 Divergence - mutated files that executed and some backend disagreed about the
122 NOTE: DEX files with unicode strings are not fully supported yet, and DEX files with