hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 10:46:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

use RelevantState inside the lastStartState predicate

Browse Source 
Co-authored-by: Arthur Baars <aibaars@github.com>
This commit is contained in:
Erik Krogh Kristensen
2022-09-05 11:22:12 +02:00
committed by GitHub
parent c38062ce93
commit 0162bc3c77
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/lib/semmle/code/java/security/regexp/NfaUtils.qll
View File

@@ -890,7 +890,7 @@ module PrefixConstruction<isCandidateSig/1 isCandidate> {
private predicate lastStartState(RelevantState state) {
exists(RegExpRoot root |
state =
max(State s, Location l |
max(RelevantState s, Location l |
isStartState(s) and
getRoot(s.getRepr()) = root and
l = s.getRepr().getLocation()