Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit e845204

Browse files
MathiasVPMathiasVP
committed
C++: Add tests of internal MaD predicates and accept test changes.
1 parent d38ce61 commit e845204

3 files changed

Lines changed: 524 additions & 0 deletions

File tree

‎cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll‎

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -623,6 +623,34 @@ private predicate signatureMatches(Function func, string signature, string type,
623623
else i = count(signature.indexOf(","))
624624
}
625625

626+
/**
627+
* Internal: Do not use.
628+
*
629+
* This module only exists to expose internal predicates for testing purposes.
630+
*/
631+
module ExternalFlowDebug {
632+
/**
633+
* INTERNAL: Do not use.
634+
*
635+
* Exposed for testing purposes.
636+
*/
637+
predicate signatureMatches_debug = signatureMatches/5;
638+
639+
/**
640+
* INTERNAL: Do not use.
641+
*
642+
* Exposed for testing purposes.
643+
*/
644+
predicate getSignatureParameterName_debug = getSignatureParameterName/4;
645+
646+
/**
647+
* INTERNAL: Do not use.
648+
*
649+
* Exposed for testing purposes.
650+
*/
651+
predicate getParameterTypeName_debug = getParameterTypeName/2;
652+
}
653+
626654
/**
627655
* Holds if `s` can be broken into a string of the form
628656
* `beforeAngles<betweenAngles>`,

0 commit comments

Comments
 (0)