Mark Shannon
|
5f9a807392
|
Python points-to: Fix handling of builtin-method objects.
|
2019-05-13 15:08:58 +01:00 |
|
Mark Shannon
|
33043d6a8a
|
Python: update exptected test results.
|
2019-05-13 14:35:22 +01:00 |
|
Mark Shannon
|
1f00c3b248
|
Python points-to: Fix up metaclass determination for Python 2.
|
2019-05-13 14:34:33 +01:00 |
|
Mark Shannon
|
26044f20c7
|
Python points-to: Fix up tuple inequality analysis.
|
2019-05-13 12:59:19 +01:00 |
|
Mark Shannon
|
0491fe1356
|
Python points-to: Update 'analysis' query test results.
|
2019-05-13 12:11:19 +01:00 |
|
Mark Shannon
|
2905737a0e
|
Python points-to: Fix analysis of zero-arg super().
|
2019-05-13 12:00:38 +01:00 |
|
Mark Shannon
|
d74c76510f
|
Python points-to: Don't track non-descriptor class attributes on instances. Update more tests.
|
2019-05-13 11:46:55 +01:00 |
|
Mark Shannon
|
beebd0e15c
|
Python points-to: Be more specific when describing inheritance analysis failures.
|
2019-05-13 10:50:20 +01:00 |
|
Mark Shannon
|
7244b9fc6f
|
Python points-to: Update some more expected test results.
|
2019-05-13 10:49:07 +01:00 |
|
Mark Shannon
|
315fe0ab94
|
Python points-to: Update an expected file.
|
2019-05-10 17:00:03 +01:00 |
|
Mark Shannon
|
80f6883304
|
Python points-to: Update test results.
|
2019-05-10 16:40:53 +01:00 |
|
Mark Shannon
|
8b28105677
|
Python points-to: update some more test results.
|
2019-05-10 16:05:37 +01:00 |
|
Mark Shannon
|
76c43b491f
|
Python points-to: Improve handling of attributes.
|
2019-05-10 16:05:11 +01:00 |
|
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
|
bbf7ff9a3f
|
Python: do pruning in QL.
|
2019-05-09 17:58:36 +01:00 |
|
Rasmus Lerchedahl Petersen
|
b5b2d56bfa
|
Add pythagorean query
|
2019-05-01 13:16:40 +02:00 |
|
Mark Shannon
|
65a30ab392
|
Adjust a couple of query tests to work with latest points-to.
|
2019-04-29 14:28:51 +01:00 |
|
Mark Shannon
|
abf0347fce
|
Python points-to: Split strings into bytes and unicode.
|
2019-04-26 16:21:47 +01:00 |
|
Mark Shannon
|
48c0cbe51a
|
Python: improve handling of __all__
|
2019-04-26 16:21:47 +01:00 |
|
Mark Shannon
|
3bb61e7410
|
Python points-to: Improve handling of subscripts and sequence inequalities.
|
2019-04-26 16:21:47 +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
|
90bbfd3b16
|
Python: Add library tests for django.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
4a03fd03cd
|
Update test to reflect new true positive.
|
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
|
662aedcb13
|
Python points-to: Fix up module attributes and classmethods.
|
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 |
|
Taus
|
7d2c17f27c
|
Merge pull request #1271 from markshannon/python-fix-fp-http-prefix
Python: Fix false positive in 'Incomplete URL substring sanitization' query
|
2019-04-26 15:23:04 +02:00 |
|
Mark Shannon
|
28799441af
|
Python: Fix false positive in 'Incomplete URL substring sanitization' query.
|
2019-04-25 18:11:01 +01:00 |
|
Mark Shannon
|
6a9bb5c5c9
|
Add test confirming correct handling of zope.interface.Interface in query.
|
2019-04-23 12:52:50 +01:00 |
|
Esben Sparre Andreasen
|
c80ee3df01
|
Mergeback: rc/1.20 into Semmle/master
|
2019-04-16 08:46:15 +02:00 |
|
Mark Shannon
|
d6ba729dce
|
Python: Fix semantic merge conflict between #1206 and #1240.
|
2019-04-12 12:32:41 +01:00 |
|
Taus
|
707b73c3d0
|
Merge pull request #1240 from markshannon/python-avoid-ssa-defns-in-tests
Python: Remove callsite refinement ESSA definition in tests
|
2019-04-12 12:05:40 +02:00 |
|
Taus
|
607b5fb077
|
Merge pull request #1206 from markshannon/python-taint-flow-classless
Python taint-tracking: Better flow for "generic" taint.
|
2019-04-12 11:54:52 +02: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 |
|