Increase test fieldFlowBranchLimit to 1000

smowton · aschackmull · web-flow · commit e2aaae818199 · 2021-06-21T12:51:37.000+01:00
Might as well head off future failures in this test

Co-authored-by: Anders Schack-Mulligen &lt;aschackmull@users.noreply.github.com&gt;
diff --git a/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.ql b/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.ql
@@ -13,7 +13,7 @@ class TaintFlowConf extends TaintTracking::Configuration {
     exists(MethodAccess ma | ma.getMethod().hasName("sink") | n.asExpr() = ma.getAnArgument())
   }
 
-  override int fieldFlowBranchLimit() { result = 3 }
+  override int fieldFlowBranchLimit() { result = 1000 }
 }
 
 class ValueFlowConf extends DataFlow::Configuration {
@@ -27,7 +27,7 @@ class ValueFlowConf extends DataFlow::Configuration {
     exists(MethodAccess ma | ma.getMethod().hasName("sink") | n.asExpr() = ma.getAnArgument())
   }
 
-  override int fieldFlowBranchLimit() { result = 3 }
+  override int fieldFlowBranchLimit() { result = 1000 }
 }
 
 class HasFlowTest extends InlineExpectationsTest {

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ class TaintFlowConf extends TaintTracking::Configuration {`
`13`	`13`	`exists(MethodAccess ma \| ma.getMethod().hasName("sink") \| n.asExpr() = ma.getAnArgument())`
`14`	`14`	`}`
`15`	`15`
`16`		`- override int fieldFlowBranchLimit() { result = 3 }`
	`16`	`+ override int fieldFlowBranchLimit() { result = 1000 }`
`17`	`17`	`}`
`18`	`18`
`19`	`19`	`class ValueFlowConf extends DataFlow::Configuration {`
`@@ -27,7 +27,7 @@ class ValueFlowConf extends DataFlow::Configuration {`
`27`	`27`	`exists(MethodAccess ma \| ma.getMethod().hasName("sink") \| n.asExpr() = ma.getAnArgument())`
`28`	`28`	`}`
`29`	`29`
`30`		`- override int fieldFlowBranchLimit() { result = 3 }`
	`30`	`+ override int fieldFlowBranchLimit() { result = 1000 }`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`class HasFlowTest extends InlineExpectationsTest {`