From 689e259f5ba9e0d0cf580d1e5bc654ebdd0cdbb5 Mon Sep 17 00:00:00 2001 From: Jean-Marie 'Histausse' Mineau Date: Sat, 6 Dec 2025 20:56:41 +0100 Subject: [PATCH] add doc for coldy 1.3.1 --- .forgejo/workflows/publish.yaml | 8 +++++++- README.md | 20 ++++++++++++++++++++ slides.typ | 11 +++++------ slides/lib.typ | 8 ++++++-- 4 files changed, 38 insertions(+), 9 deletions(-) diff --git a/.forgejo/workflows/publish.yaml b/.forgejo/workflows/publish.yaml index ef50aba..7720f16 100644 --- a/.forgejo/workflows/publish.yaml +++ b/.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}" diff --git a/README.md b/README.md index 7333d72..32f94bc 100644 --- a/README.md +++ b/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 + +## 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 +``` diff --git a/slides.typ b/slides.typ index 3bc9189..e05c335 100644 --- a/slides.typ +++ b/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] ] ] diff --git a/slides/lib.typ b/slides/lib.typ index 749d204..ee704b0 100644 --- a/slides/lib.typ +++ b/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,