Luke Cartey
99d1cf70be
C#: ZipSlip - Update name, description and message.
...
This commit updates the name, description and message to better match
the house style for the security queries.
2018-08-20 16:59:56 +01:00
Tom Hvitved
b1451b079e
C#: Add CFG test that mixes finally splitting and catch splitting
2018-08-20 13:10:09 +02:00
Tom Hvitved
91ed111735
C#: Improve CFG for exception handlers
...
Use generic CFG splitting to add a new type of split for exception handlers,
`ExceptionHandlerSplit`, which tags eachs node belonging to a `catch` clause
with the type of exception being caught. This allows for a more accurate CFG
for `try-catch` statements, where exception filters are handled properly.
2018-08-20 13:08:28 +02:00
Tom Hvitved
a705b3afa5
C#: Generic control flow graph splitting
...
Refactor existing logic for splitting control flow nodes belonging to a `finally`
block. A `Split` defines (1) when to enter the split, (2) when to stay in the split,
and (3) when to leave the split. With only these definitions, control flow splitting
is achieved by tagging each control flow element with the set of splits that apply
to it.
2018-08-20 13:04:29 +02:00
Tom Hvitved
1365761f72
C#: Change toString() for FinallySplitControlFlowNode
2018-08-20 09:41:54 +02:00
Denis Levin
276deee68c
Added comments to the test file. Fixed a typo.
2018-08-17 10:50:52 -07:00
Tom Hvitved
0edd0057fc
C#: Do not use @kind graph in ql tests
2018-08-17 17:55:13 +02:00
Denis Levin
2a46a26d9e
Update addressing review comments
2018-08-16 17:29:04 -07:00
calum
fc5963b831
C#: Rename filename in expected test output.
2018-08-14 13:00:25 +01:00
calum
82f0c389c7
C#: Update test references to use .NET Core, and change relative directory of moved test file.
2018-08-14 12:52:26 +01:00
Denis Levin
7492dabde0
cs: Don't Install Root Certificate (CWE-327)
2018-08-13 16:43:44 -07:00
Denis Levin
cee996c543
Adding .expected file to QLTest
2018-08-13 15:04:15 -07:00
Denis Levin
242fba3fd2
cs: Query for ZipSlip vulnerability (CVE-2018-1002200)
...
Initial check in to validate the tests
2018-08-13 14:56:45 -07:00
Tom Hvitved
323709b5ad
C#: Generalize cs/constant-condition
2018-08-06 13:45:23 -07:00
Tom Hvitved
f7a515c8e9
C#: Prune CFG for obviously impossible nullness/matching edges
2018-08-06 13:45:23 -07:00
Tom Hvitved
9a1e148e85
C#: Various minor CFG bug fixes
2018-08-06 13:45:23 -07:00
Tom Hvitved
b161ff195b
C#: Additional CFG tests
2018-08-06 13:45:23 -07:00
calumgrant
e8df86ebf8
Merge pull request #4 from hvitved/csharp/whitespaces
...
C#: Fix whitespaces
2018-08-03 16:06:47 +01:00
Tom Hvitved
d05109df76
C#: Update queries in Bad Practices/Implementation Hiding
2018-08-03 14:19:58 +02:00
Tom Hvitved
5d498fda72
C#: Fix whitespaces
2018-08-03 14:10:44 +02:00
Pavel Avgustinov
b55526aa58
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
