Tom Hvitved
|
d4ce42ac4f
|
Merge pull request #5416 from hvitved/csharp/rework-summaries
C#: Rework flow summary implementation
|
2021-03-26 09:47:15 +01:00 |
|
Tom Hvitved
|
b94c189946
|
C#: Remove VulnerablePackage.ql query
|
2021-03-25 09:50:24 +01:00 |
|
Tom Hvitved
|
eeb8c74666
|
C#: Remove filter and external queries
These are legacy queries that are no longer used.
|
2021-03-25 09:50:01 +01:00 |
|
Tom Hvitved
|
c5c80204d5
|
C#: Rework flow summary implementation
|
2021-03-24 11:27:01 +01:00 |
|
Tom Hvitved
|
6d6150d051
|
C#: Change some data-flow toString()s
|
2021-03-23 16:42:58 +01:00 |
|
Tom Hvitved
|
3c26779f40
|
Merge pull request #5415 from tamasvajk/feature/async-flow
C#: add store step for return statements inside async methods
|
2021-03-23 13:59:19 +01:00 |
|
Tom Hvitved
|
09a49e4580
|
Merge pull request #5311 from hvitved/dataflow/lambda
Data flow: Move C# lambda flow logic into shared library
|
2021-03-19 11:44:15 +01:00 |
|
Tamas Vajk
|
cd820917bc
|
Remove duplicate yield return entries from global dataflow test
|
2021-03-16 21:28:58 +01:00 |
|
Tamas Vajk
|
2541e9cb6a
|
C#: Handle async data flow in expression bodied callables
|
2021-03-16 16:32:47 +01:00 |
|
Tamas Vajk
|
732ef92830
|
C#: add store step for return statements inside async methods
|
2021-03-16 15:18:00 +01:00 |
|
Tamas Vajk
|
c684b74b3d
|
C#: Add async dataflow tests
|
2021-03-16 14:46:16 +01:00 |
|
Tom Hvitved
|
88b7ad001f
|
C#: Take phi nodes into account in Steps::getARead()
|
2021-03-16 13:55:30 +01:00 |
|
Tom Hvitved
|
cb8e2d451d
|
C#: Add test for DeadStoreOfLocal.ql
|
2021-03-16 13:52:41 +01:00 |
|
Tom Hvitved
|
a373a523f6
|
Data flow: Move C# lambda flow logic into shared library
|
2021-03-16 13:49:32 +01:00 |
|
Tom Hvitved
|
e1e4016a5c
|
C#: Fix missing delegate flow
|
2021-03-16 13:16:23 +01:00 |
|
Tom Hvitved
|
29c6d22163
|
C#: Add test exposing missing delegate flow
|
2021-03-16 13:16:23 +01:00 |
|
Tom Hvitved
|
25adcfc39d
|
C#: Fix missing phi flow
|
2021-03-16 13:16:23 +01:00 |
|
Tom Hvitved
|
e092b31791
|
C#: Add test exposing missing phi flow
|
2021-03-16 13:16:23 +01:00 |
|
Tamás Vajk
|
24140195d6
|
Merge pull request #5242 from tamasvajk/feature/tuple-df
C#: Add tuple dataflow
|
2021-03-16 11:45:11 +01:00 |
|
Tamás Vajk
|
8d6b8359eb
|
Merge pull request #5316 from tamasvajk/feature/roslyn3.9
C#: Upgrade Roslyn dependencies to 3.9
|
2021-03-16 11:44:42 +01:00 |
|
Tamas Vajk
|
27048191c8
|
C#: Add dataflow test for tuple-positional pattern
|
2021-03-12 17:14:24 +01:00 |
|
Tamas Vajk
|
0defad77dd
|
C#: Add tuple data flow in patterns
|
2021-03-09 09:14:24 +01:00 |
|
Tom Hvitved
|
80a7b52f38
|
C#: Convert data-flow test queries to path-problems
|
2021-03-09 09:14:24 +01:00 |
|
Tom Hvitved
|
0698bdd907
|
C#: Restrict tuple read/store steps to tuple deconstructions/constructions
|
2021-03-09 09:14:24 +01:00 |
|
Tamas Vajk
|
6d409a0050
|
Fix failing tests
|
2021-03-09 09:14:24 +01:00 |
|
Tamas Vajk
|
d05a733109
|
Add more test cases
|
2021-03-09 09:14:23 +01:00 |
|
Tamas Vajk
|
0ca4bf4267
|
C#: WIP: Add tuple data flow
|
2021-03-09 09:14:23 +01:00 |
|
Tamas Vajk
|
4709442ef3
|
Extract tuple types from patterns and variable declarations
|
2021-03-09 09:14:23 +01:00 |
|
Tamas Vajk
|
1d70bfd011
|
Extract non-named tuple types
|
2021-03-09 09:06:35 +01:00 |
|
Tamas Vajk
|
7e1eee5fe2
|
Add tests that show tuple types
|
2021-03-09 09:06:35 +01:00 |
|
Tamas Vajk
|
3e0245a7fc
|
Fix test case for RuntimeChecksBypass
|
2021-03-04 12:47:21 +01:00 |
|
Tamas Vajk
|
90acd8c695
|
Explicitly enable nullability analysis in guards tests
|
2021-03-04 11:39:56 +01:00 |
|
Tamas Vajk
|
cb4ed90c5c
|
Fix failing tests
|
2021-03-03 16:58:48 +01:00 |
|
Tamas Vajk
|
a5a4329669
|
C#: Add tests for covariant return types
|
2021-03-03 14:52:10 +01:00 |
|
Tamas Vajk
|
7ae640ce16
|
Fix OS specific tests
|
2021-03-02 09:21:24 +01:00 |
|
Tamas Vajk
|
f2e667173c
|
C#: Add calli IL opcode extraction
|
2021-03-02 09:21:24 +01:00 |
|
Tamas Vajk
|
17109a36ce
|
Fix extraction error due to missing DLL
|
2021-03-02 09:21:24 +01:00 |
|
Tamas Vajk
|
6205ec233c
|
Fix more failing tests
|
2021-03-02 09:21:24 +01:00 |
|
Tamas Vajk
|
2b1c6faefd
|
Fix failing test
|
2021-03-02 09:21:24 +01:00 |
|
Tamás Vajk
|
3b56e3520c
|
Merge pull request #5277 from tamasvajk/feature/fix-name-resolution
Fix method name resolution issue with nullable suppression
|
2021-03-01 08:47:21 +01:00 |
|
Tom Hvitved
|
ac67c67ad7
|
Merge pull request #4998 from hvitved/csharp/shared-base-pre-ssa
C#: Use shared SSA implementation for `{Pre,Base}Ssa`
|
2021-02-26 11:29:07 +01:00 |
|
Tamas Vajk
|
b3d6d0c12b
|
Fix method name resolution issue with nullable suppression
|
2021-02-26 09:48:37 +01:00 |
|
Tamás Vajk
|
e6532cbd75
|
Merge pull request #4695 from tamasvajk/feature/csharp9-with-expr
C#: Extract 'with' expressions
|
2021-02-23 21:04:51 +01:00 |
|
Tom Hvitved
|
bed66203c1
|
C#: Use shared SSA implementation for BaseSsa
|
2021-02-23 14:06:27 +01:00 |
|
Tom Hvitved
|
b0ee508f10
|
C#: Use shared SSA implementation for PreSsa
|
2021-02-23 14:06:27 +01:00 |
|
Tamás Vajk
|
8e7a823b9a
|
Merge pull request #5083 from raulgarciamsft/master
Adding queries related to the Solorigate campaign
|
2021-02-18 13:50:45 +01:00 |
|
Tamas Vajk
|
9bb501c595
|
Fix failing tests
|
2021-02-15 21:30:56 +01:00 |
|
Tamas Vajk
|
4967664d09
|
Rework global statement extraction without DB scheme change
|
2021-02-15 17:47:33 +01:00 |
|
Tamas Vajk
|
423fee3069
|
Fix argument location of top level statement entry point
|
2021-02-15 17:47:32 +01:00 |
|
Tamas Vajk
|
6a4b54ec89
|
C#: Extract global statements
|
2021-02-15 17:44:44 +01:00 |
|