Tom Hvitved
6685a5ed4d
Merge pull request #3136 from calumgrant/cs/buildless-extraction
...
C#: Improvements to buildless extraction
2020-04-07 08:52:00 +02:00
Calum Grant
adde52d33c
C#: Add missing files
2020-04-03 11:22:50 +01:00
Calum Grant
9481fada51
C#: Address review comments.
2020-04-02 20:29:45 +01:00
Calum Grant
9a5e80667e
C#: Address review comments.
2020-03-31 15:21:51 +01:00
Calum Grant
69041bc959
C#: Enable nullability in Autobuilder.
2020-03-27 20:26:38 +00:00
Calum Grant
b94b4b7c91
C#: Fix tests
2020-03-26 20:40:40 +00:00
Calum Grant
8a968dac81
C#: Enable nullability in Semmle.Util
2020-03-26 20:10:21 +00:00
Calum Grant
71e0dc087b
C#: General code tidy.
2020-03-26 15:35:31 +00:00
Calum Grant
87970337ae
C#: Improvements to buildless extraction, particularly for .NET Core.
2020-03-25 15:27:48 +00:00
Calum Grant
250afda7da
Merge pull request #2831 from hvitved/csharp/local-function-fresh-label
...
C#: Generate fresh TRAP ID for local functions
2020-03-09 10:46:45 +00:00
Calum Grant
c3b88210aa
C#: Add runtime idenfitiers to project files.
2020-02-18 11:52:41 +00:00
Tom Hvitved
8748a1218d
C#: Generate fresh TRAP ID for local functions
2020-02-13 13:02:46 +01:00
Tom Hvitved
89527766be
Merge pull request #2744 from calumgrant/cs/local-var-parent
...
C#: Distinguish between local variables extracted in different compil…
2020-02-12 19:41:29 +01:00
Tom Hvitved
bbf082b285
C#: Extract stackalloc information
2020-02-10 20:32:52 +01:00
Calum Grant
fb6da0b701
C#: Remove condition around initializer.
2020-02-10 16:17:12 +00:00
Calum Grant
5fef77bf44
C#: Handle expressions of typeImplicitStackAllocArrayCreationExpressionSyntax
2020-02-10 11:30:12 +00:00
Calum Grant
be374816c4
C#: Distinguish between local variables extracted in different compilations.
2020-02-03 12:22:49 +00:00
Calum Grant
35bc78d666
C#: Fix outputting floats to the trap file. In some locales, the extractor output invalid floating point values to the trap file.
2020-01-23 15:43:25 +00:00
Calum Grant
bcd8dca780
C#: When creating conditionally accessed expressions, use the typeinfo from the conditional expression to ensure correct flow state and type nullability.
2020-01-07 18:39:51 +00:00
Calum Grant
ecb22f1379
C#: Fix typo in dbscheme.
2020-01-07 18:39:51 +00:00
Calum Grant
6c9ebaba0b
C#: Populate expression type nullability and nullable flow state.
2020-01-07 18:38:58 +00:00
Calum Grant
e83b159bf8
C#: Handle TupleType expression.
2019-12-23 15:18:21 +00:00
Calum Grant
3c76346635
C#: WIP Adding exception handlers.
...
C#: Improve robustness by catching and logging exceptions when generating trap IDs.
2019-12-19 11:28:05 +00:00
Tom Hvitved
25265bddc7
Merge pull request #2494 from calumgrant/cs/roslyn-3.4
...
C#: Upgrade Roslyn to 3.4
2019-12-09 12:21:30 +01:00
Calum Grant
5f6527a183
C#: Compare symbols using SymbolEqualityComparer.
2019-12-06 12:41:20 +00:00
Calum Grant
ca195e9340
C#: Update project files to Roslyn 3.4
2019-12-06 12:41:20 +00:00
Tom Hvitved
3e93aa9787
C#: Address review comments
...
- Undo split of `localvars` relation.
- Properly extract tuple declarations in `is` expressions.
2019-12-05 22:31:38 +00:00
Tom Hvitved
b79fc87961
C#: Split up localvars database relation into two relations
2019-11-28 14:30:21 +01:00
Calum Grant
a2e0ae1e79
C#: Update project files to netcoreapp3.0
2019-11-14 17:14:51 +00:00
Calum Grant
6e24a92179
Merge remote-tracking branch 'upstream/master' into cs/nullability-refactor
2019-11-13 14:58:58 +00:00
Calum Grant
7c21ebb526
C#: Change dbscheme from nullability_member to nullability_parent
2019-11-12 13:40:58 +00:00
Calum Grant
41b441614b
C#: Address review comments part 1.
2019-11-12 13:40:58 +00:00
Calum Grant
fe83bac0fb
C#: Fix up test output
...
C#: Fix a qltest whereby a tuple type having multiple underlying types was causing an issue with the IR sanity checks.
C#: Revert more changes.
C#: Fix tests and remove dead code.
2019-11-12 13:40:58 +00:00
Calum Grant
a261cbaeef
C#: Fix type ID generation from merge
2019-11-12 13:40:58 +00:00
Calum Grant
58e14af9cd
C#: Address review comments. Create a TNullability type annotation and restructure TAnnotation.
2019-11-12 13:40:58 +00:00
Calum Grant
f00276a82c
C#: Remove non-essential changes
2019-11-12 13:40:58 +00:00
Calum Grant
c8225adf1b
C#: Add missing file & minor fixes.
2019-11-12 13:40:58 +00:00
Calum Grant
9fd4a9ceb6
C#: Implement NullabilityEntity to model structured nullability on the side
2019-11-12 13:40:57 +00:00
Calum Grant
61ab9431ab
C#: Fix DB inconsistencies, and rework id generation.
2019-11-12 13:40:57 +00:00
Calum Grant
bd925d2bee
C#: Fix prefixing assembly IDs to type IDs.
2019-11-10 13:05:08 +00:00
Tom Hvitved
83ec2d6162
C#: Teach extractor and autobuilder about new environment variables
2019-10-24 11:15:33 +02:00
Tom Hvitved
3f170142c9
Merge pull request #2086 from calumgrant/cs/indexer-detection
...
C#: Fix an InvalidCastException
2019-10-15 15:33:32 +02:00
Calum Grant
d5a48a34e6
C#: Remove redundant test for indexers. Tested in library-tests\overrides.
2019-10-07 15:56:36 +01:00
Tom Hvitved
8ba94140b1
C#: Use containing type instead of containing method in local function TRAP label
...
This is in order to handle the case where the enclosing callable of a local
function is a lambda expression.
2019-10-06 21:05:34 +02:00
Calum Grant
ba6eb22cc9
C#: Roslyn workaround for when IPropertySymbol.IsIndexer seems to be working incorrectly.
2019-10-04 16:28:28 +01:00
Calum Grant
39f550b6d2
Merge pull request #2054 from hvitved/csharp/autobuilder/log-cleanup
...
C#: Cleanup more files after failed autobuilder attempt
2019-10-01 15:55:58 +01:00
Calum Grant
b4da63b3f2
Merge pull request #2061 from hvitved/csharp/local-function-label
...
C#: Prepend enclosing method in local function TRAP labels
2019-10-01 15:19:04 +01:00
Tom Hvitved
413926f675
C#: Prepend enclosing method in local function TRAP labels
2019-10-01 10:25:18 +02:00
Tom Hvitved
4f2ca11d2c
C#: Suppress cs/similar-file alerts
2019-09-30 19:26:02 +02:00
Tom Hvitved
c18d0430de
C#: Cleanup more files after failed autobuilder attempt
2019-09-30 12:08:25 +02:00
