Tom Hvitved
39977e9a43
Merge pull request #4724 from hvitved/csharp/cfg/not-pattern
...
C#: Implement CFG for `not` patterns
2021-01-27 10:12:31 +01:00
Anders Schack-Mulligen
0381190a30
Merge pull request #5021 from hmakholm/qlpack-test
...
Add "tests" fields to test qlpacks
2021-01-27 09:23:35 +01:00
Tom Hvitved
214505c4dc
Merge pull request #5016 from hvitved/csharp/exception-dispatch-info
...
C#: Teach CFG about `ExceptionDispatchInfo::Throw`
2021-01-27 08:36:51 +01:00
Henning Makholm
54f00de3e0
Add "tests" fields to test qlpacks
...
This will allow `codeql resolve tests --ignore-dubious-cases`
(and thus the VSCode extension) to recognize all `.ql` files in those
packs as test cases, even if they don't have accompanying `.expected`
files.
CLI versions prior to 2.1.0 will choke on this, but it's almost 10
months since that came out.
2021-01-26 18:15:22 +01:00
Tamás Vajk
e4ed050c87
Merge pull request #4970 from tamasvajk/feature/extraction-errors
...
C#: Fix extraction errors
2021-01-26 11:28:39 +01:00
Tamás Vajk
3ece8c3a01
Merge pull request #4835 from tamasvajk/feature/cil-fnptr
...
C#: Extract function pointer types from CIL
2021-01-26 11:28:02 +01:00
Tom Hvitved
71d25c1f8b
C#: Fix join-orders in ControlFlowTree::last()
2021-01-26 09:58:01 +01:00
Tom Hvitved
cd8155c201
C#: Teach CFG about ExceptionDispatchInfo::Throw
2021-01-26 09:16:53 +01:00
Tom Hvitved
07a96c3596
C#: Add CFG tests for ExceptionDispatchInfo::Throw
2021-01-26 09:01:06 +01:00
Robert Marsh
44bc6d7fdb
C++/C#: add NonPhiMemoryOperand union type
...
This fixes a performance issue where the whole MemoryOperand table was
scanned in some predicates that used only NonPhiMemoryOperand
2021-01-25 17:03:19 -08:00
Tom Hvitved
7c9a6064cf
C#: Get rid of ReadKind
2021-01-25 16:20:14 +01:00
Tom Hvitved
6ffeaf8c2a
C#: Adjust flow into phi nodes
2021-01-25 15:44:37 +01:00
Tom Hvitved
38b0f743cb
C#: Add test that illustrates problem with flow through phi nodes
2021-01-25 14:20:27 +01:00
Tom Hvitved
221aebc833
C#: Fix bug in AssignOperationWithExpandedAssignment::last
2021-01-25 14:01:31 +01:00
alexet
355edcb136
Csharp: Reduce BDD usage.
2021-01-25 13:52:17 +01:00
Tom Hvitved
0543e34812
C#: Address review comment
2021-01-25 13:52:17 +01:00
Tom Hvitved
e0c7f32282
C#: Add relational pattern CFG test
2021-01-25 13:52:17 +01:00
Tom Hvitved
063733ad52
C#: Implement CFG for not patterns
2021-01-25 13:52:17 +01:00
Tom Hvitved
ab85b2c2d2
C#: Add is not null guards test
2021-01-25 13:52:17 +01:00
Tom Hvitved
0080357153
C#: Add unary pattern CFG tests
2021-01-25 13:52:17 +01:00
Tom Hvitved
e7b43e50b6
C#: Remove ReadKind from the shared SSA library
2021-01-25 12:09:34 +01:00
Tom Hvitved
6fc14976cf
C#: Remove uses of getAQlClass()
2021-01-22 15:00:45 +01:00
Tom Hvitved
bc41c26354
Merge pull request #4959 from hvitved/csharp/ssa/split
...
C#: Split up SSA implementation
2021-01-21 10:52:49 +01:00
Tamas Vajk
eb8a52ba8d
Add new .stats file
2021-01-20 21:21:03 +01:00
Tamas Vajk
ab8dc27b26
Add missing 'bindingset'
2021-01-20 15:44:05 +01:00
Tamas Vajk
727412b26b
Store by-ref type annotation in trap and add tests
2021-01-20 15:44:05 +01:00
Tamas Vajk
2804f5cba9
Add by-ref, and fix pinned CIL extraction
2021-01-20 15:44:05 +01:00
Tamas Vajk
f986c15200
Add QL classes for CIL function pointers, and add test
2021-01-20 15:44:05 +01:00
Tamas Vajk
0c213d0926
C#: Extract function pointer types from CIL
2021-01-20 15:44:05 +01:00
Tamas Vajk
d34992d36c
Add .stats file
2021-01-19 17:26:31 +01:00
Tamas Vajk
f7a0c98cb3
Code quality improvement
2021-01-19 17:26:31 +01:00
Tamas Vajk
613bf6dca6
Fix failing test
2021-01-19 17:26:31 +01:00
Tamas Vajk
1d9b3ec8b4
Allow annotating fnptr return types
2021-01-19 17:26:31 +01:00
Tamas Vajk
348fe8f2fc
Address PR review comments
2021-01-19 17:26:31 +01:00
Tamas Vajk
a9986ca72d
Fix expected printed AST
2021-01-19 17:26:31 +01:00
Tamas Vajk
fd27bde4b5
Add function pointer conversion tests
2021-01-19 17:26:31 +01:00
Tamas Vajk
15e88471be
Adjust 'Cast.getTargetType()' to return the expression type instead of the type access type
2021-01-19 17:26:31 +01:00
Tamas Vajk
a11d852054
Fix address of unary operator extraction
2021-01-19 17:26:31 +01:00
Tamas Vajk
183926d9fd
C#: Add QL classes for function pointer type/invocation, tests
2021-01-19 17:26:31 +01:00
Tamas Vajk
876123315d
C#: Extract function pointers
2021-01-19 17:26:31 +01:00
Tom Hvitved
0674881ffd
C#: Do not rely on BasicBlock member predicates from SsaImplSpecific
2021-01-19 10:52:50 +01:00
Tom Hvitved
2a8060102d
C#: Split up SSA implementation
2021-01-19 10:52:50 +01:00
Tamas Vajk
1b285ee792
C#: Hardcode well-known underlying enum types
2021-01-18 16:14:37 +01:00
Tamas Vajk
c0b31cbfe7
Add new stats file
2021-01-18 09:19:27 +01:00
Tamas Vajk
f235a28295
C# Add relational patterns extraction
2021-01-18 09:19:27 +01:00
Tamás Vajk
81ce29c6c8
Merge pull request #4656 from tamasvajk/feature/csharp9-not-pattern
...
C#: Extract unary patterns
2021-01-15 09:44:53 +01:00
Tom Hvitved
d7ca065192
Merge pull request #4923 from hvitved/csharp/ssa/refactor
...
C#: SSA refactorings
2021-01-14 17:28:14 +01:00
Tom Hvitved
6cf684f615
C#: Fix QL doc
2021-01-14 15:59:22 +01:00
Tamas Vajk
66d8b0f1a0
Add new .stats file
2021-01-14 14:11:28 +01:00
Tom Hvitved
f5eb131e2d
C#: Address review comments
2021-01-14 12:42:43 +01:00