File tree Expand file tree Collapse file tree
utbot-framework/src/main/resources/taint
utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/settings Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11sources :
2- - org.utbot.examples.taint.alias.Uta.badSource :
3- signature : [ <java.lang.String> ]
2+ - java.util.Scanner.next :
43 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
135
146sinks :
15- - org.utbot.examples.taint.alias.Uta.badSink :
16- check : arg1
17- marks : [sensitive-data, password]
18- conditions :
19- arg2 : true
207 - java.lang.RuntimeException.<init> :
218 check : arg1
22- marks : [environment, sensitive-data ]
9+ marks : []
2310 conditions :
2411 arg1 : { not: "" }
Original file line number Diff line number Diff line change @@ -129,6 +129,7 @@ class SettingsWindow(val project: Project) {
129129 .onIsModified {
130130 useTaintAnalysisCheckBox.isSelected xor settings.state.useTaintAnalysis
131131 }
132+ .apply { ContextHelpLabel .create(" Experimental taint analysis support" )() }
132133 .component
133134 }
134135 }
You can’t perform that action at this time.
0 commit comments