@@ -1170,11 +1170,10 @@ private module Stage2 {
1170
1170
pragma [ nomagic]
1171
1171
private predicate callMayFlowThroughFwd ( DataFlowCall call , Configuration config ) {
1172
1172
exists ( Ap argAp0 , NodeEx out , Cc cc , ApOption argAp , Ap ap |
1173
- fwdFlow ( out , pragma [ only_bind_into ] ( cc ) , pragma [ only_bind_into ] ( argAp ) , ap ,
1174
- pragma [ only_bind_into ] ( config ) ) and
1173
+ fwdFlow ( pragma [ only_bind_out ] ( out ) , pragma [ only_bind_out ] ( cc ) , pragma [ only_bind_out ] ( argAp ) ,
1174
+ pragma [ only_bind_out ] ( ap ) , pragma [ only_bind_out ] ( config ) ) and
1175
1175
fwdFlowOutFromArg ( call , out , argAp0 , ap , config ) and
1176
- fwdFlowIsEntered ( call , pragma [ only_bind_into ] ( cc ) , pragma [ only_bind_into ] ( argAp ) , argAp0 ,
1177
- pragma [ only_bind_into ] ( config ) )
1176
+ fwdFlowIsEntered ( call , cc , argAp , argAp0 , config )
1178
1177
)
1179
1178
}
1180
1179
@@ -1858,11 +1857,10 @@ private module Stage3 {
1858
1857
pragma [ nomagic]
1859
1858
private predicate callMayFlowThroughFwd ( DataFlowCall call , Configuration config ) {
1860
1859
exists ( Ap argAp0 , NodeEx out , Cc cc , ApOption argAp , Ap ap |
1861
- fwdFlow ( out , pragma [ only_bind_into ] ( cc ) , pragma [ only_bind_into ] ( argAp ) , ap ,
1862
- pragma [ only_bind_into ] ( config ) ) and
1860
+ fwdFlow ( pragma [ only_bind_out ] ( out ) , pragma [ only_bind_out ] ( cc ) , pragma [ only_bind_out ] ( argAp ) ,
1861
+ pragma [ only_bind_out ] ( ap ) , pragma [ only_bind_out ] ( config ) ) and
1863
1862
fwdFlowOutFromArg ( call , out , argAp0 , ap , config ) and
1864
- fwdFlowIsEntered ( call , pragma [ only_bind_into ] ( cc ) , pragma [ only_bind_into ] ( argAp ) , argAp0 ,
1865
- pragma [ only_bind_into ] ( config ) )
1863
+ fwdFlowIsEntered ( call , cc , argAp , argAp0 , config )
1866
1864
)
1867
1865
}
1868
1866
@@ -2616,11 +2614,10 @@ private module Stage4 {
2616
2614
pragma [ nomagic]
2617
2615
private predicate callMayFlowThroughFwd ( DataFlowCall call , Configuration config ) {
2618
2616
exists ( Ap argAp0 , NodeEx out , Cc cc , ApOption argAp , Ap ap |
2619
- fwdFlow ( out , pragma [ only_bind_into ] ( cc ) , pragma [ only_bind_into ] ( argAp ) , ap ,
2620
- pragma [ only_bind_into ] ( config ) ) and
2617
+ fwdFlow ( pragma [ only_bind_out ] ( out ) , pragma [ only_bind_out ] ( cc ) , pragma [ only_bind_out ] ( argAp ) ,
2618
+ pragma [ only_bind_out ] ( ap ) , pragma [ only_bind_out ] ( config ) ) and
2621
2619
fwdFlowOutFromArg ( call , out , argAp0 , ap , config ) and
2622
- fwdFlowIsEntered ( call , pragma [ only_bind_into ] ( cc ) , pragma [ only_bind_into ] ( argAp ) , argAp0 ,
2623
- pragma [ only_bind_into ] ( config ) )
2620
+ fwdFlowIsEntered ( call , cc , argAp , argAp0 , config )
2624
2621
)
2625
2622
}
2626
2623
0 commit comments