| 2e44560338780dd1877f7cf8ac18e67a50ef0b2d |
|
29-Nov-2016 |
Branislav Rankov <branislav.rankov@linaro.org> |
Disabled fallback to interpreter in dexfuzz.
Added the -Xno-dex-file-fallback option when running optimizing backends so
that it fails in case compilation fails.
Test: Introduce an artificial crash in the optimizing compiler. There should
be a divergence reported.
dexfuzz --input=Hello.dex --execute --arm --interpreter --optimizing --repeat=20 --dump-output
Change-Id: I8adfc68b176b7482efce0cc7335c3cc50857c5a2
|
| 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
|