@@ -82,9 +82,7 @@ class StdStringAppend extends TaintFunction {
8282 * The standard function `std::string.assign`.
8383 */
8484class StdStringAssign extends TaintFunction {
85- StdStringAssign ( ) {
86- this .hasQualifiedName ( "std" , "basic_string" , "assign" )
87- }
85+ StdStringAssign ( ) { this .hasQualifiedName ( "std" , "basic_string" , "assign" ) }
8886
8987 /**
9088 * Gets the index of a parameter to this function that is a string (or
@@ -110,9 +108,7 @@ class StdStringAssign extends TaintFunction {
110108 * The standard function `std::string.copy`.
111109 */
112110class StdStringCopy extends TaintFunction {
113- StdStringCopy ( ) {
114- this .hasQualifiedName ( "std" , "basic_string" , "copy" )
115- }
111+ StdStringCopy ( ) { this .hasQualifiedName ( "std" , "basic_string" , "copy" ) }
116112
117113 override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
118114 // copy(dest, num, pos)
@@ -125,9 +121,7 @@ class StdStringCopy extends TaintFunction {
125121 * The standard function `std::string.substr`.
126122 */
127123class StdStringSubstr extends TaintFunction {
128- StdStringSubstr ( ) {
129- this .hasQualifiedName ( "std" , "basic_string" , "substr" )
130- }
124+ StdStringSubstr ( ) { this .hasQualifiedName ( "std" , "basic_string" , "substr" ) }
131125
132126 override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
133127 // substr(pos, num)
0 commit comments