Files
codeql/cpp/ql/test/library-tests/dataflow/modelgenerator/dataflow/CaptureContentSummaryModels.ql
Mathias Vorreiter Pedersen bce5f2539f C++/C#/Java/Rust: Fixup tests.
2025-05-02 16:52:05 +01:00

15 lines
391 B
Plaintext

import cpp
import utils.modelgenerator.internal.CaptureModels
import SummaryModels
import InlineModelsAsDataTest
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getCapturedModel(MadRelevantFunction c) {
result = ContentSensitive::captureFlow(c, _, _, _, _)
}
string getKind() { result = "contentbased-summary" }
}
import InlineMadTest<InlineMadTestConfig>