Rasmus Lerchedahl Petersen
|
f9b1c5e4bd
|
Python: Fix bug pointed out by reviewer
|
2020-08-21 10:04:27 +02:00 |
|
yoff
|
bfd9c0860f
|
Apply suggestions from code review
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2020-08-21 09:43:29 +02:00 |
|
yoff
|
8e2b2540fa
|
Apply suggestions from code review
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2020-08-21 09:39:00 +02:00 |
|
Rasmus Lerchedahl Petersen
|
94e6fd9199
|
Python: Convenience methods
asVar, asCfgNode, and asExpr
|
2020-08-20 15:16:23 +02:00 |
|
Rasmus Lerchedahl Petersen
|
5a734730de
|
Python: Control flow nodes are dataflow nodes
iff they are expression nodes
We could refine this later, but it seems to work for now...
|
2020-08-20 15:00:42 +02:00 |
|
Rasmus Wriedt Larsen
|
7fb8e0e277
|
Python: Add basic shared taint tracking test
|
2020-08-20 14:49:17 +02:00 |
|
Rasmus Wriedt Larsen
|
0baac8fd54
|
Python: Adjust shared taint tracking skeleton
So it fits the setup from Java/Go, with AdditionalTaintStep class.
|
2020-08-20 14:49:09 +02:00 |
|
Rasmus Lerchedahl Petersen
|
18e946d4aa
|
Python: Small rearrangement
|
2020-08-19 17:56:02 +02:00 |
|
Rasmus Lerchedahl Petersen
|
bd53a711d3
|
Merge branch 'main' of github.com:github/codeql into SharedDataflow_SequenceFlow
|
2020-08-19 11:42:41 +02:00 |
|
Rasmus Lerchedahl Petersen
|
176aa06fad
|
Python: Address review comments
|
2020-08-19 09:21:16 +02:00 |
|
yoff
|
5e84754f73
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2020-08-19 08:03:47 +02:00 |
|
yoff
|
06bd436aea
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2020-08-19 08:02:53 +02:00 |
|
yoff
|
8fbb447f4c
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Taus <tausbn@github.com>
|
2020-08-19 08:02:29 +02:00 |
|
yoff
|
1c3b945e55
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
Co-authored-by: Taus <tausbn@github.com>
|
2020-08-19 08:01:54 +02:00 |
|
yoff
|
43a5e74c65
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
Co-authored-by: Taus <tausbn@github.com>
|
2020-08-19 08:01:42 +02:00 |
|
Rasmus Lerchedahl Petersen
|
de1c75c279
|
Python: QL format
|
2020-08-18 16:34:04 +02:00 |
|
Rasmus Lerchedahl Petersen
|
f8364dc74b
|
Python: QL doc
|
2020-08-18 15:11:20 +02:00 |
|
Rasmus Lerchedahl Petersen
|
aab603d261
|
Python: QL doc
|
2020-08-18 14:37:59 +02:00 |
|
Rasmus Lerchedahl Petersen
|
d0eaa13974
|
Python: Magic -> Special and reaarange classes
|
2020-08-18 14:14:38 +02:00 |
|
Anders Schack-Mulligen
|
f75f5ab125
|
Merge pull request #3838 from hvitved/dataflow/flow-fwd-ctx
Data flow: Use precise call contexts in `flowFwd()`
|
2020-08-18 13:06:11 +02:00 |
|
yoff
|
b9bf11adb4
|
Update python/ql/src/semmle/python/Magic.qll
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
|
2020-08-18 12:59:57 +02:00 |
|
yoff
|
571520602d
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
|
2020-08-18 12:59:20 +02:00 |
|
yoff
|
59cee284b5
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
|
2020-08-18 12:59:04 +02:00 |
|
Rasmus Lerchedahl Petersen
|
bbf925fcc4
|
Python: Magic subscript and format
(this in preparation for addressing reviews)
|
2020-08-18 12:56:15 +02:00 |
|
Rasmus Lerchedahl Petersen
|
ca7c045d31
|
Python: bad re match made the tests fail..
|
2020-08-17 16:24:00 +02:00 |
|
Tom Hvitved
|
a2fc92b9db
|
Data flow: Address review comments
|
2020-08-17 15:46:43 +02:00 |
|
Rasmus Lerchedahl Petersen
|
8eacef3467
|
Python: Add QL doc
|
2020-08-17 12:01:36 +02:00 |
|
Rasmus Lerchedahl Petersen
|
bfdb580206
|
Python: Experiemntal cleanup strategy
|
2020-08-17 11:37:52 +02:00 |
|
Rasmus Lerchedahl Petersen
|
7ea3fc04c8
|
Python: adjust test annotation (for after feature)
|
2020-08-14 14:46:39 +02:00 |
|
Rasmus Lerchedahl Petersen
|
4bc04486cb
|
Python: Annotate tests (as before the new feature)
|
2020-08-14 14:41:35 +02:00 |
|
Rasmus Lerchedahl Petersen
|
2817602a97
|
Merge branch 'master' of github.com:github/codeql into SharedDataflow_ParameterTests
|
2020-08-14 14:27:57 +02:00 |
|
Rasmus Lerchedahl Petersen
|
e808d3033a
|
Python: Add magic to DataFlowCall
|
2020-08-14 14:19:18 +02:00 |
|
CodeQL CI
|
e9a36b2524
|
Merge pull request #4062 from tausbn/python-fix-unknown-import-star
Approved by yoff
|
2020-08-14 13:17:45 +01:00 |
|
Rasmus Lerchedahl Petersen
|
4211f7f346
|
Merge branch 'master' of github.com:github/codeql into MagicMethods
|
2020-08-14 13:26:27 +02:00 |
|
Rasmus Lerchedahl Petersen
|
360ddc6314
|
Python: better charPred
|
2020-08-14 13:25:17 +02:00 |
|
Rasmus Lerchedahl Petersen
|
9556937840
|
Python: address review comments
|
2020-08-14 11:29:58 +02:00 |
|
Rasmus Lerchedahl Petersen
|
5ed3107045
|
Python: Start scaffold for magic methods
|
2020-08-14 11:12:23 +02:00 |
|
Tom Hvitved
|
e518cbabd6
|
Python: Sync data flow files
|
2020-08-14 11:04:45 +02:00 |
|
yoff
|
8d49ad7325
|
Update python/ql/test/experimental/dataflow/coverage/datamodel.py
Co-authored-by: Taus <tausbn@github.com>
|
2020-08-14 10:53:37 +02:00 |
|
yoff
|
4b336e9b01
|
Update python/ql/test/experimental/dataflow/coverage/classes.py
Co-authored-by: Taus <tausbn@github.com>
|
2020-08-14 10:53:10 +02:00 |
|
Taus Brock-Nannestad
|
a1a1218f95
|
Python: Ignore from foo import * when foo is absent.
|
2020-08-13 10:50:28 +02:00 |
|
Taus Brock-Nannestad
|
dc5c0f8e7a
|
Python: Add test case for missing modules
|
2020-08-13 10:49:11 +02:00 |
|
Rasmus Lerchedahl Petersen
|
3f2fcbf0ae
|
Python: Remove most noise in the query output
Just a quick change, the query should probably be rewritten
|
2020-08-13 08:23:12 +02:00 |
|
Rasmus Lerchedahl Petersen
|
2cc7712d40
|
Python: Annotate test cases
|
2020-08-13 08:02:42 +02:00 |
|
Rasmus Lerchedahl Petersen
|
6dfa2ea9d5
|
Python: update test expectation
|
2020-08-12 16:59:06 +02:00 |
|
Rasmus Lerchedahl Petersen
|
20ffb3fd4c
|
Python: tests for argument routing
Needs annotations
|
2020-08-12 15:43:07 +02:00 |
|
Rasmus Lerchedahl Petersen
|
dd4d00293d
|
Python: remaining class tests
|
2020-08-11 14:16:02 +02:00 |
|
Rasmus Lerchedahl Petersen
|
394991164f
|
Python: Update test expectations
|
2020-08-11 13:05:35 +02:00 |
|
Rasmus Lerchedahl Petersen
|
f834d71bab
|
Python: split out data model tests
|
2020-08-11 11:22:11 +02:00 |
|
Rasmus Lerchedahl Petersen
|
2c5de7f50e
|
Python: fix r/l confusion
|
2020-08-11 10:48:23 +02:00 |
|