Calum Grant
313c9ac6ec
C#: Address review comments.
2020-05-07 10:35:29 +01:00
Dave Bartolomeo
f0e86a9191
C++: Add missing module comment
2020-05-06 17:30:20 -04:00
Dave Bartolomeo
df4fdaf6ff
C++: Fix PR feedback
...
Note that the various predicates to access the singleton instances of the `EdgeKind` classes have been moved into a module named `EdgeKind`.
2020-05-06 17:06:48 -04:00
Tom Hvitved
0466e36985
C#: Teach Implements.qll about nested types
2020-05-06 09:25:40 +02:00
Tom Hvitved
f9ece0aefb
C#: Add implements test for nested types
2020-05-06 09:25:40 +02:00
Tom Hvitved
4c1a9b25c1
C#: Teach unification library about nested types
2020-05-06 09:25:40 +02:00
Tom Hvitved
851fc98b01
C#: Add type unification tests for nested types
2020-05-06 09:25:40 +02:00
Jonas Jensen
63f04afa8d
Merge pull request #3312 from hvitved/dataflow/impl-no-postupdate
...
Data flow: Support stores into nodes that are not `PostUpdateNode`s
2020-05-06 09:09:31 +02:00
Tom Hvitved
e8e27e0e00
C#: Address review comments
2020-05-05 14:28:13 +02:00
Tom Hvitved
19c3e6a58d
C#: Add DB upgrade script
2020-05-05 14:28:13 +02:00
Tom Hvitved
c324c388d0
C#: Refine UnboundGeneric and ConstructedGeneric
2020-05-05 14:28:13 +02:00
Tom Hvitved
8a01023dee
C#: Add more generics tests
2020-05-05 14:28:13 +02:00
Tom Hvitved
4f7743058a
C#: Restructure existing generics tests
2020-05-05 14:28:13 +02:00
Tom Hvitved
e95cc24b3f
Data flow: Support stores into nodes that are not PostUpdateNodes
2020-05-05 14:01:04 +02:00
Anders Schack-Mulligen
b7458091a9
Merge pull request #3110 from hvitved/dataflow/no-more-summaries
...
Data flow: No more flow summaries
2020-05-05 13:27:07 +02:00
Geoffrey White
a70f534458
Sync identical files.
2020-05-05 09:18:05 +01:00
Calum Grant
a01ef83312
Merge pull request #3270 from hvitved/csharp/dataflow/library-field-flow
...
C#: Field-sensitive summaries for library code
2020-05-04 16:11:18 +01:00
Tom Hvitved
c7763e69e5
C#: Add comments to LibraryCodeNode::get{Predecessor|Successor}()
2020-05-04 13:46:52 +02:00
Tom Hvitved
a4d933d1d6
C#: More results for cs/web/missing-x-frame-options
...
Report an alert in _any_ `Web.config` file, as long as it does not have an
`X-Frame-Options` entry (as opposed to only reporting alerts when _all_
`Web.config` files lack the entry).
2020-05-04 09:17:08 +02:00
Tom Hvitved
32b419229d
C#: Address review comments
2020-05-04 09:01:49 +02:00
Dave Bartolomeo
8e9e3c8919
Merge pull request #3395 from jbj/IRBlock-unique
...
C++: Use `unique` aggregate in IRBlock computation
2020-05-03 07:54:51 -04:00
Jonas Jensen
0a59045dc3
C++: Use unique aggregate in IRBlock computation
...
This gives a slight speedup, and I think it makes the code shorter and
clearer.
On Wireshark, the time from the beginning of the `IRBlock` stage until
just before evaluation of `getInstruction` drops from 44s to 34s.
2020-05-03 10:07:09 +02:00
Dave Bartolomeo
a166a4d143
C++: A few IR QLDoc comments
2020-05-01 18:17:20 -04:00
Robert Marsh
83e222e5bd
C++/C#: sync files
2020-05-01 14:17:43 -07:00
Calum Grant
25d5c81896
C#: Enable nullability for Semmle.Extraction project. Some refactoring required.
2020-04-29 15:59:46 +01:00
Calum Grant
6b8a5606d6
C#: Enable nullability for Autobuild tests project.
2020-04-29 15:27:35 +01:00
Calum Grant
86d032e2ea
C#: Remove nullability warning by lifting local function. Warning seems to be caused by a compiler bug.
2020-04-29 15:21:43 +01:00
Tom Hvitved
7cbf37c6ba
C#: Convert string.format() queries to path queries
2020-04-28 09:59:19 +02:00
Tom Hvitved
d28c4fb0f5
Merge pull request #3202 from jbj/pathStep-join-unique
...
Java/C++/C#: Use `unique` to improve join order fix
2020-04-27 13:06:27 +02:00
Calum Grant
fcc2b66d1a
Merge pull request #3347 from hvitved/csharp/vsvars-test
...
C#: Update expected test output
2020-04-24 12:12:31 +01:00
Tom Hvitved
6911937ab8
C#: Update expected test output
2020-04-24 09:26:50 +02:00
Tom Hvitved
5b5f9adfc6
C#: Add missing CFG edge from generic catch block to finally block
2020-04-23 08:45:11 +02:00
Tom Hvitved
bd075a7de0
C#: Add CFG test
2020-04-23 08:45:11 +02:00
Tom Hvitved
8c0c283811
Revert "C#: Improve db consistency by removing assembly id"
2020-04-22 16:32:13 +02:00
Tom Hvitved
29e690e159
Merge remote-tracking branch 'upstream/master' into csharp/vsvars-unset-platform
2020-04-21 09:00:26 +02:00
Tom Hvitved
7d86cce658
Merge pull request #2814 from calumgrant/cs/unqualify-trap-ids
...
C#: Improve db consistency by removing assembly id
2020-04-21 08:58:34 +02:00
Jonas Jensen
875daae84b
Merge pull request #3151 from dbartol/dbartol/floats
...
C++: Better support for complex numbers in IR and AST
2020-04-20 16:27:20 +02:00
Calum Grant
41d8d32764
C#: Address review comment: Make dictionary type more specific.
2020-04-20 15:06:42 +01:00
Calum Grant
eb1474acee
Merge pull request #3276 from hvitved/csharp/dataflow/array-tests
...
C#: Add data-flow test for collections
2020-04-20 11:36:17 +01:00
Calum Grant
ead916702a
C#: Take nullability into account when creating symbol entities. Otherwise, an entity with the wrong (cached) nullability could be created.
2020-04-20 11:29:31 +01:00
Tom Hvitved
e186c9ddd1
C#: Update data-flow collection test method names
2020-04-20 09:29:51 +02:00
Tom Hvitved
161093bd57
C#: Rename arrays data-flow test to collections
2020-04-20 09:20:42 +02:00
Dave Bartolomeo
de5abdb29a
C++/C#: Add missing QLDoc
2020-04-18 09:55:35 -04:00
Robert Marsh
9008084b74
Merge pull request #3272 from dbartol/dbartol/DumpFixes
...
C++: A couple of fixes for IR dumps
2020-04-17 11:49:52 -07:00
Tom Hvitved
f91af7daf3
C#: Add more data-flow tests
2020-04-17 13:49:08 +02:00
Tom Hvitved
1b6e978a62
Data flow: Sync files
2020-04-17 13:49:06 +02:00
Tom Hvitved
de41e668b0
Data flow: No more flow summaries
2020-04-17 13:48:20 +02:00
Tom Hvitved
c36142f129
C#: Add data-flow test for collections
2020-04-17 11:22:01 +02:00
Tom Hvitved
1959480b78
C#: Field-flow summaries for library code
2020-04-16 15:20:47 +02:00
Dave Bartolomeo
3dd3b5304e
Merge remote-tracking branch 'upstream/master' into dbartol/floats
2020-04-16 08:44:41 -04:00
