Skip to content

More fixes for real applications #283

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 16 commits into
base: main
Choose a base branch
from
Draft

More fixes for real applications #283

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
89ed53e
Hacks
CaelmBleidd May 29, 2025
069cb78
More hacks
CaelmBleidd May 29, 2025
f85ef55
Some more fixes
CaelmBleidd May 30, 2025
51f5b9f
Tmp commit
CaelmBleidd May 30, 2025
545887c
Input arrays support
CaelmBleidd Jun 6, 2025
f6c17c4
Format
Lipen Jun 9, 2025
db952f6
Operators implementation
CaelmBleidd Jun 10, 2025
911e8ca
Some hacks
CaelmBleidd Jun 10, 2025
a07c653
Fix a class signature lookup
CaelmBleidd Jun 11, 2025
201e5f4
Support simple casts
CaelmBleidd Jun 11, 2025
f8fd3fa
Clear logs
CaelmBleidd Jun 11, 2025
59393c2
Add todo
CaelmBleidd Jun 11, 2025
0f18a8c
Rebase fix
CaelmBleidd Jun 18, 2025
bb4df1f
Tmp changes
CaelmBleidd Jun 19, 2025
7b1bcd8
Some fixes
CaelmBleidd Jun 20, 2025
c3e5fe0
Fix mocker return value
CaelmBleidd Jun 20, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Tmp commit
  • Loading branch information
@CaelmBleidd
CaelmBleidd committed Jun 18, 2025
commit 51f5b9fa49fbbc4661efde086f8bcfd2db74abe6
9 changes: 8 additions & 1 deletion usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsInterpreter.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -127,7 +127,12 @@ class TsInterpreter(
is EtsCallStmt -> visitCallStmt(scope, stmt)
is EtsThrowStmt -> visitThrowStmt(scope, stmt)
is EtsNopStmt -> visitNopStmt(scope, stmt)
else -> error("Unknown stmt: $stmt")
else -> {
logger.error { "Unknown stmt: $stmt" }
scope.doWithState {
newStmt(graph.successors(stmt).single())
}
}
}
} catch (e: Exception) {
logger.error {
Expand Down Expand Up @@ -515,12 +520,14 @@ class TsInterpreter(
expr.extractBool(scope)
}
}

is EtsNumberType -> {
scope.calcOnState {
pathConstraints += expr.getFakeType(scope).fpTypeExpr
expr.extractFp(scope)
}
}

else -> {
scope.calcOnState {
pathConstraints += expr.getFakeType(scope).refTypeExpr
Expand Down