hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 04:39:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python objects: Add clarify comments on callResult predicates.

Browse Source
This commit is contained in:
Mark Shannon
2019-08-02 10:10:47 +01:00
parent ebd5829bfb
commit 4a6f385feb
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/ql/src/semmle/python/objects/ObjectInternal.qll
View File

@@ -66,11 +66,17 @@ class ObjectInternal extends TObject {
/** Holds if `obj` is the result of calling `this` and `origin` is
* the origin of `obj`.
*
* This is the context-insensitive version.
* Generally, if this holds for any object `obj` then `callResult/3` should never hold for that object.
*/
abstract predicate callResult(ObjectInternal obj, CfgOrigin origin);
/** Holds if `obj` is the result of calling `this` and `origin` is
* the origin of `obj` with callee context `callee`.
*
* This is the context-sensitive version.
* Generally, if this holds for any object `obj` then `callResult/2` should never hold for that object.
*/
abstract predicate callResult(PointsToContext callee, ObjectInternal obj, CfgOrigin origin);