hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Refactor getLeftmostOperand method

Browse Source
This commit is contained in:
Ed Minnix
2023-03-03 15:01:13 -05:00
parent 5ff4fcbc76
commit 938d953789
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
java/ql/src/Security/CWE/CWE-522/InsecureLdapAuth.ql
View File

@@ -53,8 +53,13 @@ predicate concatInsecureLdapString(Expr protocol, Expr host) {
/** Gets the leftmost operand in a concatenated string */
Expr getLeftmostConcatOperand(Expr expr) {
// if expr instanceof AddExpr
// then result = getLeftmostConcatOperand(expr.(AddExpr).getLeftOperand())
// else result = expr
if expr instanceof AddExpr
then result = getLeftmostConcatOperand(expr.(AddExpr).getLeftOperand())
then
result = expr.(AddExpr).getLeftOperand*() and
not result instanceof AddExpr
else result = expr
}