We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9e0d6e8 commit 0dc797dCopy full SHA for 0dc797d
cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll
@@ -2,6 +2,7 @@
2
* Provides predicates for mapping the `FunctionInput` and `FunctionOutput`
3
* classes used in function models to the corresponding instructions.
4
*/
5
+
6
private import semmle.code.cpp.ir.IR
7
private import semmle.code.cpp.ir.dataflow.DataFlow
8
0 commit comments