Mark Shannon ca6e03f597 Python: Remove callsite refinement ESSA definition when call in a test defining a pi-node.

2019-04-11 16:08:29 +01:00

..

calls

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

customise

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

decorators

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

extensions

Python: Allow points-to extensions to specify just the object, and infer the class. Allows points-to extensions to more easily compatible across versions.

2019-03-15 11:09:46 +00:00

functions

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

general

Change @kind to 'table' for test and sanity checks queries that don't select problems

2019-04-01 11:20:12 +02:00

guarded

Python: Give most non-self instance attributes the 'unknown' value; improves reachability analysis.

2019-01-31 15:05:13 +00:00

imports

Convert ObjectOrCfg to IPA type for stronger type-checking.

2019-02-12 14:37:19 +00:00

indexing

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

inheritance

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

lookup

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

metaclass

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

new

Python: Remove callsite refinement ESSA definition when call in a test defining a pi-node.

2019-04-11 16:08:29 +01:00

returns

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

super

QL tests for Python queries and libraries.

2018-11-19 15:15:54 +00:00

version

Python: Fix up OsGuard class.

2019-03-07 14:21:03 +00:00