start last slide
All checks were successful
/ test_checkout (push) Successful in 44s

This commit is contained in:
Jean-Marie 'Histausse' Mineau 2025-11-16 22:01:06 +01:00
parent 6f1922fcd4
commit adb7ed688d
Signed by: histausse
GPG key ID: B66AEEDA9B645AD2
2 changed files with 66 additions and 12 deletions

View file

@ -287,7 +287,7 @@ De plus pour les outils que nous avons pu lancer, #resultratio des analyses ont
androguard: 100% finis,
androguard_dad: a un peu plus de 45% finis, le reste échoue,
apparecium: autour de 5% échouées, 1% dépassent la limite de temps, le reste finis,
blueseal: 20% finies, 15% dépassent la limite de temps, 5% sont marquées comme 'autre', "
blueseal: 20% finies, 15% dépassent la limite de temps, 5% sont marquées comme 'autre', ",
"le reste échoue,
dialdroid: 35% finies, 1% dépassent la limite de temps, 10% marquées comme 'autre', ",
"le reste échoue,
@ -302,7 +302,7 @@ De plus pour les outils que nous avons pu lancer, #resultratio des analyses ont
perfchecker: 25% finies, moins de 5% dépassent la limite de temps, le reste échoue,
redexer: 90% finies, le reste échoue,
saaf: 40% finies, le reste échoue,
wognsen_et_al: un peu moins de 15% finies, un peu moins de 20% échouées, le reste "
wognsen_et_al: un peu moins de 15% finies, un peu moins de 20% échouées, le reste ",
"dépasse la limite de temps."
).join()
),

View file

@ -1824,16 +1824,70 @@
A lot of engineering, preferably spearheaded by Google.
]
#counter("logical-slide").update( n => n - 1 )
#slide(
title: [Future Works]
)[
#item-by-item[
- Benchmark of APKs to evaluate finishing rate
- Make tools reusing sources from Android Open Source Project
- Require developpers to provide high coverage tests inputs with the APKs
]
]
#for i in range(3) {
let delta_x = 75pt
let myell = ellipse.with(
stroke: green + 5pt,
outset: 5pt,
fill: white,
)
let myline(start, end) = {
place(left+top, dx: delta_x, line(
start: start, end: end,
stroke: green + 5pt,
))
}
let myplace(pos, body) = context {
let size = measure(body);
place(
left+top,
dx: pos.at(0) - size.width / 2 + delta_x,
dy: pos.at(1) - size.height / 2,
body
)
}
let pos_apk = (300pt, -100pt)
let pos_android = (400pt, 0pt)
let pos_aosp = (300pt, 100pt)
let pos_dataset = (100pt, -50pt)
let pos_tools = (100pt, 50pt)
let pos_devs = (500pt, -100pt)
let pos_google = (500pt, 100pt)
let circle_apk = myell[APK]
let circle_android = myell[Android]
let circle_aosp = myell[AOSP]
let circle_dataset = myell[Data Set]
let circle_tools = myell[Analysis tools]
let circle_devs = myell[Developers]
let circle_google = myell[Google]
counter("logical-slide").update( n => n - 1 )
slide(
title: [Future Works], {
myline(pos_apk, pos_android)
myline(pos_aosp, pos_android)
myline(pos_apk, pos_dataset)
myline(pos_dataset, pos_tools)
myline(pos_devs, pos_apk)
myline(pos_google, pos_android)
myline(pos_aosp, pos_google)
myline(pos_tools, pos_apk)
myplace(pos_apk, circle_apk)
myplace(pos_android, circle_android)
myplace(pos_aosp, circle_aosp)
myplace(pos_dataset, circle_dataset)
myplace(pos_devs, circle_devs)
myplace(pos_tools, circle_tools)
myplace(pos_google, circle_google)
})
}
//- Benchmark of APKs to evaluate finishing rate
//- Make tools reusing sources from Android Open Source Project
//- Require developpers to provide high coverage tests inputs with the APKs
#empty-slide[