Skip to content

Commit e4c22da

Browse files
committed
python: add debug predicate
1 parent 125f1d7 commit e4c22da

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

python/ql/lib/semmle/python/dataflow/new/FlowSummary.qll

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,6 +55,12 @@ private class SummarizedCallableFromModel extends SummarizedCallable {
5555
)
5656
}
5757

58+
CallCfgNode test(string file) {
59+
this = "argparse;Member[ArgumentParser].Instance.Member[parse_args]" and
60+
result = this.getACall() and
61+
result.getLocation().getFile().getBaseName() = file
62+
}
63+
5864
override predicate propagatesFlow(string input, string output, boolean preservesValue) {
5965
exists(string kind | ModelOutput::relevantSummaryModel(type, path, input, output, kind) |
6066
kind = "value" and

0 commit comments

Comments
 (0)