hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

python: add qldoc

Browse Source
This commit is contained in:
yoff
2022-04-29 10:34:08 +00:00
committed by GitHub
parent da3634188d
commit 28b239a9a4
1 changed files with 19 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
python/ql/lib/semmle/python/dataflow/new/TestSummaries.qll
View File

@@ -1,3 +1,8 @@
/**
* Provides a set of flow summaries to be used for debugging.
* Import this file in FlowSummary.qll.
*/
private import python private import python
private import semmle.python.dataflow.new.FlowSummary private import semmle.python.dataflow.new.FlowSummary
private import semmle.python.ApiGraphs private import semmle.python.ApiGraphs
@@ -58,16 +63,19 @@ private class SummarizedCallableMap extends SummarizedCallable {
preservesValue = true preservesValue = true
} }
} }
// Typetracking needs to use a local flow step not including summaries // Typetracking needs to use a local flow step not including summaries
// Typetracking needs to use a call graph not including summaries // Typetracking needs to use a call graph not including summaries
// private class SummarizedCallableJsonLoads extends SummarizedCallable { private class SummarizedCallableJsonLoads extends SummarizedCallable {
// SummarizedCallableJsonLoads() { this = "json.loads" } SummarizedCallableJsonLoads() { this = "json.loads" }
// override Call getACall() {
// result = API::moduleImport("json").getMember("loads").getACall().asExpr() override Call getACall() {
// } result = API::moduleImport("json").getMember("loads").getACall().asExpr()
// override predicate propagatesFlowExt(string input, string output, boolean preservesValue) { }
// input = "Argument[0]" and
// output = "ReturnValue.ListElement" and override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
// preservesValue = true input = "Argument[0]" and
// } output = "ReturnValue.ListElement" and
// } preservesValue = true
}
}