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 |
|
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 |
|