hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-21 22:57:11 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
rc/3.21
codeql/cpp/ql/test/library-tests/dataflow/models-as-data/consistency.ql
Mathias Vorreiter Pedersen 01d7ab93e2 C++: Add consistency check to the MaD folder.
2025-01-28 13:59:14 +00:00

3 lines
99 B
Plaintext
Raw Permalink Blame History

import testModels
import semmle.code.cpp.ir.dataflow.internal.DataFlowImplConsistency::Consistency
Reference in New Issue View Git Blame Copy Permalink