Files
codeql/rust/ql/test/utils-tests/modelgenerator/CaptureSourceModels.ql
2025-04-25 15:50:01 +02:00

13 lines
375 B
Plaintext

import rust
import utils.modelgenerator.internal.CaptureModels
import utils.test.InlineMadTest
import codeql.rust.dataflow.internal.ModelsAsData
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getCapturedModel(Function c) { result = Heuristic::captureSource(c) }
string getKind() { result = "source" }
}
import InlineMadTest<InlineMadTestConfig>