Tamas Vajk
|
f3a0d1d138
|
Add test to list all custom modifiers extracted from IL
|
2020-12-17 15:43:41 +01:00 |
|
Tamas Vajk
|
7662b55ecc
|
C#: Extract init only accessors and custom modifiers
|
2020-12-17 15:43:41 +01:00 |
|
Tom Hvitved
|
fe559c190e
|
C#: Recognize format methods without insertion parameters
|
2020-12-17 15:39:01 +01:00 |
|
Tamas Vajk
|
57c163f314
|
C#: Add test for CIL setter extraction
|
2020-12-17 15:23:33 +01:00 |
|
Robert Marsh
|
5d2a553059
|
C++/C#: autoformat
|
2020-12-15 17:16:31 -08:00 |
|
Robert Marsh
|
fd14eb4c8c
|
C++: remove unreachable IR operands in late stages
|
2020-12-15 11:45:40 -08:00 |
|
Tamas Vajk
|
8fd409898a
|
Add new stats file
|
2020-12-15 18:34:47 +01:00 |
|
Tamas Vajk
|
6cf3ca49e4
|
C#: Extract 'ImplicitObjectCreationExpressionSyntax'
|
2020-12-15 13:10:53 +01:00 |
|
Tom Hvitved
|
8c235323e7
|
Merge pull request #4796 from hvitved/csharp/cfg/simplify
C#: Various simplifications to CFG logic
|
2020-12-15 13:07:13 +01:00 |
|
Tamás Vajk
|
e391356893
|
Merge pull request #4630 from tamasvajk/feature/csharp9-init-prop
C#: Add support for init only accessors
|
2020-12-15 11:12:32 +01:00 |
|
Tamas Vajk
|
74c88e6bac
|
Add DB stats
|
2020-12-14 17:16:29 +01:00 |
|
Tom Hvitved
|
bb637f666c
|
C#: Introduce CfgScope class and generalize ControlFlowTree to include callables
|
2020-12-14 10:38:39 +01:00 |
|
Tom Hvitved
|
a92404a6cd
|
C#: Add LabeledStmtTree for goto CFG edges
|
2020-12-14 09:58:54 +01:00 |
|
Tom Hvitved
|
06d42dac3e
|
C#: Use set literals in Splitting.qll
|
2020-12-14 09:58:54 +01:00 |
|
Tom Hvitved
|
0b2233155c
|
C#: Simplify CFG logic for finally blocks
|
2020-12-14 09:58:53 +01:00 |
|
Tom Hvitved
|
249eea9d2b
|
Merge pull request #4780 from hvitved/csharp/cfg/nested-finally
C#: Add missing CFG edges for nested `finally` blocks
|
2020-12-14 09:57:36 +01:00 |
|
Robert Marsh
|
96e913031d
|
C#: share IR Operand IPA type between stages
|
2020-12-11 16:11:00 -08:00 |
|
Tamas Vajk
|
4318941009
|
C#: Add support for init only accessors
|
2020-12-11 10:06:38 +01:00 |
|
Tamas Vajk
|
52a73cb21b
|
Add new stats containing 'cil_enum_underlying_type'
|
2020-12-08 16:40:29 +01:00 |
|
Tamás Vajk
|
6dd0234b68
|
Apply suggestions from code review
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2020-12-08 16:40:29 +01:00 |
|
Tamas Vajk
|
44dfafc52c
|
C#: remove 'System.Enum' from enums in QL
|
2020-12-08 16:40:29 +01:00 |
|
Tamas Vajk
|
6b3010e3e6
|
C#: Extract enum underlying type from IL
|
2020-12-08 16:40:29 +01:00 |
|
Tom Hvitved
|
f8ad2ecc2c
|
Merge pull request #4777 from hvitved/csharp/default-to-string-join
C#: Improve join-order in `DefaultToString.qll`
|
2020-12-08 08:53:58 +01:00 |
|
Tom Hvitved
|
3531dde032
|
C#: Simplify FinallySplit::toString()
|
2020-12-05 20:16:11 +01:00 |
|
Tom Hvitved
|
2f1057383e
|
C#: Add missing CFG edges for nested finally blocks
|
2020-12-05 20:12:11 +01:00 |
|
Tamas Vajk
|
aa3ae0f567
|
Remove calls to deprecated predicates
|
2020-12-04 13:28:14 +01:00 |
|
Tamas Vajk
|
24670160c2
|
Address code review findings
|
2020-12-04 13:26:53 +01:00 |
|
Tamas Vajk
|
cd5c1f06ee
|
C#: Add queries to check untrusted data flow to external APIs
|
2020-12-04 13:26:53 +01:00 |
|
Tom Hvitved
|
37f32f4014
|
C#: Improve join-order in DefaultToString.qll
|
2020-12-04 13:05:53 +01:00 |
|
Tom Hvitved
|
ecfa66e19a
|
C#: Use getParentNamespace instead of getParent
|
2020-12-02 10:39:29 +01:00 |
|
Tom Hvitved
|
9c516bf62c
|
C#: Fix join-order in UselessUpcast.ql
|
2020-12-02 10:12:57 +01:00 |
|
Tom Hvitved
|
9dbcb7c642
|
C#: Improve various join orders
|
2020-12-01 15:16:33 +01:00 |
|
Tom Hvitved
|
931e695ac7
|
C#: Fix bad join-order in UselessTypeTest.ql
|
2020-12-01 15:16:00 +01:00 |
|
Tamas Vajk
|
dffd95cb85
|
Add nomagic to fix performance
|
2020-12-01 15:16:00 +01:00 |
|
Tamas Vajk
|
cf76d31161
|
C#: Add nomagic pragmas to fix performance issues
|
2020-12-01 15:16:00 +01:00 |
|
Tamas Vajk
|
b20a08dbac
|
C#: Update DB stats file
|
2020-12-01 15:16:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
df29a16365
|
Merge pull request #4748 from aschackmull/autoformat-callchain
C++/C#/Java/JavaScript/Python: Autoformat.
|
2020-12-01 13:21:19 +01:00 |
|
Tom Hvitved
|
e86db3c7a1
|
Merge pull request #4725 from hvitved/csharp/cfg/constant-condition-block
C#: Always create basic blocks for nodes with a conditional predecessor
|
2020-12-01 10:03:17 +01:00 |
|
Anders Schack-Mulligen
|
8f2094f0bf
|
Autoformat.
|
2020-11-30 14:42:38 +01:00 |
|
Anders Schack-Mulligen
|
931322e4c5
|
Merge pull request #4668 from aschackmull/dataflow/refactor-pruning
Dataflow: Refactor pruning stages.
|
2020-11-30 09:37:04 +01:00 |
|
Tom Hvitved
|
d4ee8cdd18
|
C#: Always create basic blocks for nodes with a conditional predecessor
|
2020-11-27 15:08:33 +01:00 |
|
Tamas Vajk
|
998e2de2c6
|
Revert "Merge pull request #4653 from tamasvajk/feature/csharp9-relational-pattern"
This reverts commit 5e75a4109c, reversing
changes made to c751c516bf.
|
2020-11-27 12:23:38 +01:00 |
|
Anders Schack-Mulligen
|
fec9758252
|
Dataflow: Sync.
|
2020-11-27 12:16:43 +01:00 |
|
Tamas Vajk
|
5a808190d4
|
Address review comments
|
2020-11-27 10:16:57 +01:00 |
|
Tamas Vajk
|
b11fc2f957
|
C#: Extract relational patterns
|
2020-11-27 10:16:57 +01:00 |
|
Jonas Jensen
|
a48235e871
|
Merge pull request #4730 from MathiasVP/definitionHasPhiNode-join-order-fix
C++: Fix join order in definitionHasPhiNode
|
2020-11-27 09:54:37 +01:00 |
|
Tom Hvitved
|
bc08e47a4e
|
Merge pull request #4664 from hvitved/csharp/cfg/refactor
C#: Refactor CFG implementation
|
2020-11-27 09:26:57 +01:00 |
|
Jonas Jensen
|
ad4b2beafa
|
Merge pull request #4727 from criemen/remove-abstract-classes
C++/C#/JS/Python/Java XML.qll: Remove abstract from class hierarchy.
|
2020-11-27 08:17:21 +01:00 |
|
Tamas Vajk
|
55d47a70f4
|
C#: Extract modifiers for lambdas (async, static)
|
2020-11-26 16:12:18 +01:00 |
|
Tom Hvitved
|
cb91dc1308
|
C#: Rank StandardStmt::getChildElement()
|
2020-11-26 15:13:57 +01:00 |
|