Skip to content

Extract Traverser from UtBotSymbolicEngine #307

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

Merged
sergeypospelov merged 19 commits into from
Jul 8, 2022
Merged

Extract Traverser from UtBotSymbolicEngine #307

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
f7cb267
Add highlighting link to UtBotSymbolicEngine in the comments
sergeypospelov Jun 23, 2022
258c8f5
Rename UtBotSymbolicEngine to Traverser
sergeypospelov Jun 23, 2022
58ae325
Introduce StateLabel
sergeypospelov Jun 23, 2022
f1f2a73
Move function from TypeRegistry to Traverser
sergeypospelov Jun 23, 2022
8dce048
Remove strange hack on nullable SymbolicResult for only void return
sergeypospelov Jun 23, 2022
cd2e1ee
Refactor resolve function: turn receiver parameter into argument
sergeypospelov Jun 23, 2022
a42d75c
Remove isInNestedMethod function from engine
sergeypospelov Jun 23, 2022
fbc0541
Split processResult
sergeypospelov Jun 23, 2022
259078b
Refactor: remove graph parameter from Traverser constructor
sergeypospelov Jun 23, 2022
d226672
Refactor: remove useless environment field usage
sergeypospelov Jun 23, 2022
a5cb81c
Refactor entryMethodPath function
sergeypospelov Jun 23, 2022
b3137a9
Move function isInsideStaticInitializer to ExecutionState.kt
sergeypospelov Jun 27, 2022
6046b22
Refactor: move negativeArraySizeCheck from createNewArray to call site
sergeypospelov Jun 27, 2022
1d7017a
Introduce TraversingContext
sergeypospelov Jun 27, 2022
33f21b7
Split Traverser.kt into Traverser.kt and UtBotSymbolicEngine.kt
sergeypospelov Jun 27, 2022
8ca4645
Change logger back
sergeypospelov Jun 27, 2022
c266e98
Fix comments
sergeypospelov Jun 27, 2022
3f01700
Fix strange behaviour
sergeypospelov Jun 28, 2022
33c61d1
Fix review comments
sergeypospelov Jun 29, 2022
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
Move function isInsideStaticInitializer to ExecutionState.kt
  • Loading branch information
@sergeypospelov
sergeypospelov committed Jul 8, 2022
commit b3137a9854eb4bbf0e07619bbf7cd37eb609e59e
3 changes: 3 additions & 0 deletions utbot-framework/src/main/kotlin/org/utbot/engine/ExecutionState.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -160,6 +160,9 @@ data class ExecutionState(
val isThrowException: Boolean
get() = (lastEdge?.decisionNum ?: 0) < CALL_DECISION_NUM

val isInsideStaticInitializer
get() = executionStack.any { it.method.isStaticInitializer }

fun createExceptionState(
exception: SymbolicFailure,
update: SymbolicStateUpdate
Expand Down
4 changes: 0 additions & 4 deletions utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -389,10 +389,6 @@ class Traverser(
private val featureProcessor: FeatureProcessor? =
if (enableFeatureProcess) EngineAnalyticsContext.featureProcessorFactory(globalGraph) else null

private val insideStaticInitializer
get() = environment.state.executionStack.any { it.method.isStaticInitializer }


private val objectCounter = AtomicInteger(TypeRegistry.objectCounterInitialValue)
private fun findNewAddr(insideStaticInitializer: Boolean): UtAddrExpression {
val newAddr = objectCounter.getAndIncrement()
Expand Down