File tree Expand file tree Collapse file tree 1 file changed +2
-6
lines changed
cpp/ql/src/semmle/code/cpp/models/implementations Expand file tree Collapse file tree 1 file changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -78,9 +78,7 @@ class StdMapAt extends TaintFunction {
7878 * The standard map `find` function.
7979 */
8080class StdMapFind extends TaintFunction {
81- StdMapFind ( ) {
82- this .hasQualifiedName ( "std" , [ "map" , "unordered_map" ] , "find" )
83- }
81+ StdMapFind ( ) { this .hasQualifiedName ( "std" , [ "map" , "unordered_map" ] , "find" ) }
8482
8583 override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
8684 input .isQualifierObject ( ) and
@@ -92,9 +90,7 @@ class StdMapFind extends TaintFunction {
9290 * The standard map `erase` function.
9391 */
9492class StdMapErase extends TaintFunction {
95- StdMapErase ( ) {
96- this .hasQualifiedName ( "std" , [ "map" , "unordered_map" ] , "erase" )
97- }
93+ StdMapErase ( ) { this .hasQualifiedName ( "std" , [ "map" , "unordered_map" ] , "erase" ) }
9894
9995 override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
10096 // flow from qualifier to iterator return value
You can’t perform that action at this time.
0 commit comments