github
/
codeql
зеркало из https://github.com/github/codeql.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

C++: Rename predicate.

This commit is contained in:
Mathias Vorreiter Pedersen 2024-04-16 22:07:55 +01:00
Родитель eb2790ae63
Коммит 96ba3ec88e
1 изменённых файлов: 3 добавлений и 3 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

6
cpp/ql/src/experimental/Security/CWE/CWE-416/IteratorToExpiredContainer.ql
Просмотреть файл

@ -77,7 +77,7 @@ DataFlow::Node getADestroyedNode() {
) )
} }
predicate isSinkImpl(DataFlow::Node sink, FunctionCall fc) { predicate destroyedToBeginSink(DataFlow::Node sink, FunctionCall fc) {
exists(CallInstruction call | exists(CallInstruction call |
call = sink.asOperand().(ThisArgumentOperand).getCall() and call = sink.asOperand().(ThisArgumentOperand).getCall() and
fc = call.getUnconvertedResultExpression() and fc = call.getUnconvertedResultExpression() and
@ -91,7 +91,7 @@ predicate isSinkImpl(DataFlow::Node sink, FunctionCall fc) {
module DestroyedToBeginConfig implements DataFlow::ConfigSig { module DestroyedToBeginConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { source = getADestroyedNode() } predicate isSource(DataFlow::Node source) { source = getADestroyedNode() }
predicate isSink(DataFlow::Node sink) { isSinkImpl(sink, _) } predicate isSink(DataFlow::Node sink) { destroyedToBeginSink(sink, _) }
DataFlow::FlowFeature getAFeature() { DataFlow::FlowFeature getAFeature() {
// By blocking argument-to-parameter flow we ensure that we don't enter a // By blocking argument-to-parameter flow we ensure that we don't enter a
@ -111,5 +111,5 @@ module DestroyedToBeginConfig implements DataFlow::ConfigSig {
module DestroyedToBeginFlow = DataFlow::Global<DestroyedToBeginConfig>; module DestroyedToBeginFlow = DataFlow::Global<DestroyedToBeginConfig>;
from DataFlow::Node source, DataFlow::Node sink, FunctionCall beginOrEnd from DataFlow::Node source, DataFlow::Node sink, FunctionCall beginOrEnd
where DestroyedToBeginFlow::flow(source, sink) and isSinkImpl(sink, beginOrEnd) where DestroyedToBeginFlow::flow(source, sink) and destroyedToBeginSink(sink, beginOrEnd)
select source, "This object is destroyed before $@ is called.", beginOrEnd, beginOrEnd.toString() select source, "This object is destroyed before $@ is called.", beginOrEnd, beginOrEnd.toString()