Mark Shannon
|
62e05187af
|
Python points-to: Add property objects.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
ec080419ba
|
Python points-to: Assorted tweaks to get nore tests passing.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
3b42f3cea3
|
Python points-to/taint-tracking: Fix up flow into __init__ methods.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
53f859117e
|
Python points-to: Fix attribute lookup for packages.
|
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
|
9af7071131
|
Python points-to: track return values from builtin methods.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
b8fb3e3e61
|
Python points-to: Distinguish between class attribute access and lookup. Fixes handling of classmethods.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
55eac7d555
|
Python points-to: Fix up handling of recursive 'from ... import *'.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
0b2421eb23
|
Python points-to. Tidy up a bit.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
5644072a8d
|
Python points-to: make sure builtin tuples are visible.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
b47c2dd083
|
Python remove old MRO module and rename MRO2 to MRO.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
f543adcd38
|
Python points-to: Fix up matching arguments to parameters.
|
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
|
fc2c46fe4a
|
Python: Fix error in update Module to use new points-to API.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
782311f805
|
Python: Update taint-tracking to use new points-to API.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
3c30480845
|
Python: Extend API a bit.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
31a95ceeec
|
Python points-to: Use strongly typed version of CfgOrigin.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
162bf5143b
|
Python points-to: Assorted improvements to performance and better compatibility.
|
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
|
54c27e1d4b
|
Python points-to: Various minor performance tweaks.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
23ca403728
|
Python points-to: Understand callable and hasattr.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
8af6cb6644
|
Python points-to: Use objects, not booleans when doing evaluation of tests.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
610a35c187
|
Python points-to: Improve backwards compatibility for comparisons.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
f7edbcc6d9
|
Python points-to: Clean up interface, and deprecate old interface.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
d3762ac5a1
|
Rename 'points_to' to 'pointsTo'.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
931100c772
|
Python points-to: Add float objects for better backwards compatibility.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
e9f58ba3a7
|
Python: refactor ConstantObjects.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
0b0a6337f3
|
Python points-to: Support descriptor protocols, particularly functions.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
dbf228d005
|
Python points-to: Better handling of *args, **kwargs and procedures.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
f5c32421f4
|
Python points-to: Handle list, dict and float literals as instances.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
48297e299e
|
Python points-to: Improve handling of 'type' object.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
85a9016c8c
|
Python points-to: make 'self' instances distinct from other instances.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
12853ccf30
|
Python points-to: Add support for tuples.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
dd83149cc3
|
Python points-to: Port old API classes to use new points-to.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
aa30745492
|
Python points-to: Further types and flow.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
e3ed8c6abf
|
Python points-to: Simplify handling of booleans and comparisons.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
84c9866c50
|
Python points-to: Add generic instances and handle returns for builtin functions. Move attribute lookup handling to objects.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
ce9d0f1a06
|
Python points-to: Add support for some more ESSA definitions.
|
2019-04-26 16:21:45 +01:00 |
|
Mark Shannon
|
ec151e9b02
|
Python points-to: Convert two pairs of predicates to methods on booleans.
|
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 |
|