Skip to content

[TS] Support globals and imports#323

Merged
Lipen merged 73 commits into
mainfrom
lipen/globals-imports
Sep 8, 2025
Merged

[TS] Support globals and imports#323
Lipen merged 73 commits into
mainfrom
lipen/globals-imports

Conversation

@Lipen
Copy link
Copy Markdown
Member

@Lipen Lipen commented Aug 19, 2025

This PR adds support for global variables and imported symbols.

Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsGlobals.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsGlobals.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsInterpreter.kt Dismissed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/state/TsState.kt Dismissed
Copy link
Copy Markdown

@github-advanced-security github-advanced-security AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

detekt found more than 20 potential problems in the proposed changes. Check the Files changed tab for more details.

Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/ExprUtil.kt
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/ExprUtil.kt
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/ReadArray.kt Outdated
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/ReadArray.kt
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/WriteField.kt
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/state/TsStateUtils.kt Outdated
@Lipen Lipen merged commit 6194bbd into main Sep 8, 2025
6 checks passed
@Lipen Lipen deleted the lipen/globals-imports branch September 8, 2025 13:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants