Frida Tutorial 3

Reading time: 7 minutes

この記事の要約: https://joshspicer.com/android-frida-1
APK: https://github.com/OWASP/owasp-mstg/blob/master/Crackmes/Android/Level_01/UnCrackable-Level1.apk

解決策 1

https://joshspicer.com/android-frida-1に基づく

_exit()_ 関数をフックし、decrypt functionを使用して、verifyを押したときにフリダコンソールにフラグを表示させます:

Java.perform(function () {
send("Starting hooks OWASP uncrackable1...")

function getString(data) {
var ret = ""
for (var i = 0; i < data.length; i++) {
ret += "#" + data[i].toString()
}
return ret
}

var aes_decrypt = Java.use("sg.vantagepoint.a.a")
aes_decrypt.a.overload("[B", "[B").implementation = function (var_0, var_1) {
send(
"sg.vantagepoint.a.a.a([B[B)[B   doFinal(enc)  // AES/ECB/PKCS7Padding"
)
send("Key       : " + getString(var_0))
send("Encrypted : " + getString(var_1))
var ret = this.a.overload("[B", "[B").call(this, var_0, var_1)
send("Decrypted : " + getString(ret))

var flag = ""
for (var i = 0; i < ret.length; i++) {
flag += String.fromCharCode(ret[i])
}
send("Decrypted flag: " + flag)
return ret //[B
}

var sysexit = Java.use("java.lang.System")
sysexit.exit.overload("int").implementation = function (var_0) {
send("java.lang.System.exit(I)V  // We avoid exiting the application  :)")
}

send("Hooks installed.")
})

Solution 2

Based in https://joshspicer.com/android-frida-1

ルートチェックをフックし、関数を復号化して、verifyを押したときにフリダコンソールにフラグを表示させます:

Java.perform(function () {
send("Starting hooks OWASP uncrackable1...")

function getString(data) {
var ret = ""
for (var i = 0; i < data.length; i++) {
ret += "#" + data[i].toString()
}
return ret
}

var aes_decrypt = Java.use("sg.vantagepoint.a.a")
aes_decrypt.a.overload("[B", "[B").implementation = function (var_0, var_1) {
send(
"sg.vantagepoint.a.a.a([B[B)[B   doFinal(enc)  // AES/ECB/PKCS7Padding"
)
send("Key       : " + getString(var_0))
send("Encrypted : " + getString(var_1))
var ret = this.a.overload("[B", "[B").call(this, var_0, var_1)
send("Decrypted : " + getString(ret))

var flag = ""
for (var i = 0; i < ret.length; i++) {
flag += String.fromCharCode(ret[i])
}
send("Decrypted flag: " + flag)
return ret //[B
}

var rootcheck1 = Java.use("sg.vantagepoint.a.c")
rootcheck1.a.overload().implementation = function () {
send("sg.vantagepoint.a.c.a()Z   Root check 1 HIT!  su.exists()")
return false
}

var rootcheck2 = Java.use("sg.vantagepoint.a.c")
rootcheck2.b.overload().implementation = function () {
send("sg.vantagepoint.a.c.b()Z  Root check 2 HIT!  test-keys")
return false
}

var rootcheck3 = Java.use("sg.vantagepoint.a.c")
rootcheck3.c.overload().implementation = function () {
send("sg.vantagepoint.a.c.c()Z  Root check 3 HIT!  Root packages")
return false
}

var debugcheck = Java.use("sg.vantagepoint.a.b")
debugcheck.a.overload("android.content.Context").implementation = function (
var_0
) {
send("sg.vantagepoint.a.b.a(Landroid/content/Context;)Z  Debug check HIT! ")
return false
}

send("Hooks installed.")
})

Solution 3 – frida-trace (Frida ≥ 16)

手動でフックを書くのが嫌な場合は、Frida にJavaスタブを生成させてから、それを編集することができます:

# Spawn the application and automatically trace the Java method we care about
aadb shell "am force-stop owasp.mstg.uncrackable1"
frida-trace -U -f owasp.mstg.uncrackable1 \
-j 'sg.vantagepoint.a.a.a("[B","[B")[B' \
-j 'sg.vantagepoint.a.c!*' \
--output ./trace

# The first run will create ./trace/scripts/sg/vantagepoint/a/a/a__B_B_B.js
# Edit that file and add the logic that prints the decrypted flag or
# returns a constant for the root-checks, then:
frida -U -f owasp.mstg.uncrackable1 -l ./trace/_loader.js --no-pause

Frida 16+では、生成されたスタブはすでに最新のES6テンプレート構文を使用しており、組み込みのQuickJSランタイムでコンパイルされます。もはやfrida-compileは必要ありません。

ソリューション 4 – Objectionを使ったワンライナー (2024)

Objection >1.12がインストールされている場合、単一のコマンドでフラグをダンプできます（Objectionは内部でFridaをラップしています）：

objection -g owasp.mstg.uncrackable1 explore \
--startup-command "android hooking watch class sg.vantagepoint.a.a method a \n  && android hooking set return_value false sg.vantagepoint.a.c * \n  && android hooking invoke sg.vantagepoint.a.a a '[B' '[B'"

• watch class は AES ルーチンによって返されるプレーンテキストを表示します
• set return_value false はすべての root / デバッガーチェックが false を報告するように強制します
• invoke は Verify を押さずにメソッドを直接呼び出すことを可能にします。

NOTE: Android 14 (API 34) では、attach が 2024年10月に導入された seccomp-bpf 制限によってブロックされるため、Objection/Frida を spawn モード (-f) で実行する必要があります。

現代の Android ノート (2023 - 2025)

• libsu 5.x と Zygisk は su をかなりうまく隠しますが、Level 1 の Java ベースのチェックは /system/bin/su ファイルが存在する場合に失敗します。denylist を有効にするか、単に java.io.File.exists() を Frida でフックしてください。
• Frida 16.1 は Google の Scudo アロケータによって引き起こされた Android 12/13 のクラッシュを修正しました。Abort message: 'missing SHADOW_OFFSET' が表示された場合は、Frida をアップグレードするか、事前ビルドされた 17.0 ナイトリーを使用してください。
• Play Integrity が 2023 年に SafetyNet に取って代わったため、一部の新しいアプリは com.google.android.gms.tasks.Task API を呼び出します。Level 1 は呼び出しませんが、ここで示されているのと同じフック戦略が機能します – com.google.android.gms.safetynet.SafetyNetClient をフックし、偽の EvaluationType を返します。

参考文献

• Frida リリースアナウンス – "Frida 16.0 (2023-04-02): Android 12/13 の信頼性修正 & spawn API のオーバーホール"
• Objection 1.12 – "Android 14 用の Spawn-only モード" (BlackHat USA 2024 トークスライド)