Tamas Vajk
15c611e22f
Extract warning and error directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
3740aba4a8
Extract undef directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
9b405144ff
Extract define directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
94bf3467b7
Extract pragma checksum directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
8b9c6712d1
Extract pragma warning directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
48d24b2264
Get line comments from trivia lines
2021-02-04 08:42:38 +01:00
Tamas Vajk
046a37b834
Simplify element access extraction
2021-02-04 08:42:38 +01:00
Tamas Vajk
c3ef6841d0
Add tests for trivia types
2021-02-04 08:42:38 +01:00
Raul Garcia (MSFT)
53ab787efc
Fixed format
2021-02-03 15:54:47 -08:00
Raul Garcia (MSFT)
86a2aa97ec
Fixing incorrect file extension & adding suite
2021-02-03 15:48:16 -08:00
Raul Garcia (MSFT)
5e1e27c2b6
Adding queries related to the Solorigate campaign
2021-02-03 15:12:31 -08:00
Tom Hvitved
cf860f1dac
Merge pull request #5071 from hvitved/csharp/ssa/uncertain-reads
...
C#: Move uncertain-read logic into shared SSA implementation
2021-02-03 20:27:45 +01:00
Tom Hvitved
a45c415c5b
Merge pull request #5067 from hvitved/csharp/cfg/patterns
...
C#: Adjust CFG for `{Recursive,Positional,Property}PatternExpr`
2021-02-03 12:09:39 +01:00
Robert Marsh
50edf44e84
C++/C#: autoformat and sync files
2021-02-02 09:06:44 -08:00
Tamas Vajk
64f0dfb174
Fix code review findings
2021-02-02 14:21:26 +01:00
Tom Hvitved
b19fd7bb72
C#: Only cache TDefinition in the shared SSA implementation
2021-02-02 10:52:03 +01:00
Tom Hvitved
74fd2c1c38
C#: Move uncertain-read logic into shared SSA implementation
2021-02-02 10:43:13 +01:00
Tom Hvitved
1ffa15ea96
C#: Update expected test output
2021-02-02 08:52:28 +01:00
Tom Hvitved
8abc37fba3
Merge pull request #5051 from hvitved/csharp/ssa/caching
...
C#: Reduce caching in `SsaImplCommon.qll`
2021-02-02 08:35:03 +01:00
Tom Hvitved
249e431e87
C#: Adjust CFG for {Recursive,Positional,Property}PatternExpr
2021-02-01 13:52:18 +01:00
Tamas Vajk
7d62e33feb
C#: Rework function pointer/delegate call DF
2021-02-01 13:40:03 +01:00
Tamas Vajk
1b6cb340d3
C#: Report IndexerProperty as Property in the PrintAST query
2021-02-01 10:08:51 +01:00
Tamás Vajk
aa35fcafeb
Merge pull request #5018 from tamasvajk/feature/csharp9-binary-pattern-cfg
...
C#: Extract 'and' and 'or' patterns
2021-02-01 09:17:52 +01:00
Tamas Vajk
7e9913a8a7
Fix failing pattern tests
2021-01-29 17:25:44 +01:00
Tamas Vajk
a9c51e7300
Fix missing pattern matching completions
2021-01-29 15:16:30 +01:00
Tamas Vajk
91152d3a65
Add additional tests to delegate call data flow
2021-01-29 12:02:11 +01:00
Tamas Vajk
191962f64c
C#: Add data flow 'getARuntimeTarget' predicate to 'FunctionPointerCall'
2021-01-29 12:01:38 +01:00
Tom Hvitved
bf5851f1c2
C#: Reduce caching in SsaImplCommon.qll
2021-01-29 11:42:52 +01:00
Tom Hvitved
1a507ff497
C#: Remove Cached module from SsaImplCommon.qll
2021-01-29 10:52:42 +01:00
Tom Hvitved
e6f81bcf0b
C#: Update expected test output
2021-01-28 10:34:50 +01:00
Tom Hvitved
6ee5cdf2b2
C#: Simpler data-flow modelling of parameters
2021-01-28 10:34:47 +01:00
Tom Hvitved
65ea01e145
Merge pull request #4999 from hvitved/csharp/dataflow/phi-input
...
C#: Adjust flow into phi nodes
2021-01-28 09:07:01 +01:00
Tamas Vajk
ca5e3b4489
Add new .stats file
2021-01-27 17:18:50 +01:00
Tamas Vajk
669e207600
Fix sign analysis expected file
2021-01-27 16:40:56 +01:00
Tamas Vajk
d1cc2cc999
Remove code duplication
2021-01-27 13:52:12 +01:00
Tamas Vajk
5157236999
Fix doc comments
2021-01-27 13:49:13 +01:00
Tamas Vajk
10518744cf
C#: Remove expressions inside attributes from CFG
2021-01-27 13:20:06 +01:00
Tamas Vajk
e24e5b13f5
C#: Improve CFG to handle 'and' and 'or' patterns
2021-01-27 11:52:59 +01:00
Tamas Vajk
4685fc0a32
C#: Extract binary patterns
2021-01-27 11:27:52 +01:00
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