Jonas Jensen
|
b2c94cc6b4
|
C++/C#/Java: Restore the AccessPathCons class
|
2019-09-02 13:14:13 +02:00 |
|
Jonas Jensen
|
fbe34015f3
|
C++/C#/Java: AccessPath class names reflect length
One -> ConsNil
Two -> ConsCons
|
2019-09-02 13:13:59 +02:00 |
|
Jonas Jensen
|
e8006bb2cc
|
C++/C#/Java: data flow AccessPath up to length 2
This commit does not include updates to test results.
|
2019-09-02 13:13:46 +02:00 |
|
semmle-qlci
|
0cf872ed32
|
Merge pull request #1846 from hvitved/csharp/autoformat
Approved by jbj
|
2019-09-02 08:31:43 +01:00 |
|
Tom Hvitved
|
675255755b
|
C#: Speedup Completion::isValidFor()
|
2019-09-01 10:34:52 +02:00 |
|
Tom Hvitved
|
508055fdc8
|
C#: Add a few pragma[nomagic]
|
2019-09-01 10:34:51 +02:00 |
|
Tom Hvitved
|
1e7ee8ddad
|
C#: Loop unrolling for foreach statements
|
2019-09-01 10:34:51 +02:00 |
|
Tom Hvitved
|
1bfef706e2
|
C#: Add loop unrolling tests
|
2019-09-01 10:34:51 +02:00 |
|
Tom Hvitved
|
bb735c0220
|
C#: Teach guards library about collections
|
2019-09-01 10:34:51 +02:00 |
|
semmle-qlci
|
00fe4734ac
|
Merge pull request #1850 from hvitved/csharp/remove-ref-equal
Approved by calumgrant
|
2019-09-01 09:31:50 +01:00 |
|
yh-semmle
|
f54545522e
|
Merge pull request #1759 from aschackmull/java/flow-exploration
Java/C++/C#: Add support for dataflow exploration by partial paths.
|
2019-08-30 17:00:17 -04:00 |
|
Tom Hvitved
|
6dc869d5c6
|
C#: Remove reference equality
|
2019-08-30 15:52:42 +02:00 |
|
Tom Hvitved
|
3e716bf806
|
Merge pull request #1749 from calumgrant/cs/extractor-tidy
C#: Refactor extractor trap generation code
|
2019-08-30 15:44:35 +02:00 |
|
Tom Hvitved
|
c9275fdc0a
|
Merge pull request #1692 from calumgrant/cs/roslyn-3.2
C#: Upgrade to Roslyn 3.2
|
2019-08-30 15:09:11 +02:00 |
|
Anders Schack-Mulligen
|
5e6326d1d5
|
Java/C++/C#: Add support for dataflow exploration by partial paths.
|
2019-08-30 14:32:55 +02:00 |
|
semmle-qlci
|
394563de43
|
Merge pull request #1807 from hvitved/csharp/dataflow/barrier-guard
Approved by calumgrant
|
2019-08-30 12:40:25 +01:00 |
|
Calum Grant
|
c7b685b3b8
|
C#: Fix changed qltest.
|
2019-08-30 11:47:43 +01:00 |
|
Calum Grant
|
611af1e2c2
|
C#: Upgrade to Roslyn 3.2.
|
2019-08-30 11:47:43 +01:00 |
|
Calum Grant
|
ec61877ce8
|
Merge pull request #1805 from hvitved/csharp/dataflow/nested-fields
C#: Nested field flow
|
2019-08-30 10:26:10 +01: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
|
97522c506e
|
C#: Add more CIL consistency tests.
|
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
|
02fd51ae61
|
C#: Resolve merge conflicts.
|
2019-08-30 10:11:00 +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
|
fe7e90e25a
|
C#: Remove the tuples from the C# extractor.
|
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 |
|
Calum Grant
|
e41e8d6547
|
C#: Remove ITrapBuilder in favour of TextWriter.
|
2019-08-30 10:00:06 +01:00 |
|
Calum Grant
|
aeb38a1757
|
C#: Refactoring tuple writing to remove Tuple intermediate object and write straight to trap file.
|
2019-08-30 10:00:06 +01:00 |
|
Calum Grant
|
bd1b0018b0
|
C#: Rename some methods.
|
2019-08-30 10:00:06 +01:00 |
|
Calum Grant
|
58e6d236ff
|
C#: Tidy up CommentProcessing.
|
2019-08-30 10:00:06 +01:00 |
|
Tom Hvitved
|
9f59e385d1
|
C#: Autoformat
|
2019-08-30 09:53:50 +02:00 |
|
Tom Hvitved
|
6e7ef66642
|
C#: Revert to using GuardedDataFlowNode in TaintedPath.qll
|
2019-08-30 09:37:23 +02:00 |
|
Tom Hvitved
|
751985dcf2
|
C#: Address review comments
|
2019-08-30 09:37:23 +02:00 |
|
Tom Hvitved
|
ae5fb7f330
|
C#: Introduce BarrierGuards
|
2019-08-30 09:37:16 +02:00 |
|
Calum Grant
|
4dd4167a5a
|
C#: Update test output (following merge).
|
2019-08-29 18:22:37 +01:00 |
|
Calum Grant
|
83d1e0eaa6
|
C#: Name DotNet::Namespace a declaration.
|
2019-08-29 18:12:58 +01:00 |
|
Calum Grant
|
83ab044a73
|
C#: Update expected test output.
|
2019-08-29 18:12:58 +01:00 |
|
Calum Grant
|
dfbb1946d3
|
C#: Minor edits
|
2019-08-29 18:11:00 +01:00 |
|
Calum Grant
|
5613769654
|
C#: Add NamespaceAccess, and make namespaces declarations.
|
2019-08-29 18:11:00 +01:00 |
|
Calum Grant
|
0e62377dd2
|
C#: Treat _ as an ordinary variable in a foreach.
|
2019-08-29 18:11:00 +01:00 |
|
Calum Grant
|
8aeeec01ff
|
C#: Add namespace_access_expr because of nameof(Namespace)
|
2019-08-29 18:11:00 +01:00 |
|
Calum Grant
|
ae36359058
|
C#: Fix typementions of arrays.
|
2019-08-29 18:11:00 +01:00 |
|
Tom Hvitved
|
982f90dc2b
|
C#: Refactor local data flow step relations
|
2019-08-29 13:35:19 +02:00 |
|
semmle-qlci
|
f980d20d6d
|
Merge pull request #1809 from hvitved/csharp/cfg/tests
Approved by calumgrant
|
2019-08-29 11:35:21 +01:00 |
|
Calum Grant
|
d2bee79370
|
Merge pull request #1600 from AndreiDiaconu1/ircsharp
C#: Initial port of IR for C#
|
2019-08-29 09:26:34 +01:00 |
|
AndreiDiaconu1
|
deeff07322
|
Fixed unused predicate error
|
2019-08-28 15:50:39 +01:00 |
|