Tamás Vajk
|
59d9be48a7
|
Merge pull request #4438 from tamasvajk/feature/ast-fixes
C#: Fixes for AST printing
|
2020-10-28 14:52:24 +01:00 |
|
Tamas Vajk
|
ffc2a64750
|
C#: do not discard duplicate trapfiles for compilation parameter extraction
|
2020-10-16 09:52:21 +02:00 |
|
Tamas Vajk
|
5a91736b7a
|
C#: Change public fields to properties
|
2020-10-14 14:44:01 +02:00 |
|
Tamas Vajk
|
ce793c357f
|
C#: Adjust parameters of DefinitionField ctor
|
2020-10-13 14:45:38 +02:00 |
|
Tamas Vajk
|
6cf20d569d
|
C#: Remove overrides that do nothing
|
2020-10-13 14:45:38 +02:00 |
|
Tamas Vajk
|
7075c6f8ca
|
C#: Fix public property naming
|
2020-10-13 14:45:38 +02:00 |
|
Tamas Vajk
|
cbdd13127e
|
C#: Convert publicly visible fields to properties
|
2020-10-13 14:45:37 +02:00 |
|
Tamas Vajk
|
fbc128fcc7
|
C#: Fix type parameter names
|
2020-10-13 14:45:37 +02:00 |
|
Tamas Vajk
|
2e350caf9f
|
C#: Fix private field and local variable naming
|
2020-10-13 14:45:37 +02:00 |
|
Tamas Vajk
|
baf6f59bfc
|
C#: Add braces to multiline block statements
|
2020-10-13 14:45:37 +02:00 |
|
Tamas Vajk
|
155453d9cb
|
C#: Format single line if statements
|
2020-10-13 14:45:37 +02:00 |
|
Tamas Vajk
|
aec4481cfb
|
C#: Use var everywhere
|
2020-10-13 14:45:37 +02:00 |
|
Tamas Vajk
|
7d544e34af
|
C#: Add declaration visibility modifiers
|
2020-10-13 14:45:37 +02:00 |
|
Tamas Vajk
|
7f86768a49
|
C#: Reformat LINQ extension method call-chains
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
c38bf5ee5b
|
C#: Reduce nesting and fix some formatting
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
e73ced2275
|
C#: Add sealed modifier to classes to fix dispose-pattern, remove explicit IDisposable implementations
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
397be7e98f
|
C#: Change constructor visibility to protected in abstract classes
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
e208f3d21d
|
C#: Simplify null checks with pattern matching, ??, and ?:
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
504f56adeb
|
C#: Simplify object initialization
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
b793af571e
|
C#: Remove unnecessary usings
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
ec63acfb0c
|
C#: Inline out variable declarations
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
33672a4058
|
C#: Simplify using statements
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
412b87c5c7
|
C#: Fix loop that iterates only once
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
921d3eeaec
|
C#: Mark members static (remove unused members)
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
68a45e7e9d
|
C: Remove unused fields
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
0c9aaa3dce
|
C#: Remove unused parameters
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
2d3985742f
|
C#: Fix length/emptiness checks
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
56604e005a
|
C#: Upgrade to .net core app 3.1
|
2020-10-06 16:01:14 +02:00 |
|
Tom Hvitved
|
b6d93ae81d
|
Merge remote-tracking branch 'upstream/rc/1.25' into merge-rc-1.25
|
2020-09-22 09:35:39 +02:00 |
|
Tom Hvitved
|
37f1ce3122
|
C#: Implement support for path transformers
|
2020-09-07 15:02:50 +02:00 |
|
Tom Hvitved
|
d17f88bbcd
|
C#: Remove assembly prefix from all extractor IDs
|
2020-09-02 10:52:04 +02:00 |
|
Tom Hvitved
|
6eca97bc32
|
Merge pull request #4113 from tamasvajk/feature/nullability-extraction-cil
Enable nullability checks on Semmle.Extraction.CIL
|
2020-08-28 12:06:54 +02:00 |
|
Tamas Vajk
|
7e2cf9a858
|
Adjust code review findings
|
2020-08-27 15:11:55 +02:00 |
|
Tamás Vajk
|
9ef827641f
|
C#: Add .editorconfig file (#4129)
|
2020-08-26 12:41:00 +02:00 |
|
Tamas Vajk
|
997388b075
|
Fix first set of code review comments
|
2020-08-25 17:11:34 +02:00 |
|
Tamas Vajk
|
9cdee63ed7
|
C#: Enable nullability checks on Semmle.Extraction.CIL
|
2020-08-20 16:46:42 +02:00 |
|
Calum Grant
|
c3b88210aa
|
C#: Add runtime idenfitiers to project files.
|
2020-02-18 11:52:41 +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 |
|
Calum Grant
|
5f6527a183
|
C#: Compare symbols using SymbolEqualityComparer.
|
2019-12-06 12:41:20 +00:00 |
|
Calum Grant
|
a2e0ae1e79
|
C#: Update project files to netcoreapp3.0
|
2019-11-14 17:14:51 +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
|
0129b42c54
|
C#: Address review comments.
|
2019-08-30 10:11:01 +01:00 |
|
Calum Grant
|
7df90f13ed
|
C#: Address review comments. Tidy up tuple generation, consolidating code and use run-time type information instead of FirstParam/NextParam.
|
2019-08-30 10:11:01 +01:00 |
|
Calum Grant
|
40f56ff4b3
|
C#: Code tidy. Rename variables, delete dead code, format whitespace, improve comments.
|
2019-08-30 10:11:01 +01:00 |
|
Calum Grant
|
b3d5e405a6
|
C#: Fix violations
|
2019-08-30 10:11:01 +01:00 |
|
Calum Grant
|
b776421602
|
C#: Fix up tests. Fix cil_class, and add locations for constructed methods and types.
|
2019-08-30 10:11:01 +01:00 |
|
Calum Grant
|
b500a02b1e
|
C#: Compare CIL entities directly by handle rather than by label.
C#: Remove IDs from the CIL extractor and make consistent with C# extractor.
C#: Fix method collisions.
|
2019-08-30 10:11:00 +01:00 |
|
Calum Grant
|
685c494bcb
|
C#: Make the trap compression algorithm configurable.
|
2019-08-30 10:11:00 +01:00 |
|
Calum Grant
|
486c192dda
|
C#: Refactoring expression and statement population.
|
2019-08-30 10:11:00 +01:00 |
|