We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 65985eb commit 81b6009Copy full SHA for 81b6009
utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
@@ -149,7 +149,10 @@ class UtBotSymbolicEngine(
149
TaintConfigurationProviderUserRules(taintUserConfigPath ?: ""),
150
TaintConfigurationProviderResources("taint/config.yaml")
151
))
152
- private val taintConfiguration: TaintConfiguration = taintConfigProvider.getConfiguration()
+ private val taintConfiguration: TaintConfiguration = if (UtSettings.useTaintAnalysis)
153
+ taintConfigProvider.getConfiguration()
154
+ else
155
+ TaintConfiguration() // empty
156
157
private val taintContext: TaintContext = TaintContext(taintMarkManager, taintConfiguration)
158
0 commit comments