From adb7ed688d28f9da554191e09794a4f912efef87 Mon Sep 17 00:00:00 2001 From: Jean-Marie 'Histausse' Mineau Date: Sun, 16 Nov 2025 22:01:06 +0100 Subject: [PATCH] start last slide --- X_appendices/french_summary.typ | 4 +- slides.typ | 74 ++++++++++++++++++++++++++++----- 2 files changed, 66 insertions(+), 12 deletions(-) diff --git a/X_appendices/french_summary.typ b/X_appendices/french_summary.typ index b775407..c04fe44 100644 --- a/X_appendices/french_summary.typ +++ b/X_appendices/french_summary.typ @@ -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() ), diff --git a/slides.typ b/slides.typ index b41f937..d4e9a2e 100644 --- a/slides.typ +++ b/slides.typ @@ -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[