Skip to content

Commit 6ec737c

Browse files
authored
Update ArkAnalyzer (#314)
* Fix PtrCallExpr DTO * Update ArkAnalyzer
1 parent 5a748b5 commit 6ec737c

File tree

3 files changed

+4
-4
lines changed

3 files changed

+4
-4
lines changed

.github/workflows/build-and-test.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ jobs:
6464
DEST_DIR="arkanalyzer"
6565
MAX_RETRIES=10
6666
RETRY_DELAY=3 # Delay between retries in seconds
67-
BRANCH="neo/2025-03-21"
67+
BRANCH="neo/2025-04-14"
6868
6969
for ((i=1; i<=MAX_RETRIES; i++)); do
7070
git clone --depth=1 --branch $BRANCH $REPO_URL $DEST_DIR && break

jacodb-ets/src/main/kotlin/org/jacodb/ets/dto/Convert.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -390,7 +390,7 @@ class EtsMethodBuilder(
390390
)
391391

392392
is PtrCallExprDto -> EtsPtrCallExpr(
393-
ptr = (ptr as LocalDto).toEtsLocal(), // safe cast
393+
ptr = ensureLocal(ptr.toEtsEntity() as EtsValue), // safe cast
394394
method = method.toEtsMethodSignature(),
395395
args = args.map { ensureLocal(it.toEtsEntity()) },
396396
)
@@ -792,7 +792,7 @@ fun LocalDto.toEtsLocal(): EtsLocal {
792792
)
793793
}
794794

795-
private fun Int.toEtsClassCategory() : EtsClassCategory {
795+
private fun Int.toEtsClassCategory(): EtsClassCategory {
796796
return when (this) {
797797
0 -> EtsClassCategory.CLASS
798798
1 -> EtsClassCategory.STRUCT

jacodb-ets/src/main/kotlin/org/jacodb/ets/dto/Values.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -275,7 +275,7 @@ data class StaticCallExprDto(
275275
@Serializable
276276
@SerialName("PtrCallExpr")
277277
data class PtrCallExprDto(
278-
val ptr: ValueDto, // Local
278+
val ptr: ValueDto, // Local or FieldRef
279279
override val method: MethodSignatureDto,
280280
override val args: List<ValueDto>,
281281
) : CallExprDto

0 commit comments

Comments
 (0)