add doc for coldy 1.3.1

.forgejo/workflows/publish.yaml

@@ -5,7 +5,7 @@ jobs:
     container:
       image: ghcr.io/typst/typst:0.14.0
     steps:
-      - run: apk add --no-cache git curl
+      - run: apk add --no-cache git curl unzip
       - run: |
           mkdir /tmp/font
           cd /tmp/font 
@@ -14,6 +14,12 @@ jobs:
           install -Dt /usr/share/fonts/tex-gyre -m644 tg2_501otf/*.otf
           mkdir -p ~/.local/share/typst/packages/local/template-thesis-matisse/
           git clone https://git.mineau.eu/histausse/template-thesis-matisse.git ~/.local/share/typst/packages/local/template-thesis-matisse/0.0.1
+          mkdir /tmp/codly
+          curl -L https://github.com/Dherse/codly/archive/refs/tags/v1.3.1.zip -o /tmp/codly/c.zip
+          unzip -d /tmp/codly /tmp/codly/c.zip
+          mkdir -p ~/.local/share/typst/packages/local/codly
+          mv /tmp/codly/codly-1.3.1 ~/.local/share/typst/packages/local/codly/1.3.1
+          rm -rf /tmp/codly
       - run: |
           TOKEN=$(echo -n "x-access-token:${GITHUB_TOKEN}" | base64)
           mkdir -p "${GITHUB_WORKSPACE}"

README.md

@@ -37,3 +37,23 @@ typst compile --input draft=false --input abstract-only=true main.typ abstract.p
 
 
 The CI should build the latest draft at <https://git.mineau.eu/api/packages/these-android-re/generic/thesis/latest/draft.pdf>
+
+## Slides
+
+To build the slides, you will need to install coldy 1.3.1 locally (the released is not yet published in the typt repository).
+This release allows the highlight part of the code *without* modifying the spacing.
+
+```
+TMP="$(mktemp -d)"
+curl -L https://github.com/Dherse/codly/archive/refs/tags/v1.3.1.zip -o "${TMP}/c.zip" 
+unzip -d "${TMP}" "${TMP}/c.zip"
+mkdir -p ~/.local/share/typst/packages/local/codly
+mv "${TMP}/codly-1.3.1" ~/.local/share/typst/packages/local/codly/1.3.1 
+rm -rf "${TMP}"
+```
+
+Then to build the slides: 
+
+```
+typst compile slides.typ
+```

slides.typ

@@ -3,7 +3,6 @@
 #import "slides/icons.typ" as ico
 
 #import "@local/codly:1.3.1": *
-#import "lib.typ": todo
 // Require local install, fix needed for highlight-inset
 // TMP="$(mktemp -d)" && curl -L https://github.com/Dherse/codly/archive/refs/tags/v1.3.1.zip -o "${TMP}/c.zip" && unzip -d "${TMP}" "${TMP}/c.zip" && mkdir -p ~/.local/share/typst/packages/local/codly && mv "${TMP}/codly-1.3.1" ~/.local/share/typst/packages/local/codly/1.3.1 && rm -rf "${TMP}"
 #import "@preview/codly-languages:0.1.1": *
@@ -152,7 +151,7 @@
 
   Applications might use *obfuscation* to either:
 
-  - protect their #todo[Intelectual Properties]
+  - protect their Intellectual Property
   - hide malicious behaviour 
   
   #v(1em)#uncover(2)[
@@ -392,7 +391,7 @@
 
 #counter("logical-slide").update( n => n - 1 )
 #slide(
-  title: todo[Pb3],
+  title: [Problem Statement 2],
 )[
   #item-by-item[
     - Used to select classes implementation
@@ -400,7 +399,7 @@
     - Doubious documentation
     - Not studied in the context of Android Static Analysis
   ]
-  #highlight-block(pb2-text) #todo[couleur/italique pas lisible]
+  #highlight-block(pb2-text)
 ]
 
 #slide(
@@ -1250,7 +1249,7 @@
       table.hline(),
       table.cell(colspan: 5, inset: 3pt)[],
   
-      [Jadx], hide[1.5.0], text(fill: orange)[#warn], [#ok], [#ok],
+      [Jadx], hide[1.5.0], [#ko], [#ok], [#ok],
       [Apktool], hide[2.9.3], [#warn], [#ok], [#ok],
       [Androguard], hide[4.1.2], [#ko], [#ok], [#ok],
       [Flowdroid], hide[2.13.0], [#ko], [#ko], [#ok],
@@ -1266,7 +1265,7 @@
     #align(center)[Pull Requests:]
     #v(-1em)
     #link("https://github.com/soot-oss/soot/pull/2211")[soot/pull/2211] (#text(fill: green)[merged]) \
-    #link("https://github.com/skylot/jadx/pull/2702")[jadx/pull/2702] (#text(fill: orange)[\~merged]) \
+    #link("https://github.com/skylot/jadx/pull/2702")[jadx/pull/2702] (#text(fill: green)[merged]) \
     #link("https://github.com/androguard/androguard/pull/1149")[androguard/pull/1149]
   ]
 ]

slides/lib.typ

@@ -1,10 +1,14 @@
 #import "sns_polylux_template.typ": *
 #import "figures.typ": figures, get_figure
 
-#import "../lib.typ": pb1-text, pb2-text, pb3-text
 #import "icons.typ": arrow
 #import "outlines.typ": theseus-outline, dexhunter-outline, droidra-outline
 
+#let pb1-text = strong[To what extent are previously published Android analysis tools still usable today, and what factors impact their reusability?]
+#let pb2-text = strong[What is the default Android class loading algorithm, and does it impact static analysis?]
+#let pb3-text = strong[Can we use instrumentation to provide dynamic code loading and reflection data collected dynamically to static analysis tools and improve their results?]
+
+
 #let pirat-color = (
   black: rgb("#000000"),
   white: rgb("#FFFFFF"),
@@ -27,7 +31,7 @@ pirat-color.red,
 #let highlight-block(body) = {
   set text(fill: white)
   block(
-    fill: pirat-color.blue.darken(30%),
+    fill: pirat-color.blue.darken(50%),
     width: 100%,
     inset: 8pt,
     radius: 4pt,