Files
codeql/rust/ql/test/utils-tests/modelgenerator/CaptureSummaryModels.ql
2025-02-04 10:19:04 +01:00

12 lines
334 B
Plaintext

import rust
import utils.modelgenerator.internal.CaptureModels
import utils.test.InlineMadTest
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getCapturedModel(Function c) { result = ContentSensitive::captureFlow(c, _) }
string getKind() { result = "summary" }
}
import InlineMadTest<InlineMadTestConfig>