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
|
a7451a12fc
|
Fix attribute test after rebase
|
2020-12-09 21:24:21 +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
|
214cc90af5
|
Fix failing test
|
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 |
|
Tamas Vajk
|
c7d6c42851
|
C#: Add underlying enum type test for CIL extraction
|
2020-12-08 16:40:29 +01:00 |
|
Tamás Vajk
|
ec573b517f
|
Merge pull request #4759 from tamasvajk/feature/cil-attribute-array
C#: Improve array argument CIL extraction for attributes
|
2020-12-08 16:38:36 +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
|
6a55a22f18
|
Merge pull request #4781 from hvitved/csharp/persisten-cookie-tests
C#: Add tests for `PersistentCookie.ql`
|
2020-12-07 11:37:16 +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 |
|
Tom Hvitved
|
5d73566859
|
C#: Add tests for PersistentCookie.ql
|
2020-12-04 17:14:00 +01:00 |
|
Tamas Vajk
|
aa3ae0f567
|
Remove calls to deprecated predicates
|
2020-12-04 13:28:14 +01:00 |
|
Tamas Vajk
|
d55fbc8a05
|
Add test cases for safe API calls
|
2020-12-04 13:26:53 +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
|
9afce31e92
|
C#: Add one more CFG test for nested finally blocks
|
2020-12-04 13:26:00 +01:00 |
|
Tom Hvitved
|
37f32f4014
|
C#: Improve join-order in DefaultToString.qll
|
2020-12-04 13:05:53 +01:00 |
|
Tamas Vajk
|
d140b0121a
|
C#: Improve array argument CIL extraction for attributes
|
2020-12-02 16:51:45 +01:00 |
|
Tamas Vajk
|
636ff2d76e
|
C#: Add CIL attribute tests
|
2020-12-02 16:51:45 +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 |
|
Tamás Vajk
|
c751c516bf
|
Merge pull request #4614 from tamasvajk/feature/csharp9-target-typed
C#: C#9 Add target typed conditional tests
|
2020-11-27 10:10:58 +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 |
|
Tamas Vajk
|
548f276e1f
|
Add more tests
|
2020-11-27 08:58:37 +01:00 |
|
Tamas Vajk
|
144e9e6271
|
C#: C#9 Add target typed conditional tests
|
2020-11-27 08:43:02 +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
|
47ca4b0f3b
|
Address review comments
|
2020-11-26 16:12:19 +01:00 |
|