Tamas Vajk
|
c0e0bd2531
|
C#: Fix type mention extraction of named types with nullability enabled
|
2021-01-13 12:58:41 +01:00 |
|
Tamas Vajk
|
c2a4235db8
|
C#: Add type-mention tests with nullability
|
2021-01-13 12:55:27 +01:00 |
|
Tamas Vajk
|
fb13126676
|
C#: Store output assembly in compilation_assembly relation
|
2021-01-13 09:23:56 +01:00 |
|
Tamas Vajk
|
983c4d06d4
|
Revert "C#: Add output assembly to compilation"
This reverts commit 5cfa900828.
|
2021-01-13 09:12:31 +01:00 |
|
Tamas Vajk
|
5cfa900828
|
C#: Add output assembly to compilation
|
2021-01-13 09:10:49 +01:00 |
|
Tamas Vajk
|
056dbe31d5
|
C#: Remove throw completion from StringLiteral
|
2021-01-08 08:14:08 +01:00 |
|
Tom Hvitved
|
63f76b1b43
|
C#: Uniform treatment of all SSA definitions
|
2021-01-07 15:16:44 +01:00 |
|
Tom Hvitved
|
8d77f4bac9
|
C#: Remove ImplicitUntrackedDefinition
|
2021-01-07 15:16:39 +01:00 |
|
Tamás Vajk
|
3b16d2689d
|
Merge pull request #4821 from tamasvajk/feature/csharp9-cil-init-prop
C#: Extract init only accessors from CIL
|
2021-01-07 15:04:40 +01:00 |
|
Tamás Vajk
|
6cbff13778
|
Merge pull request #4905 from tamasvajk/fix/attribute-argument-extraction
C#: Fix attribute argument extraction
|
2021-01-07 12:28:43 +01:00 |
|
Tamas Vajk
|
04074c425b
|
C#: Fix named attribute argument extraction
|
2021-01-06 14:27:36 +01:00 |
|
Tamas Vajk
|
44372f4db7
|
C#: Fix attribute argument extraction when default argument value is present
|
2021-01-06 14:27:36 +01:00 |
|
Tamas Vajk
|
12c28547fc
|
Fix code review findings
|
2021-01-05 15:15:13 +01:00 |
|
Tom Hvitved
|
b5a1e039a4
|
C#: Merge queries FormatInvalid.ql, FormatMissingArgument.ql, and FormatUnusedArgument.ql
|
2020-12-21 10:13:56 +01:00 |
|
Tom Hvitved
|
d53faa86dc
|
C#: Restrict FormatInvalid.ql and UncontrolledFormatString.ql to calls with insertions
|
2020-12-18 10:53:11 +01:00 |
|
Tamas Vajk
|
f3a0d1d138
|
Add test to list all custom modifiers extracted from IL
|
2020-12-17 15:43:41 +01:00 |
|
Tamas Vajk
|
7662b55ecc
|
C#: Extract init only accessors and custom modifiers
|
2020-12-17 15:43:41 +01:00 |
|
Tom Hvitved
|
fe559c190e
|
C#: Recognize format methods without insertion parameters
|
2020-12-17 15:39:01 +01:00 |
|
Tamas Vajk
|
57c163f314
|
C#: Add test for CIL setter extraction
|
2020-12-17 15:23:33 +01:00 |
|
Tamás Vajk
|
45893ab084
|
Merge pull request #4775 from tamasvajk/feature/cil-attribute-decoding2
C#: Improve CIL attribute decoding
|
2020-12-17 15:20:44 +01:00 |
|
Tamas Vajk
|
f12befdcd0
|
Add extra test for collection initialization
|
2020-12-17 13:49:02 +01:00 |
|
Tamas Vajk
|
3cf967458f
|
Fix failing test
|
2020-12-15 14:28:51 +01:00 |
|
Tamas Vajk
|
6cf3ca49e4
|
C#: Extract 'ImplicitObjectCreationExpressionSyntax'
|
2020-12-15 13:10:53 +01:00 |
|
Tom Hvitved
|
8c235323e7
|
Merge pull request #4796 from hvitved/csharp/cfg/simplify
C#: Various simplifications to CFG logic
|
2020-12-15 13:07:13 +01:00 |
|
Tamás Vajk
|
e391356893
|
Merge pull request #4630 from tamasvajk/feature/csharp9-init-prop
C#: Add support for init only accessors
|
2020-12-15 11:12:32 +01:00 |
|
Tom Hvitved
|
bb637f666c
|
C#: Introduce CfgScope class and generalize ControlFlowTree to include callables
|
2020-12-14 10:38:39 +01:00 |
|
Tom Hvitved
|
0b2233155c
|
C#: Simplify CFG logic for finally blocks
|
2020-12-14 09:58:53 +01:00 |
|
Tom Hvitved
|
249eea9d2b
|
Merge pull request #4780 from hvitved/csharp/cfg/nested-finally
C#: Add missing CFG edges for nested `finally` blocks
|
2020-12-14 09:57:36 +01:00 |
|
Tamas Vajk
|
4318941009
|
C#: Add support for init only accessors
|
2020-12-11 10:06:38 +01:00 |
|
Tamas Vajk
|
a7451a12fc
|
Fix attribute test after rebase
|
2020-12-09 21:24:21 +01:00 |
|
Tamas Vajk
|
214cc90af5
|
Fix failing test
|
2020-12-08 16:40:29 +01:00 |
|
Tamas Vajk
|
44dfafc52c
|
C#: remove 'System.Enum' from enums in QL
|
2020-12-08 16:40:29 +01:00 |
|
Tamas Vajk
|
6b3010e3e6
|
C#: Extract enum underlying type from IL
|
2020-12-08 16:40:29 +01:00 |
|
Tamas Vajk
|
c7d6c42851
|
C#: Add underlying enum type test for CIL extraction
|
2020-12-08 16:40:29 +01:00 |
|
Tamás Vajk
|
ec573b517f
|
Merge pull request #4759 from tamasvajk/feature/cil-attribute-array
C#: Improve array argument CIL extraction for attributes
|
2020-12-08 16:38:36 +01:00 |
|
Tom Hvitved
|
6a55a22f18
|
Merge pull request #4781 from hvitved/csharp/persisten-cookie-tests
C#: Add tests for `PersistentCookie.ql`
|
2020-12-07 11:37:16 +01:00 |
|
Tom Hvitved
|
3531dde032
|
C#: Simplify FinallySplit::toString()
|
2020-12-05 20:16:11 +01:00 |
|
Tom Hvitved
|
2f1057383e
|
C#: Add missing CFG edges for nested finally blocks
|
2020-12-05 20:12:11 +01:00 |
|
Tom Hvitved
|
5d73566859
|
C#: Add tests for PersistentCookie.ql
|
2020-12-04 17:14:00 +01:00 |
|
Tamas Vajk
|
d55fbc8a05
|
Add test cases for safe API calls
|
2020-12-04 13:26:53 +01:00 |
|
Tamas Vajk
|
24670160c2
|
Address code review findings
|
2020-12-04 13:26:53 +01:00 |
|
Tamas Vajk
|
cd5c1f06ee
|
C#: Add queries to check untrusted data flow to external APIs
|
2020-12-04 13:26:53 +01:00 |
|
Tom Hvitved
|
9afce31e92
|
C#: Add one more CFG test for nested finally blocks
|
2020-12-04 13:26:00 +01:00 |
|
Tamas Vajk
|
d140b0121a
|
C#: Improve array argument CIL extraction for attributes
|
2020-12-02 16:51:45 +01:00 |
|
Tamas Vajk
|
636ff2d76e
|
C#: Add CIL attribute tests
|
2020-12-02 16:51:45 +01:00 |
|
Tom Hvitved
|
d4ee8cdd18
|
C#: Always create basic blocks for nodes with a conditional predecessor
|
2020-11-27 15:08:33 +01:00 |
|
Tamas Vajk
|
998e2de2c6
|
Revert "Merge pull request #4653 from tamasvajk/feature/csharp9-relational-pattern"
This reverts commit 5e75a4109c, reversing
changes made to c751c516bf.
|
2020-11-27 12:23:38 +01:00 |
|
Tamas Vajk
|
b11fc2f957
|
C#: Extract relational patterns
|
2020-11-27 10:16:57 +01:00 |
|
Tamás Vajk
|
c751c516bf
|
Merge pull request #4614 from tamasvajk/feature/csharp9-target-typed
C#: C#9 Add target typed conditional tests
|
2020-11-27 10:10:58 +01:00 |
|
Tom Hvitved
|
bc08e47a4e
|
Merge pull request #4664 from hvitved/csharp/cfg/refactor
C#: Refactor CFG implementation
|
2020-11-27 09:26:57 +01:00 |
|