@@ -14,16 +14,14 @@ class ExistsAnyFlowConfig extends DataFlow::Configuration {
1414 ExistsAnyFlowConfig ( ) { this = "ExistsAnyFlowConfig" }
1515
1616 override predicate isSource ( DataFlow:: Node source ) {
17- exists ( BoostorgAsio:: SslContextClass c |
18- c .getAContructorCall ( ) = source .asExpr ( )
19- )
17+ exists ( BoostorgAsio:: SslContextClass c | c .getAContructorCall ( ) = source .asExpr ( ) )
2018 }
2119
2220 override predicate isSink ( DataFlow:: Node sink ) {
23- exists ( BoostorgAsio:: SslSetOptionsFunction f , FunctionCall fcSetOptions |
24- f .getACallToThisFunction ( ) = fcSetOptions and
25- fcSetOptions .getQualifier ( ) = sink .asExpr ( )
26- )
21+ exists ( BoostorgAsio:: SslSetOptionsFunction f , FunctionCall fcSetOptions |
22+ f .getACallToThisFunction ( ) = fcSetOptions and
23+ fcSetOptions .getQualifier ( ) = sink .asExpr ( )
24+ )
2725 }
2826}
2927
@@ -49,15 +47,12 @@ predicate isOptionSet(ConstructorCall cc, int flag, FunctionCall fcSetOptions) {
4947
5048bindingset [ flag]
5149predicate isOptionNotSet ( ConstructorCall cc , int flag ) {
52- not exists ( FunctionCall fcSetOptions |
53- isOptionSet ( cc , flag , fcSetOptions )
54- )
50+ not exists ( FunctionCall fcSetOptions | isOptionSet ( cc , flag , fcSetOptions ) )
5551}
5652
5753from
58- BoostorgAsio:: SslContextCallTlsProtocolConfig configConstructor ,
59- Expr protocolSource , Expr protocolSink ,
60- ConstructorCall cc , Expr e , string msg
54+ BoostorgAsio:: SslContextCallTlsProtocolConfig configConstructor , Expr protocolSource ,
55+ Expr protocolSink , ConstructorCall cc , Expr e , string msg
6156where
6257 configConstructor .hasFlow ( DataFlow:: exprNode ( protocolSource ) , DataFlow:: exprNode ( protocolSink ) ) and
6358 cc .getArgument ( 0 ) = protocolSink and
0 commit comments