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 |
|
Tamas Vajk
|
a931c59a28
|
C#: Allow attributes on local functions
|
2020-11-26 10:24:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
5f4ad3ad7d
|
C++: Fix join order in definitionHasPhiNode
|
2020-11-26 10:07:44 +01:00 |
|
Cornelius Riemenschneider
|
3bfb398516
|
Autoformat XML.qll.
|
2020-11-25 18:20:50 +01:00 |
|
Cornelius Riemenschneider
|
7eec988fb5
|
XML.qll: Remove abstract from class hierarchy.
|
2020-11-25 17:22:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
4c3a26fea8
|
Revert "Merge pull request #4558 from rdmarsh2/rdmarsh2/cpp/remove-initialize-nonlocal"
This reverts commit 08efd7fbd9, reversing
changes made to cb8c5e8cca.
|
2020-11-25 15:51:52 +01:00 |
|
Tom Hvitved
|
7791ec3084
|
Merge pull request #4618 from hvitved/csharp/get-source-decl-rename
C#: Rename `getSourceDeclaration()` to `getUnboundDeclaration()`
|
2020-11-25 11:05:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
08f8660b17
|
C++/C#: Add pragma[noinline] to hasIndex predicates.
|
2020-11-24 10:45:02 +01:00 |
|
Tom Hvitved
|
cd77f14a75
|
C#: Rename getSourceDeclaration() to getUnboundDeclaration()
|
2020-11-23 16:09:33 +01:00 |
|
Tom Hvitved
|
f0f5d44b33
|
C#: Replace BreakNormalCompletion with a nested completion
|
2020-11-23 11:38:24 +01:00 |
|
Tom Hvitved
|
17df059432
|
C#: Replace matchesCompletion() with getAMatchingSuccessorType()
|
2020-11-23 11:38:24 +01:00 |
|
Tom Hvitved
|
f3abaa406c
|
C#: Refactor CFG implementation
|
2020-11-23 11:38:24 +01:00 |
|
Tom Hvitved
|
c571e42cd5
|
C#: Move internal CFG logic into separate file
|
2020-11-21 19:49:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
61bbceb201
|
C++/C#: Sync identical files
|
2020-11-21 00:55:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
f3b5d7b830
|
C++/C#: Sync identical files
|
2020-11-20 12:23:34 +01:00 |
|
Tom Hvitved
|
02ec325380
|
C#: Fix bad join-orders following stats update
|
2020-11-19 10:42:35 +01:00 |
|
Tamas Vajk
|
866c98bbd9
|
C#: Add stats file from the jenkins job
|
2020-11-19 10:42:34 +01:00 |
|
Dave Bartolomeo
|
08efd7fbd9
|
Merge pull request #4558 from rdmarsh2/rdmarsh2/cpp/remove-initialize-nonlocal
Remove InitializeNonlocalInstruction
|
2020-11-18 20:23:08 -05:00 |
|
Robert Marsh
|
5753a2d401
|
C++: autoformat
|
2020-11-18 11:02:58 -08:00 |
|
Anders Schack-Mulligen
|
f74fc0ff26
|
Dataflow: Fix bad join-orders.
|
2020-11-17 14:28:25 +01:00 |
|
Tom Hvitved
|
7f0ad2d232
|
Merge pull request #4646 from hvitved/csharp/cfg/post-order-exprs
C#: Represent all expressions in post-order in the CFG
|
2020-11-17 13:01:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
27aab4062a
|
C++/C#: Sync identical files.
|
2020-11-16 15:05:59 +01:00 |
|
Anders Schack-Mulligen
|
3dbd48063c
|
Dataflow: Add Unit type for all languages.
|
2020-11-16 09:02:44 +01:00 |
|
Anders Schack-Mulligen
|
9e45f10c5d
|
Dataflow: Remove headUsesContent.
|
2020-11-13 15:12:39 +01:00 |
|
Anders Schack-Mulligen
|
e0a6a485df
|
Dataflow: Sync.
|
2020-11-13 15:12:16 +01:00 |
|
Tom Hvitved
|
708fca4a2f
|
C#: Update ConstantCondition.ql
|
2020-11-13 10:23:09 +01:00 |
|
Tom Hvitved
|
94deed39a2
|
C#: Represent all expressions in post-order in the CFG
|
2020-11-12 20:04:48 +01:00 |
|
Tom Hvitved
|
b8d6070e00
|
C#: Remove redundant conjunct
|
2020-11-11 09:54:51 +01:00 |
|
Tom Hvitved
|
3048919fce
|
C#: Introduce AssertionFailure class
|
2020-11-11 09:54:51 +01:00 |
|
Tom Hvitved
|
91dd67798a
|
C#: Exclude assembly attribute expressions from CFG construction
|
2020-11-11 09:50:59 +01:00 |
|
Tamas Vajk
|
ba730b6f02
|
Fix failing tests
|
2020-11-11 09:46:18 +01:00 |
|
Robert Marsh
|
14f1fa50f1
|
Merge branch 'main' into rdmarsh2/cpp/remove-initialize-nonlocal
Accept test changes from IR temporaries and block ordering
|
2020-11-10 11:14:26 -08:00 |
|
Jonas Jensen
|
fc764db8e1
|
Merge pull request #4643 from nickrolfe/getFileBySourceArchiveName
Replace getEncodedFile with shared getFileBySourceArchiveName predicate
|
2020-11-10 17:36:29 +01:00 |
|
Jonas Jensen
|
da90717ef0
|
Merge pull request #4641 from aschackmull/autoformat-setliterals
C++/C#/Java/JavaScript/Python: Autoformat set literals.
|
2020-11-10 16:11:11 +01:00 |
|
Tom Hvitved
|
7e89e57f5d
|
Merge pull request #4606 from hvitved/csharp/dataflow/ef
C#: Precise data flow for EntityFramework(Core)
|
2020-11-10 15:54:20 +01:00 |
|
Nick Rolfe
|
ac4a1f1d9b
|
Update comment to be a QLDoc comment
|
2020-11-10 14:14:27 +00:00 |
|