83d3b79af2b607d2a1991f7438196263e7ea68ef |
|
29-Sep-2016 |
Wojciech Staszkiewicz <staszkiewicz@google.com> |
Integrate dexfuzz with bisection search Adds --bisection-search switch to dexfuzz. When specified makes dexfuzz run bisection search on discovered output divergences. Bisection search output is saved to bisection_outputs/ directory which is assumed to be present. If --bisection-search is used, bisection_search.py has to be on PATH. Test: ./run_dex_fuzz_test.py , with hardcoded change to emit a known divergent program instead of calling jfuzz. Change-Id: I8fcb45e201761f1f05adee74e6b8636bcc452332
|
807f17831e2749d5765599df1c9fbc58af3c6c7c |
|
24-Mar-2015 |
Stephen Kyle <stephenckyle@googlemail.com> |
Adds host execution to dexfuzz. Use --host to execute fuzzed tests using the host-build of ART. See the README for more information. Also includes some refactoring of Executors/Devices. Change-Id: I789d6b3e102074b22431d8afa5a5c966b2710272
|
959ffdf65f280ee90b7944a8dd610564e7f99e69 |
|
28-Nov-2014 |
Stephen Kyle <stephen.kyle@arm.com> |
Adds the dexfuzz fuzzing tool to ART. This tool can mutate DEX files, and execute them with multiple backends of ART, making sure that all backends agree on the output of the program. This should help identify bugs in particular backends, should they produce output that disagrees with the other backends. Build with mmm tools/dexfuzz from within art/. See the README for details about how to use dexfuzz. Change-Id: I3fc5d84a08b7d142a1fdc3d43a0324ce16b43608
|