Mark Shannon
|
992ee2f150
|
Python points-to: Fix up some test results.
|
2019-05-10 16:03:27 +01:00 |
|
Mark Shannon
|
2db0bd9483
|
Python: Remove obsolete tests.
|
2019-05-10 13:04:43 +01:00 |
|
Mark Shannon
|
39861597e5
|
Python points-to: Fix up handiling of metaclasses, new-style and type-heirarchy failure analysis.
|
2019-05-10 13:02:36 +01:00 |
|
Mark Shannon
|
f51a2d9ec4
|
Python points-to: Fix up test-evaluate for ABCs and tests involving type().
|
2019-04-26 16:21:47 +01:00 |
|
Mark Shannon
|
2ea204f7f9
|
Python points-to: Fix up failedInference predicate.
|
2019-04-26 16:21:47 +01:00 |
|
Mark Shannon
|
2aa967ae8e
|
Remove redundant tests.
|
2019-04-26 16:21:47 +01:00 |
|
Mark Shannon
|
4145b19671
|
Python points-to: update some test results.
|
2019-04-26 16:21:47 +01:00 |
|
Mark Shannon
|
ddc4ada130
|
Python points-to: Handle subclassing of ABCs.
|
2019-04-26 16:21:47 +01:00 |
|
Mark Shannon
|
989d587617
|
Python points-to: Fix support for backwards compatible extensions.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
e82b2c422e
|
Python: Update test to use new API.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
a442695ad0
|
Python points-to: Improve handling of len(), sequences and comparisons.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
e21a863db9
|
Python points-to: Update sanity check.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
03159bb31c
|
Python points-to: Track 'unknown' value through simple iteration.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
ef0a6b6713
|
Python points-to: Rationalize handling of expressions and conditions. Tweak API to be a bit more backward-compatible.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
e3ed8c6abf
|
Python points-to: Simplify handling of booleans and comparisons.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
39b9723054
|
Python: Add support for bound-methods.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
bf692f4aad
|
Python: Add better class support, including inheritance.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
5a46df2132
|
Python: Add ADTs for ints and strings. Add some global data-flow.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
051683fadf
|
Python: Break-up internal object modules.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
c48d63f2ec
|
Python: First draft of ADT based objects and attendant points-to.
|
2019-04-26 16:21:45 +01:00 |
|
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 |
|
Jonas Jensen
|
eae2fe5a16
|
Merge pull request #1190 from Semmle/rc/1.20
Merge 1.20 into master
|
2019-04-02 15:29:12 +02:00 |
|
Arthur Baars
|
ba7fdddafb
|
Change @kind to 'table' for test and sanity checks queries that don't select problems
|
2019-04-01 11:20:12 +02:00 |
|
Taus
|
702fc80054
|
Merge pull request #1166 from Semmle/rc/1.20
Merge rc/1.20 into master
|
2019-03-26 13:09:40 +01:00 |
|
Mark Shannon
|
7213b72b9b
|
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 |
|
Mark Shannon
|
ef1c08e351
|
Python: Fix up OsGuard class.
|
2019-03-07 14:21:03 +00:00 |
|
Mark Shannon
|
d46467f526
|
Python: Update tests to account for packages having locations.
|
2019-02-22 12:16:34 +00:00 |
|
Mark Shannon
|
bcf4df840c
|
Convert ObjectOrCfg to IPA type for stronger type-checking.
|
2019-02-12 14:37:19 +00:00 |
|
Mark Shannon
|
220b881096
|
Python: Points-to should flow through call-sites if not assigned outside of scope.
|
2019-02-12 09:57:45 +00:00 |
|
Mark Shannon
|
24d678b869
|
Python: Points-to; let values with no boolean constant value flow through pi-nodes.
|
2019-01-31 15:15:49 +00:00 |
|
Mark Shannon
|
f190f83406
|
Python: Give most non-self instance attributes the 'unknown' value; improves reachability analysis.
|
2019-01-31 15:05:13 +00:00 |
|
Mark Shannon
|
9820249c71
|
Python tests: Further hiding of special ESSA variables in tests, to ease transition from '*' to '$' variable.
|
2019-01-29 15:06:47 +00:00 |
|
Taus
|
1d28c63703
|
Merge pull request #810 from markshannon/python-hide-magic-variables
Python hide magic variables
|
2019-01-28 23:21:31 +01:00 |
|
Taus
|
ffa8b12d48
|
Merge pull request #782 from markshannon/python-add-more-tests
Python: Add more tests
|
2019-01-23 14:04:23 +01:00 |
|
Mark Shannon
|
19c43510a3
|
Python: Make test 2/3 compatible.
|
2019-01-22 14:01:44 +00:00 |
|
Mark Shannon
|
21299493c9
|
Python tests: Hide special ESSA variables in tests, to ease transition from '*' to '$' variable.
|
2019-01-22 11:02:36 +00:00 |
|
Mark Shannon
|
61d8319b4e
|
Fix compilation warning in test.
|
2019-01-21 14:38:12 +00:00 |
|
Mark Shannon
|
5e8ab92cc6
|
Add test for attribute points-to extension.
|
2019-01-21 14:38:12 +00:00 |
|
Mark Shannon
|
01a2add73b
|
Python: Internal points-to extension enhancement. Use it handle re module constants.
|
2019-01-21 14:38:07 +00:00 |
|
Mark Shannon
|
d1d898efac
|
Python: Add regression test for code that proved problematic with the new parser.
|
2019-01-16 11:44:11 +00:00 |
|
Mark Shannon
|
fb90d2a5a6
|
Python points-to: Update test results for fixed ESSA computation.
|
2018-12-03 11:13:18 +00:00 |
|
Mark Shannon
|
05b69a1c0f
|
QL tests for Python queries and libraries.
|
2018-11-19 15:15:54 +00:00 |
|