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 |
|
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
|
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 |
|
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 |
|
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 |
|
Mark Shannon
|
df2000ea8e
|
Python: Fix up dataflow configuration to act as expected. Keep undocumented for now.
|
2019-04-05 09:05:13 +01:00 |
|
Mark Shannon
|
e2a3d91a7d
|
Python taint-tracking: If taint has no class allow it flow through both branches of isinstance test.
|
2019-04-04 14:29:34 +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
|
2edde1fed8
|
Python taint-tracking. Handle early exit and 'not' correctly for 'falsey' taints.
|
2019-03-22 11:58:23 +00: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
|
ebd9bc3cb5
|
Python: Improve taint tracking to account for truthiness of the taint kind.
|
2019-03-01 11:24:07 +00:00 |
|
Mark Shannon
|
91a1cc9f0b
|
Python: Add cherrypy handler function return values as taint sinks.
|
2019-02-28 15:25:13 +00:00 |
|
Mark Shannon
|
6c82be8bda
|
Python: CherryPy web framework support -- requests.
|
2019-02-28 15:24:58 +00:00 |
|
Mark Shannon
|
1444b3976c
|
Python: Add wsgi.environment as a kind of taint, and add suuport for env attribute of falcon request objects.
|
2019-02-28 13:06:11 +00:00 |
|
Mark Shannon
|
9e268d77d0
|
Python: Add responses to Falcon framework support.
|
2019-02-27 09:56:18 +00:00 |
|
Mark Shannon
|
6a48420191
|
Python: Basic support for falcon framework; routing and requests.
|
2019-02-27 09:55:52 +00:00 |
|
Mark Shannon
|
742c1d0fa7
|
Python: Add test skeleton for falcon web framework.
|
2019-02-27 09:53:20 +00:00 |
|
Taus
|
dcaf0f8ba8
|
Merge pull request #978 from markshannon/python-turbogears
Python: Add support for turbogears; requests and responses.
|
2019-02-26 21:46:01 +01:00 |
|
Mark Shannon
|
7d0943f30d
|
Python: Add tests for turbogears.
|
2019-02-26 10:15:37 +00:00 |
|
Mark Shannon
|
d46467f526
|
Python: Update tests to account for packages having locations.
|
2019-02-22 12:16:34 +00:00 |
|
Mark Shannon
|
76d1fba9f0
|
Python: Add a test for handling of corner-case strings.
|
2019-02-20 10:26:40 +00:00 |
|
Taus
|
1b25573cc0
|
Merge pull request #872 from markshannon/python-bottle
Python: Add support for bottle framework.
|
2019-02-18 12:34:44 +01:00 |
|
Mark Shannon
|
bcf4df840c
|
Convert ObjectOrCfg to IPA type for stronger type-checking.
|
2019-02-12 14:37:19 +00:00 |
|
Mark Shannon
|
b644891e53
|
Python: Fix up some typos for bottle and add a few more tests.
|
2019-02-12 14:26:06 +00:00 |
|
Mark Shannon
|
aab0a243dc
|
Python: Add redirects to bottle framework support.
|
2019-02-12 14:26:06 +00:00 |
|
Mark Shannon
|
d514fc543d
|
Python: Add responses to bottle framework support.
|
2019-02-12 14:26:06 +00:00 |
|
Mark Shannon
|
8d525e5295
|
Python: Add support for bottle framework routing and requests.
|
2019-02-12 14:26:06 +00:00 |
|