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 |
|
Tamas Vajk
|
1b50c2277f
|
Add DB upgrade folder
|
2020-12-11 11:24:53 +01:00 |
|
Tamas Vajk
|
4318941009
|
C#: Add support for init only accessors
|
2020-12-11 10:06:38 +01:00 |
|
Tamas Vajk
|
2257a8d47e
|
Add change notes
|
2020-12-08 16:43:16 +01:00 |
|
Tamas Vajk
|
2d2b919651
|
Add DB upgrade folder
|
2020-12-08 16:43:16 +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 |
|
Tamás Vajk
|
cbcae667a8
|
Apply suggestions from code review
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2020-12-08 15:23:13 +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 |
|
Tamás Vajk
|
3eb55ddc0b
|
Merge pull request #4704 from tamasvajk/feature/stats2
C#: Update DB stats file
|
2020-12-03 13:13:43 +01:00 |
|
Tamas Vajk
|
ba56993396
|
C#: Fix CIL trap file writing in debug mode
|
2020-12-02 16:52:33 +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 |
|
Tamas Vajk
|
9ab930f812
|
C#: Remove marker interfaces from CIL extraction
|
2020-12-01 16:06:13 +01:00 |
|
Tamas Vajk
|
df28544020
|
C#: Separate all classes to dedicated files in CIL extractor
|
2020-12-01 15:20:02 +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 |
|