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 |
|
Asger F
|
4db7aa6ed2
|
JS: Relax type inference to account for overriding
|
2019-05-13 10:18:19 +01:00 |
|
Calum Grant
|
88b5719103
|
C#: Add DB upgrade script
|
2019-05-13 09:18:52 +01:00 |
|
Calum Grant
|
7a3b6575a5
|
C#: Update expected output following roslyn-3.0.0 update.
|
2019-05-13 09:18:52 +01:00 |
|
calum
|
7b19402b1f
|
C#: Update DB stats.
|
2019-05-13 09:18:52 +01:00 |
|
calum
|
39bb3f2d52
|
C#: Fix elapsed timings and add a test for it.
|
2019-05-13 09:18:52 +01:00 |
|
calum
|
c67e441003
|
C#: Implement compilation_referencing_files and update comments for C#.
|
2019-05-13 09:18:52 +01:00 |
|
calum
|
1a99f4f253
|
C#: Fix unit tests due to qltest mangling output.
|
2019-05-13 09:18:52 +01:00 |
|
calum
|
2a484dc4ea
|
C#: Fix alerts and tests.
|
2019-05-13 09:18:52 +01:00 |
|
calum
|
66b3df7f29
|
C#: Fix unit tests.
|
2019-05-13 09:18:52 +01:00 |
|
calum
|
3046cc494a
|
C#: Code tidy.
|
2019-05-13 09:18:52 +01:00 |
|
calum
|
343cddcbb7
|
C#: Refactor extractor errors and log extractor errors to the database.
|
2019-05-13 09:18:52 +01:00 |
|
calum
|
e1158bb5e5
|
C#: Store compilations, compiler diagnostics and performance in the database.
|
2019-05-13 09:18:52 +01:00 |
|
Jonas Jensen
|
bb67ac9ad1
|
Merge pull request #1219 from geoffw0/msfix2
CPP: Fix FormatLiteral.isMicrosoft
|
2019-05-13 09:24:49 +02: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
|
a1bf071f55
|
Python points-to: Fix getattr() points-to.
|
2019-05-10 16:36:09 +01:00 |
|
Geoffrey White
|
4cc23cce13
|
CPP: Document.
|
2019-05-10 16:26:39 +01:00 |
|
Geoffrey White
|
581266c347
|
CPP: Alternative fix.
|
2019-05-10 16:26:38 +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 |
|