update url
Some checks failed
/ test_checkout (push) Failing after 15s

This commit is contained in:
Jean-Marie 'Histausse' Mineau 2025-11-18 16:35:41 +01:00
parent adb7ed688d
commit 7d5536eefd
Signed by: histausse
GPG key ID: B66AEEDA9B645AD2

View file

@ -11,7 +11,7 @@ This appendix lists the software we released as well as the different places the
The code used in @sec:rasta is available at those locations:
- https://gitlab.inria.fr/pirat/android/rasta
- https://gitlab.inria.fr/pirat-public/android/rasta
- https://git.mineau.eu/these-android-re/rasta
- https://github.com/histausse/rasta
- https://doi.org/10.5281/zenodo.10137904
@ -48,18 +48,16 @@ The list of applications we scanned in @sec:cl, as well as the lists of platform
== Theseus
The scripts we used for dynamic analysis and the code implementing the transformations described in @sec:th are available at the following locations:
The scripts we used for dynamic analysis and the code implementing the transformations described in @sec:th are available at the following locations under GPL license:
#jfl-note[Ajouter les licences]
- https://gitlab.inria.fr/pirat/android/android-of-theseus
- https://gitlab.inria.fr/pirat-public/android/android-of-theseus
- https://git.mineau.eu/these-android-re/android_of_theseus
- https://github.com/histausse/android_of_theseus
The application transformations rely on Androscalpel, the crate we developed to manipulate Dalvik bytecode.
Androscalpel can be found at the following locations:
- https://gitlab.inria.fr/pirat/android/androscalpel
- https://gitlab.inria.fr/pirat-public/android/androscalpel
- https://git.mineau.eu/these-android-re/androscalpel
- https://github.com/histausse/androscalpel