Use SummaryModelCsv for the toString taint step

jorgectf · jorgectf · commit b62b8c8d28a0 · 2022-03-14T21:47:06.000+01:00
diff --git a/java/ql/lib/semmle/code/java/frameworks/MyBatis.qll b/java/ql/lib/semmle/code/java/frameworks/MyBatis.qll
@@ -162,6 +162,12 @@ private class MyBatisProviderStep extends TaintTracking::AdditionalValueStep {
   }
 }
 
+private class MyBatisAbstractSQLToStringStep extends SummaryModelCsv {
+  override predicate row(string row) {
+    row = ["org.apache.ibatis.jdbc;AbstractSQL;true;toString;;;Argument[-1];ReturnValue;taint"]
+  }
+}
+
 private class MyBatisAbstractSQLMethodsStep extends SummaryModelCsv {
   override predicate row(string row) {
     row =

Original file line number	Diff line number	Diff line change
`@@ -162,6 +162,12 @@ private class MyBatisProviderStep extends TaintTracking::AdditionalValueStep {`
`162`	`162`	`}`
`163`	`163`	`}`
`164`	`164`
	`165`	`+private class MyBatisAbstractSQLToStringStep extends SummaryModelCsv {`
	`166`	`+ override predicate row(string row) {`
	`167`	`+ row = ["org.apache.ibatis.jdbc;AbstractSQL;true;toString;;;Argument[-1];ReturnValue;taint"]`
	`168`	`+ }`
	`169`	`+}`
	`170`	`+`
`165`	`171`	`private class MyBatisAbstractSQLMethodsStep extends SummaryModelCsv {`
`166`	`172`	`override predicate row(string row) {`
`167`	`173`	`row =`