hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Implement traceback module

Browse Source 
Just functions, not the classes for now
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-02-03 21:45:18 +01:00
parent 6a45f6e7e0
commit 232d9b006a
1 changed files with 26 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
python/ql/src/semmle/python/frameworks/Stdlib.qll
View File

@@ -1654,6 +1654,32 @@ private module Stdlib {
class Sqlite3 extends PEP249Module {
Sqlite3() { this = sqlite3() }
}
// ---------------------------------------------------------------------------
// traceback
// ---------------------------------------------------------------------------
/** Gets a reference to the `traceback` module. */
API::Node traceback() { result = API::moduleImport("traceback") }
/**
* Gets a reference to the attribute `attr_name` of the `traceback` module.
*/
private API::Node traceback_attr(string attr_name) { result = traceback().getMember(attr_name) }
/** Provides models for the `traceback` module. */
module traceback {
private class TracebackFunctionCall extends ErrorInfoSource::Range, DataFlow::CfgNode {
override CallNode node;
TracebackFunctionCall() {
node.getFunction() =
traceback_attr([
"extract_tb", "extract_stack", "format_list", "format_exception_only",
"format_exception", "format_exc", "format_tb", "format_stack"
]).getAUse().asCfgNode()
}
}
}
}
// ---------------------------------------------------------------------------