|
6 | 6 | * @kind path-problem
|
7 | 7 | * @problem.severity error
|
8 | 8 | * @precision high
|
9 |
| - * @id cpp/sql-injection |
| 9 | + * @id cpp/sql-injection-via-pqxx |
10 | 10 | * @tags security
|
11 | 11 | * external/cwe/cwe-089
|
12 | 12 | */
|
@@ -75,7 +75,7 @@ Expr getPqxxSqlArgument() {
|
75 | 75 | // to find ConnectionHandle/TransationHandle and similar classes which override '->' operator behavior
|
76 | 76 | // and return pointer to a connection/transation object
|
77 | 77 | e.getType().refersTo(t) and
|
78 |
| - // transation exec and connection prepare variations |
| 78 | + // transaction exec and connection prepare variations |
79 | 79 | (
|
80 | 80 | pqxxTransationClassNames(t.getName(), _) and
|
81 | 81 | pqxxTransactionSqlArgument(fc.getTarget().getName(), argIndex)
|
@@ -113,10 +113,10 @@ predicate isEscapedPqxxArgument(Expr argExpr) {
|
113 | 113 | // to find ConnectionHandle/TransationHandle and similar classes which override '->' operator behavior
|
114 | 114 | // and return pointer to a connection/transation object
|
115 | 115 | e.getType().refersTo(t) and
|
116 |
| - // transation and connection escape functions |
| 116 | + // transaction and connection escape functions |
117 | 117 | (pqxxTransationClassNames(t.getName(), _) or pqxxConnectionClassNames(t.getName(), _)) and
|
118 | 118 | pqxxEscapeArgument(fc.getTarget().getName(), argIndex) and
|
119 |
| - // eval is escaped |
| 119 | + // is escaped arg == argExpr |
120 | 120 | argExpr = fc.getArgument(argIndex)
|
121 | 121 | )
|
122 | 122 | }
|
|
0 commit comments