Skip to content

Switch to a new ETS model#269

Merged
Lipen merged 6 commits intomainfrom
lipen/ts-model
Apr 17, 2025
Merged

Switch to a new ETS model#269
Lipen merged 6 commits intomainfrom
lipen/ts-model

Conversation

@Lipen
Copy link
Copy Markdown
Member

@Lipen Lipen commented Apr 14, 2025

This PR brings the necessary fixes by incorporating the changes in ETS model introduced by UnitTestBot/jacodb#313.

@Lipen Lipen requested a review from CaelmBleidd April 14, 2025 13:50
@Lipen Lipen closed this Apr 15, 2025
@Lipen Lipen deleted the lipen/ts-model branch April 15, 2025 11:58
@Lipen Lipen restored the lipen/ts-model branch April 16, 2025 12:05
@Lipen Lipen reopened this Apr 16, 2025
@Lipen Lipen marked this pull request as ready for review April 16, 2025 13:27
@Lipen Lipen marked this pull request as draft April 16, 2025 14:48
Comment thread .github/workflows/ci.yml Outdated
Comment thread usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/infer/ApplicationGraph.kt Outdated
Comment thread usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/infer/ApplicationGraph.kt Outdated
Comment thread usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/infer/KnownType.kt Outdated
Comment thread usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/infer/KnownType.kt Outdated
Comment thread usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/infer/dto/EtsValueToDto.kt Outdated
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt Outdated
Comment thread usvm-ts/src/test/kotlin/org/usvm/samples/Call.kt
Comment thread usvm-ts/src/test/kotlin/org/usvm/samples/FieldAccess.kt Outdated
@Lipen Lipen marked this pull request as ready for review April 17, 2025 12:25
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-dataflow/src/test/kotlin/org/usvm/dataflow/ts/test/EtsTypeInferenceTest.kt Dismissed
Comment thread usvm-ts-dataflow/src/test/kotlin/org/usvm/dataflow/ts/test/EtsTypeInferenceTest.kt Dismissed
// TODO hack because of an issue with signatures
private val compareByMethodNameAndEnclosingClass = { fst: EtsMethod, snd: EtsMethod ->
fst.name === snd.name && fst.enclosingClass.name === snd.enclosingClass.name
fst.name === snd.name && fst.signature.enclosingClass.name === snd.signature.enclosingClass.name

Check warning

Code scanning / detekt

Avoid using referential equality and prefer to use referential equality checks instead. Warning test

Checking referential equality may lead to unwanted results.
// TODO hack because of an issue with signatures
private val compareByMethodNameAndEnclosingClass = { fst: EtsMethod, snd: EtsMethod ->
fst.name === snd.name && fst.enclosingClass.name === snd.enclosingClass.name
fst.name === snd.name && fst.signature.enclosingClass.name === snd.signature.enclosingClass.name

Check warning

Code scanning / detekt

Avoid using referential equality and prefer to use referential equality checks instead. Warning test

Checking referential equality may lead to unwanted results.
Comment thread usvm-ts/src/main/kotlin/org/usvm/util/EtsFieldResolver.kt Dismissed
@Lipen Lipen merged commit 192ba27 into main Apr 17, 2025
6 checks passed
@Lipen Lipen deleted the lipen/ts-model branch April 17, 2025 13:21
Saloed pushed a commit that referenced this pull request Jun 2, 2025
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.

3 participants