@@ -59,32 +59,4 @@ private module Bun {
5959 input = inp and output = outp
6060 }
6161 }
62- // private class BuilderScan extends TaintTracking::FunctionModel, Method {
63- // FunctionInput inp;
64- // FunctionOutput outp;
65- // BuilderScan() {
66- // // signature: func (b {Insert,Delete,Select,Update}Builder) Scan(dest ...interface{}) error
67- // this.hasQualifiedName(packagePath(),
68- // ["DeleteBuilder", "InsertBuilder", "SelectBuilder", "UpdateBuilder"], "Scan") and
69- // inp.isReceiver() and
70- // outp.isParameter(_)
71- // }
72- // override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
73- // input = inp and output = outp
74- // }
75- // }
76- // private class BuilderScanContext extends TaintTracking::FunctionModel, Method {
77- // FunctionInput inp;
78- // FunctionOutput outp;
79- // BuilderScanContext() {
80- // // signature: func (b {Insert,Delete,Select,Update}Builder) ScanContext(ctx context.Context, dest ...interface{}) error
81- // this.hasQualifiedName(packagePath(),
82- // ["DeleteBuilder", "InsertBuilder", "SelectBuilder", "UpdateBuilder"], "ScanContext") and
83- // inp.isReceiver() and
84- // exists(int i | i > 0 | outp.isParameter(i))
85- // }
86- // override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
87- // input = inp and output = outp
88- // }
89- // }
9062}
0 commit comments