Tom Hvitved
9ebf8d1d58
Data flow: Sync files
2020-08-14 11:04:45 +02:00
Tom Hvitved
2d29fa1d15
Data flow: Use precise call contexts in flowFwd()
2020-08-14 11:04:45 +02:00
Tom Hvitved
46f10fc032
C#: Restrict DataFlowType to types belonging to Nodes
2020-08-13 13:16:10 +02:00
Tom Hvitved
dcccdee227
C#: Speed up Implements.qll and Unification.qll
...
Restrict constructed GVN types to those that are complete, and reduce
intermediate string construction in `toString()` computations.
2020-08-13 13:11:04 +02:00
Tamas Vajk
def1d888c6
C#: Add body of partial methods
2020-08-12 15:22:14 +02:00
Tom Hvitved
c20d763490
Merge pull request #3951 from raulgarciamsft/users/raulgarciamsft/dataset_serialization
...
C#: DataSet serialization
2020-08-07 12:54:10 +02:00
Raul Garcia
3682a902de
Update csharp/ql/src/experimental/Security Features/Serialization/DataSetSerialization.qhelp
...
Co-authored-by: James Fletcher <42464962+jf205@users.noreply.github.com >
2020-08-06 12:09:02 -07:00
Raul Garcia (MSFT)
aa27eaf7e0
Addrssing the comments from https://github.com/github/codeql/pull/3951#discussion_r464894547 that I missed previously
2020-08-04 15:50:58 -07:00
Tom Hvitved
63115a36f7
Merge pull request #3994 from hvitved/csharp/dataflow/library-aps-adjust
...
C#: More type-based adjustment of library-flow access paths
2020-08-04 14:33:54 +02:00
Raul Garcia (MSFT)
c52064af78
Fixing problems based on CR feedback.
...
https://github.com/github/codeql/pull/3951#pullrequestreview-458987208
2020-08-03 16:39:41 -07:00
Tom Hvitved
71933a4d8a
Merge pull request #4009 from hvitved/csharp/extractor-pack-files
...
C#: Add CodeQL extractor pack files
2020-08-03 19:33:26 +02:00
Tom Hvitved
d1db7b350f
C#: Add CodeQL extractor pack files
2020-08-03 14:36:06 +02:00
Tamás Vajk
dd1a8e9b28
Merge pull request #3991 from tamasvajk/feature/vscode
...
Add VS Code tasks to build and test the C# bits
2020-08-03 09:52:46 +02:00
Tamas Vajk
17e256b2c7
C#: Add VS Code tasks to build and test the C# bits
2020-07-31 16:56:51 +02:00
Tom Hvitved
54ce73b40e
Merge pull request #3995 from hvitved/csharp/fix-alerts
...
C#: Fix a few alerts
2020-07-31 14:07:35 +02:00
Raul Garcia (MSFT)
a5dab4e768
removing a redundant line
2020-07-30 17:05:42 -07:00
Raul Garcia (MSFT)
64f4613a3f
Removing the options file as requested
2020-07-30 10:25:15 -07:00
Raul Garcia (MSFT)
9e74c183fe
Fixing expected results after adding comments to the unit test .cs file
2020-07-30 10:24:24 -07:00
Arthur Baars
7e72ef350e
Merge pull request #3975 from aibaars/lgtm-suites
...
CodeQL: complete LGTM suites
2020-07-30 18:39:01 +02:00
Tom Hvitved
e08e7cdf34
C#: Fix a few alerts
2020-07-30 16:03:36 +02:00
Tom Hvitved
07f1e133f3
C#: More type-based adjustment of library-flow access paths
...
This change removes the restriction that only access paths of length 1 can
have the head adjusted, based on type information from the call to the relevant
library-code callable.
2020-07-30 15:48:41 +02:00
Tom Hvitved
632713c475
Merge pull request #3986 from hvitved/csharp/null-maybe-null-coalescing-assignment
...
C#: Fix false-positives in `cs/dereferenced-value-may-be-null`
2020-07-30 14:20:00 +02:00
Tom Hvitved
05307b8757
C#: Remove more FPs in cs/dereferenced-value-may-be-null
2020-07-30 12:16:59 +02:00
Tom Hvitved
4f4d9d35be
C#: Add more nullness tests
2020-07-30 12:15:49 +02:00
Raul Garcia (MSFT)
6f845b0044
Using CodeQL AutoFormat
2020-07-29 18:01:46 -07:00
Raul Garcia (MSFT)
7923c480af
Fixing queries based on suggestions/comments.
...
TODO: Auto-formatting is still pending (need guidance on how to enable it on my environment). Thanks
2020-07-29 17:14:37 -07:00
Raul Garcia
83e9d052d9
Update csharp/ql/src/experimental/Security Features/Serialization/DataSetSerialization.qll
...
Co-authored-by: Jaroslav Lobačevski <novaisas@gmail.com >
2020-07-29 16:24:13 -07:00
Arthur Baars
5bad003c0c
Add qlpack.yml files for example queries
2020-07-29 16:57:04 +02:00
Tom Hvitved
4345b167ec
Merge pull request #3935 from github/henrymercer/fix-broken-doc-link
...
C#: Fix broken link to ECMA-335
2020-07-29 10:04:08 +02:00
Arthur Baars
c4041e55ba
CodeQL: complete LGTM suites
2020-07-28 20:40:44 +02:00
Tom Hvitved
d39a33655f
C#: Fix false-positives in cs/dereferenced-value-may-be-null
...
Dereferencing an expression of a nullable type should only be reported when
the expression is not clearly non-null.
2020-07-28 16:27:36 +02:00
Tom Hvitved
ce2368de96
C#: Add tests for null-coalescing assignment
2020-07-28 11:07:47 +02:00
Tom Hvitved
c5a4a6be05
Merge pull request #3871 from hvitved/csharp/autobuilder/dotnet-delegate
...
C#: Introduce delegate type in autobuilder
2020-07-27 16:51:24 +02:00
Tom Hvitved
f5c1de8a17
Merge pull request #3960 from calumgrant/cs/tag-inefficient-containskey
...
C#: Fix tags typo
2020-07-27 11:44:58 +02:00
Calum Grant
09f45ac9fe
Merge pull request #3877 from calumgrant/cs/autobuilder-alerts
...
C#: Make fields readonly
2020-07-27 10:43:04 +01:00
Raul Garcia (MSFT)
55473c65f1
Improving documentation
2020-07-20 13:54:23 -07:00
Raul Garcia (MSFT)
9d7d6b39cb
Small fixes based on feedback
2020-07-20 11:14:59 -07:00
Calum Grant
79f412ff54
C#: Fix tags typo
2020-07-17 15:30:33 +01:00
Raul Garcia (MSFT)
5387294168
Moving to experimental as requested
2020-07-16 09:32:17 -07:00
Raul Garcia (MSFT)
3e0481b889
Queries to help on the detection based on misuse of DataSet and DataTable serialization that could lead to security problems.
...
https://go.microsoft.com/fwlink/?linkid=2132227
2020-07-14 17:54:54 -07:00
Calum Grant
dcff87fb2e
Merge pull request #3366 from hvitved/csharp/dataflow/arrays
...
C#: Precise data-flow for collections
2020-07-14 17:12:29 +01:00
Mathias Vorreiter Pedersen
002f930dba
C#: Sync identical files
2020-07-09 15:54:42 +02:00
Henry Mercer
3d711b8cd1
C#: Fix broken link to ECMA-335
2020-07-09 13:15:22 +01:00
Anders Schack-Mulligen
67db1df00c
C++/C#/JavaScript/Python: Port Location qldoc update.
2020-07-07 11:39:27 +02:00
semmle-qlci
04a0d47ab9
Merge pull request #3870 from hvitved/csharp/cfg/cond-out-param
...
Approved by calumgrant
2020-07-02 18:48:05 +01:00
Calum Grant
03cc4e179e
C#: Make fields readonly
2020-07-02 17:47:17 +01:00
Tom Hvitved
7dfc584159
C#: Introduce delegate type in autobuilder
2020-07-02 13:29:49 +02:00
Tom Hvitved
527a099a26
C#: Fix CFG for conditional method calls with out parameters
2020-07-02 13:12:53 +02:00
Tom Hvitved
090205d9e9
C#: Add CFG test for conditional call to method with out parameter
2020-07-02 13:09:40 +02:00
Tom Hvitved
d01904d404
Merge pull request #3846 from hvitved/csharp/autobuilder-refactor
...
C#: Factor C++ parts out of autobuilder
2020-07-02 12:02:04 +02:00