@@ -61,13 +61,13 @@ private class StringEqualitySanitizer extends Sanitizer {
6161 }
6262}
6363
64- /* tonode = ....format(fromnode) */
64+ /** tonode = ....format(fromnode) */
6565private predicate str_format ( ControlFlowNode fromnode , CallNode tonode ) {
6666 tonode .getFunction ( ) .( AttrNode ) .getName ( ) = "format" and
6767 tonode .getAnArg ( ) = fromnode
6868}
6969
70- /* tonode = codec.[en|de]code(fromnode)*/
70+ /** tonode = codec.[en|de]code(fromnode) */
7171private predicate encode_decode ( ControlFlowNode fromnode , CallNode tonode ) {
7272 exists ( FunctionObject func , string name |
7373 not func .getFunction ( ) .isMethod ( ) and
@@ -81,7 +81,7 @@ private predicate encode_decode(ControlFlowNode fromnode, CallNode tonode) {
8181 )
8282}
8383
84- /* tonode = str(fromnode)*/
84+ /** tonode = str(fromnode) */
8585private predicate to_str ( ControlFlowNode fromnode , CallNode tonode ) {
8686 tonode .getAnArg ( ) = fromnode and
8787 (
@@ -91,7 +91,7 @@ private predicate to_str(ControlFlowNode fromnode, CallNode tonode) {
9191 )
9292}
9393
94- /* tonode = fromnode[:] */
94+ /** tonode = fromnode[:] */
9595private predicate slice ( ControlFlowNode fromnode , SubscriptNode tonode ) {
9696 exists ( Slice all |
9797 all = tonode .getIndex ( ) .getNode ( ) and
@@ -101,7 +101,7 @@ private predicate slice(ControlFlowNode fromnode, SubscriptNode tonode) {
101101 )
102102}
103103
104- /* tonode = os.path.join(..., fromnode, ...) */
104+ /** tonode = os.path.join(..., fromnode, ...) */
105105private predicate os_path_join ( ControlFlowNode fromnode , CallNode tonode ) {
106106 tonode = Value:: named ( "os.path.join" ) .getACall ( ) and
107107 tonode .getAnArg ( ) = fromnode
0 commit comments