Ruby: Cache some barrier guard predicates

This commit is contained in:
Harry Maclean 2022-11-18 18:17:02 +13:00
Родитель 5deb16e58c
Коммит 376d4e03a1
1 изменённых файлов: 2 добавлений и 0 удалений

Просмотреть файл

@ -9,6 +9,7 @@ private import codeql.ruby.ast.internal.Constant
private import codeql.ruby.InclusionTests
private import codeql.ruby.ast.internal.Literal
cached
private predicate stringConstCompare(CfgNodes::AstCfgNode guard, CfgNode testedNode, boolean branch) {
exists(CfgNodes::ExprNodes::ComparisonOperationCfgNode c |
c = guard and
@ -102,6 +103,7 @@ deprecated class StringConstCompare extends DataFlow::BarrierGuard,
}
}
cached
private predicate stringConstArrayInclusionCall(
CfgNodes::AstCfgNode guard, CfgNode testedNode, boolean branch
) {