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
Fix comments
  • Loading branch information
@sergeypospelov
sergeypospelov committed Jul 8, 2022
commit c266e98b2c45f72f089fc368b40792c683694378
2 changes: 1 addition & 1 deletion utbot-framework/src/main/java/org/utbot/engine/overrides/UtArrayMock.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

/**
* Auxiliary class with static methods without implementation.
* These static methods are just markers for {@link org.utbot.engine.UtBotSymbolicEngine}.,
* These static methods are just markers for {@link org.utbot.engine.Traverser}.,
* to do some corresponding behavior, that can't be represent
* with java instructions.
* <p>
Expand Down
6 changes: 4 additions & 2 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 @@ -17,6 +17,8 @@ import org.utbot.framework.plugin.api.Step
import soot.SootMethod
import soot.jimple.Stmt
import java.util.Objects
import org.utbot.engine.symbolic.Assumption
import org.utbot.framework.plugin.api.UtExecution

const val RETURN_DECISION_NUM = -1
const val CALL_DECISION_NUM = -2
Expand All @@ -29,11 +31,11 @@ data class Edge(val src: Stmt, val dst: Stmt, val decisionNum: Int)
* [INTERMEDIATE] is a label for an intermediate state which is suitable for further symbolic analysis.
*
* [TERMINAL] is a label for a terminal state from which we might (or might not) execute concretely and construct
* UtExecution. This state represents the final state of the program execution, that is a throw or return from the outer
* [UtExecution]. This state represents the final state of the program execution, that is a throw or return from the outer
* method.
*
* [CONCRETE] is a label for a state which is not suitable for further symbolic analysis and it is also not a terminal
* state. Such states are only suitable for a concrete execution and may appear from Assumptions constraints
* state. Such states are only suitable for a concrete execution and may appear from [Assumption]s.
*/
enum class StateLabel {
INTERMEDIATE,
Expand Down