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

wip
All checks were successful
/ test_checkout (push) Successful in 1m21s
Details

Browse source
This commit is contained in:
Jean-Marie Mineau 2025-08-19 23:27:25 +02:00
parent 5a71a9d5dd
commit 81f49f87d3
Signed by: histausse
GPG key ID: B66AEEDA9B645AD2
16 changed files with 267 additions and 202 deletions
Download patch file Download diff file Expand all files Collapse all files

7
0_preamble/notations.typ
View file

@ -1,10 +1,14 @@
#let ADB = link(<acr-adb>)[ADB]
#let AOSP = link(<acr-aosp>)[AOSP]
#let API = link(<acr-api>)[API]
#let APIs = link(<acr-api>)[APIs]
#let APK = link(<acr-apk>)[APK]
#let APKs = link(<acr-apk>)[APKs]
#let ART = link(<acr-art>)[ART]
#let AXML = link(<acr-axml>)[AXML]
#let CFG = link(<acr-cfg>)[CFG]
#let DEX = link(<acr-dex>)[DEX]
#let DFG = link(<acr-cfg>)[DFG]
#let FR = link(<acr-fr>)[FR]
#let HPC = link(<acr-hpc>)[HPC]
#let MWE = link(<acr-mwe>)[MWE]
@ -25,11 +29,14 @@
[Acronyms], [Meanings],
),
ADB, [Android Debug Bridge, a tool to connect to an Android emulator of smartphone to run commands, start applications, send events and perform other operations for testing and debuging purpose <acr-adb>],
AOSP, [Android Open Source Project, the project hosting the most of the Android operating system source code <acr-aosp>],
API, [Application Programming Interface, in the Android ecosystem, it is a set of classes with known method signatures that can be called by an application to interact with the Android framework <acr-api>],
APK, [Android Package, the file format used to install application on Android. The APK format is an extention of the #JAR format <acr-apk>],
ART, [Android RunTime, the runtime environement that execute an Android application. The ART is the successor of the older Dalvik Virtual Machine <acr-art>],
AXML, [Android #XML. The specific flavor of #XML used by Android. The main specificity of AXML is that it can be compile in a binary version inside an APK <acr-axml>],
CFG, [Control-Flow Graph, a graph representing the control structures (_e.g._ "if" blocks) of the code of a method/application <acr-cfg>],
DEX, [Dalvik Executable, the file format for the bytecode used for applicatiobs by Android <acr-dex>],
DFG, [Data-Flow Graph, a graph representing the flow of information in an application <acr-dfg>],
FR, [Finishing Rate, the number of runs that finished over the number of total runs of an analysis <acr-fr>],
HPC, [High-Performance Computing, the use of supercomputers and computer clusers <acr-hpc>],
MWE, [Minimum Working Example, in this context, a small example that can be used to check if a tool is working <acr-mwe>],