these-android-re/thesis
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

add some alttexts
All checks were successful
/ test_checkout (push) Successful in 44s
Details

Browse source
This commit is contained in:
Jean-Marie 'Histausse' Mineau 2025-11-13 23:31:16 +01:00
parent a42e0dc058
commit a1e6682b3c
Signed by: histausse
GPG key ID: B66AEEDA9B645AD2
3 changed files with 101 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

39
3_rasta/4_failures_analysis.typ
View file

@ -129,13 +129,46 @@ Sometimes errors successfully caught and handled are logged anyway.
Thus, it is impossible to accurately extract the error responsible for a failed execution.
Therefore, we investigated the nature of errors globally, without distinction between error messages in a log.
#todo()[alt text for rasta-heatmap]
#figure(
image(
"figs/repartition-of-error-types-among-tools.svg",
width: 100%,
alt: "",
alt: (
"A greyscale heatmap. On the y-axis they are arror types, and ",
" on the x-axis, the tools. Black means the error type correspond ",
"to 100% of the error raised by the tool, white 0%. The heatmap is ",
"mostly white, with a few black squares and a little more grey ones. ",
"amandroid has a black square for java.lang.NullPointerException. ",
"anadroid has grey squares for subprocess.CalledProcessError, ",
"java.io.IOException and brut.androlib.AndrolibException. ",
"androguard has grey squares for struct.error, KeyError and ",
"androguard.core.bytecodes.dvm.InvalidInstruction. ",
"androguard_dad has a black square for OSError. ",
"apparecium has a black square for KeyError. ",
"blueseal has a black square for java.lang.RuntimeException. ",
"dialdroid has grey squares for ",
"java.util.concurent.RejectedExecution, java.lang.StackOverflowError",
"and com.google.common.util.concurrent.ExecutionError. ",
"didfail has grey squares for java.util.concurent.RejectedExecution ",
"and java.io.FileNotFoundException. ",
"droidsafe has a dark grey square for ",
"droidsafe.utils.CannotFindMethodException. ",
"flowdroi has a grey square at java.lang.NullPointerException, and ",
"other light grey squares. ",
"gator has a grey square at java.lang.OutOfMemoryError, and other ",
"light grey squares. ",
"ic3 has a black square at jas.jasError. ",
"ic3_fork has has a grey square at java.lang.RuntimeException. ",
"iccta has grey squares at java.lang.RuntimeException, ",
"java.lang.StackOverflowError and com.google.common.utils.concurrentExecutionError. ",
"mallodroid has a black square for KeyError. ",
"perfchecker has grey squares at java.lang.UnsatifiedLinkError and ",
"java.lang.VerifyError. ",
"redexer has no colored square at all. ",
"saaf has grey squares for java.io.IOException, de.rub.syssec.saaf.model.analysis.AnalysisException and brut.androlib.AndrolibException. ",
"wognsen_et_al has grey squares for brut.androlib.AndrolibException, ",
"java.io.IOException and java.lang.ArithmeticException."
).join()
),
caption: [Heatmap of the ratio of error reasons for all tools for the RASTA dataset],
) <fig:rasta-heatmap>