File tree Expand file tree Collapse file tree 3 files changed +5
-2
lines changed
lib/semmle/go/dataflow/internal
test/library-tests/semmle/go/dataflow/ExternalTaintFlow Expand file tree Collapse file tree 3 files changed +5
-2
lines changed Original file line number Diff line number Diff line change @@ -252,7 +252,9 @@ module SourceSinkInterpretationInput implements
252252
253253 /** Gets the callable that this node corresponds to, if any. */
254254 DataFlowCallable asCallable ( ) {
255- result .asSummarizedCallable ( ) .asFunction ( ) = this .asElement ( ) .asEntity ( )
255+ this .asElement ( ) .asEntity ( ) = result .asSummarizedCallable ( ) .asFunction ( ) or
256+ this .asElement ( ) .asEntity ( ) = result .asCallable ( ) .asFunction ( ) or
257+ this .asElement ( ) .asAstNode ( ) = result .asCallable ( ) .asFuncLit ( )
256258 }
257259
258260 /** Gets the target of this call, if any. */
Original file line number Diff line number Diff line change @@ -22,3 +22,4 @@ invalidModelRow
2222| test.go:187:24:187:31 | call to Src1 | qltest |
2323| test.go:191:24:191:31 | call to Src1 | qltest |
2424| test.go:201:10:201:28 | selection of SourceVariable | qltest |
25+ | test.go:205:15:205:17 | definition of src | qltest |
Original file line number Diff line number Diff line change @@ -203,7 +203,7 @@ func simpleflow() {
203203}
204204
205205func srcParam (src string , b test.B ) {
206- b .Sink1 (src ) // $ MISSING: hasTaintFlow="src"
206+ b .Sink1 (src ) // $ hasTaintFlow="src"
207207}
208208
209209type mapstringstringtype map [string ]string
You can’t perform that action at this time.
0 commit comments