File tree Expand file tree Collapse file tree 2 files changed +4
-16
lines changed
utbot-framework/src/main/resources/taint
utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/settings Expand file tree Collapse file tree 2 files changed +4
-16
lines changed Original file line number Diff line number Diff line change 1
1
sources :
2
- - org.utbot.examples.taint.alias.Uta.badSource :
3
- signature : [ <java.lang.String> ]
2
+ - java.util.Scanner.next :
4
3
add-to : return
5
- marks : [sensitive-data, environment]
6
-
7
- passes :
8
- - org.utbot.examples.taint.alias.Uta.return1 :
9
- signature : [ <java.lang.String> ]
10
- get-from : arg1
11
- add-to : return
12
- marks : []
4
+ marks : user-input
13
5
14
6
sinks :
15
- - org.utbot.examples.taint.alias.Uta.badSink :
16
- check : arg1
17
- marks : [sensitive-data, password]
18
- conditions :
19
- arg2 : true
20
7
- java.lang.RuntimeException.<init> :
21
8
check : arg1
22
- marks : [environment, sensitive-data ]
9
+ marks : []
23
10
conditions :
24
11
arg1 : { not: "" }
Original file line number Diff line number Diff line change @@ -129,6 +129,7 @@ class SettingsWindow(val project: Project) {
129
129
.onIsModified {
130
130
useTaintAnalysisCheckBox.isSelected xor settings.state.useTaintAnalysis
131
131
}
132
+ .apply { ContextHelpLabel .create(" Experimental taint analysis support" )() }
132
133
.component
133
134
}
134
135
}
You can’t perform that action at this time.
0 commit comments