File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed
cpp/ql/src/semmle/code/cpp/models/implementations Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -74,7 +74,8 @@ class StdStringAppend extends TaintFunction {
7474 int getAStringParameterIndex ( ) {
7575 getParameter ( result ) .getType ( ) instanceof PointerType or
7676 getParameter ( result ) .getType ( ) instanceof ReferenceType or
77- getParameter ( result ) .getUnspecifiedType ( ) = getDeclaringType ( ) .getTemplateArgument ( 0 ) .( Type ) .getUnspecifiedType ( ) // i.e. `std::basic_string::CharT`
77+ getParameter ( result ) .getUnspecifiedType ( ) =
78+ getDeclaringType ( ) .getTemplateArgument ( 0 ) .( Type ) .getUnspecifiedType ( ) // i.e. `std::basic_string::CharT`
7879 }
7980
8081 override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
@@ -103,7 +104,8 @@ class StdStringAssign extends TaintFunction {
103104 int getAStringParameterIndex ( ) {
104105 getParameter ( result ) .getType ( ) instanceof PointerType or
105106 getParameter ( result ) .getType ( ) instanceof ReferenceType or
106- getParameter ( result ) .getUnspecifiedType ( ) = getDeclaringType ( ) .getTemplateArgument ( 0 ) .( Type ) .getUnspecifiedType ( ) // i.e. `std::basic_string::CharT`
107+ getParameter ( result ) .getUnspecifiedType ( ) =
108+ getDeclaringType ( ) .getTemplateArgument ( 0 ) .( Type ) .getUnspecifiedType ( ) // i.e. `std::basic_string::CharT`
107109 }
108110
109111 override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
You can’t perform that action at this time.
0 commit comments