Mark Shannon
d6d72dcef4
Python: Account for --respect-init when determining module name.
2019-05-16 11:46:47 +01:00
Mark Shannon
d1a711e459
Merge pull request #1296 from RasmusSemmle/master
...
Add pythagorean query
2019-05-16 11:02:56 +01:00
Calum Grant
6994ba904b
Merge pull request #1309 from hvitved/csharp/get-explicit-arg-nomagic
...
Add `pragma[nomagic]` to `getExplicitArgument()`
2019-05-16 10:57:00 +01:00
Asger F
b9ade67933
JS: Add change note
2019-05-16 10:56:47 +01:00
Asger F
9293010e4c
JS: Fix some FPs in IncorrectSuffixCheck
2019-05-16 10:56:17 +01:00
semmle-qlci
649979de3e
Merge pull request #1327 from asger-semmle/express-nomagic
...
Approved by esben-semmle
2019-05-16 10:43:10 +01:00
Tom Hvitved
02ca09aa43
Data flow: performance improvements
2019-05-16 07:35:10 +02:00
Robert Marsh
14795863e2
Merge pull request #1303 from jbj/hasQualifiedName
...
C++: Fix `getQualifiedName` performance issues
2019-05-15 12:42:57 -07:00
Asger F
8fe2319a23
JS: Fix lurking cartesian product in Express
2019-05-15 18:07:24 +01:00
Calum Grant
6a198ff7e1
Merge pull request #1306 from hvitved/csharp/dataflow/shared-implementation
...
C#: Adopt shared data flow implementation
2019-05-15 17:41:46 +01:00
Mark Shannon
d7558e8fe5
Python: Fix CP in pruner and cache to avoid re-evaluation.
2019-05-15 15:26:44 +01:00
Jonas Jensen
d820fc9cd2
C++: Address review comments about the comments
2019-05-15 14:55:26 +02:00
Jonas Jensen
f38253da89
C++: Use isConstexpr instead of workaround
...
The `addressConstantVariable` predicate was the slowest single predicate
when running the full LGTM suite on Chromium. Fortunately it's only
executed once, but it could be easily made faster by using the new
`Variable.isConstexpr` predicate instead of the slow workaround that was
in its place.
2019-05-15 14:41:05 +02:00
Jonas Jensen
8b012b2cab
C++: Remove unneeded import
2019-05-15 14:35:05 +02:00
Tom Hvitved
949b3601d0
C#: Address review comments
2019-05-15 14:10:42 +02:00
Anders Schack-Mulligen
531d30f048
Java: Add SwitchExpr to Nullness::dereference.
2019-05-15 13:20:55 +02:00
Mark Shannon
2b72a50dbf
Python points-to: Fix up re extension.
2019-05-15 11:24:40 +01:00
Mark Shannon
bf78c62594
Python points-to: Add objects representing missing modules and their attributes.
2019-05-15 11:24:01 +01:00
Taus
1076c03016
Merge pull request #1323 from markshannon/hotfix-path-fix
...
Python QL: Use Module.getPath() to implement ModuleObject.getPath()
2019-05-15 11:46:36 +02:00
Asger F
682f2790cd
JS: Address comments
2019-05-15 10:09:56 +01:00
Mark Shannon
0035dc2982
Python QL: Use Module.getPath() to implement ModuleObject.getPath()
2019-05-15 10:09:00 +01:00
semmle-qlci
ec10b76d5a
Merge pull request #1321 from aschackmull/java/polycalls
...
Approved by pavgust
2019-05-15 08:52:34 +01:00
Mark Shannon
b10a7cd3a4
Python points-to: Make behviour of instances more consistent.
2019-05-14 15:50:20 +01:00
Anders Schack-Mulligen
3eb3cd345d
Java: Update qldoc and add callsImpl convenience wrapper.
2019-05-14 16:31:56 +02:00
Mark Shannon
8f74f918c7
Python points-to: Speed up call-points-to.
2019-05-14 14:49:29 +01:00
Anders Schack-Mulligen
f9e4512f32
Java: Update polyCalls to use virtual dispatch.
2019-05-14 15:36:12 +02:00
Mark Shannon
0afcb11a13
Python points-to: Make sure reachability can skip over if-statements.
2019-05-14 11:52:33 +01:00
Anders Schack-Mulligen
b71acd2ff9
Java: Deprecate RemoteUserInput
2019-05-14 12:33:36 +02:00
Mark Shannon
a5ff527ac2
Python: Remove test due to instability across minor versions.
2019-05-14 10:45:43 +01:00
Asger F
778244878a
JS: Normalize whitespace
2019-05-14 10:31:28 +01:00
Anders Schack-Mulligen
14cad57960
Java: Improve joinorder for GuardsLogic::conditionalAssign.
2019-05-14 11:28:18 +02:00
Tom Hvitved
89e60dc9bf
C#: Simplify CallContext.qll
2019-05-14 11:24:23 +02:00
Mark Shannon
a8dc2908de
Python: Update test results.
2019-05-13 17:32:29 +01:00
Asger F
fd9765b99f
JS: Add qhelp
2019-05-13 17:31:12 +01:00
Mark Shannon
1c20336eb9
Python points-to. Fix attribute lookup for type.
2019-05-13 17:24:02 +01:00
Mark Shannon
a03e101e4f
Python points-to: Improve performance.
2019-05-13 17:15:01 +01:00
Anders Schack-Mulligen
ebb63c8141
Java: Refactor Guard.controls in terms of dominating edges.
2019-05-13 16:35:30 +02:00
Asger F
0c715f7540
JS: Lower precision to medium
2019-05-13 15:20:40 +01:00
Asger F
aaf503837d
JS: Move prototype pollution into real query
2019-05-13 15:20:25 +01:00
Mark Shannon
972ac0fdbd
Python: Update test result.
2019-05-13 15:15:27 +01:00
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
Tom Hvitved
0096024396
Merge pull request #1174 from calumgrant/cs/extractor-diagnostics
...
C#: Log compiler and extractor diagnostics
2019-05-13 12:53:12 +02: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