Tamas Vajk
|
a896e1522d
|
Extract active flag from directives, fix missing assembly location
|
2021-02-04 08:42:38 +01:00 |
|
Tamas Vajk
|
41fbce0ad0
|
Extract #if directives
|
2021-02-04 08:42:38 +01:00 |
|
Tamas Vajk
|
a5d18f9b68
|
Extract region directives
|
2021-02-04 08:42:38 +01:00 |
|
Tamas Vajk
|
fe0a494bab
|
Extract line directives
|
2021-02-04 08:42:38 +01:00 |
|
Tamas Vajk
|
4bb8b6c992
|
Extract nullable directives
|
2021-02-04 08:42:38 +01:00 |
|
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 |
|
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
|
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
|
a9c51e7300
|
Fix missing pattern matching completions
|
2021-01-29 15:16:30 +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
|
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
|
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 |
|
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 |
|
luchua-bc
|
8ed2bc59ad
|
Add the c# program to src and address the issue with algorithm type
|
2021-01-26 17:29:52 +00: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 |
|
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
|
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
|
063733ad52
|
C#: Implement CFG for not patterns
|
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 |
|