Tom Hvitved
3f6fb0f573
Merge pull request #364 from calumgrant/cs/extractor/fix-violations
...
C#: Remove results from cs/local-shadows-member
2018-10-29 11:25:23 +01:00
calum
68194b4474
C#: Fix typo again.
2018-10-26 13:10:16 +01:00
calumgrant
ec2bf914c8
Merge pull request #339 from hvitved/csharp/cfg/assertions
...
C#: Detect constantly failing assertions in the CFG
2018-10-26 10:32:23 +01:00
Aditya Sharad
56ee5ff99a
Merge master into next.
...
`master` up to and including cfe0b8803a
2018-10-25 15:32:47 +01:00
calum
fde3341455
C#: Addressed documentation review.
2018-10-25 14:18:30 +01:00
calum
448b080d4f
C#: Fix typos.
2018-10-25 13:45:46 +01:00
Tom Hvitved
a3d74b00e0
C#: Address review comments
2018-10-25 14:15:09 +02:00
calum
3041756207
C#: Allow constructor parameters to shadow class members.
2018-10-24 17:48:51 +01:00
calum
5c0b9867f8
C#: Fix violations for cs/local-shadows-member
2018-10-24 17:36:51 +01:00
Tom Hvitved
a3fafd9ad1
C#: Remove global.json
2018-10-23 11:51:27 +02:00
calum
8c29d0eb0a
C#: Address review comments.
2018-10-19 18:13:03 +01:00
calum
5a4af0c2b2
C#: Update test case for LockOrder.
2018-10-19 18:13:03 +01:00
calum
aab30ade93
C#: Restrict nested locks to static variables, and report the variable itself as well as the lock sequences in order to handle large numbers of results.
2018-10-19 18:13:03 +01:00
calum
5864e57398
C#: Improvements to LockOrder.ql. Detect inter-procedural locks, and tidy up the tests.
2018-10-19 18:11:49 +01:00
calum
61232cb08e
C#: Address review comments in QL.
2018-10-19 16:33:04 +01:00
calum
6e96fba7f6
C#: Address review comments: Merge XML index commands.
2018-10-19 16:14:35 +01:00
Tom Hvitved
515d6b6d26
C#: Detect constantly failing assertions in the CFG
2018-10-19 14:07:40 +02:00
Tom Hvitved
acea4ddfc4
C#: Introduce control flow exit completions
2018-10-19 14:07:35 +02:00
Tom Hvitved
0c1db6afc3
C#: Add more CFG tests
...
Added tests for exits inside `try` statements and constantly failing assertions.
2018-10-19 14:05:30 +02:00
Tom Hvitved
b233961a9a
C#: Add assertion tests
2018-10-19 14:05:30 +02:00
calumgrant
6811d527e1
Merge pull request #327 from hvitved/csharp/compiler-flag-linux
...
C#: Pass `--compiler` flag to extractor on Linux
2018-10-19 11:18:46 +01:00
Tom Hvitved
826d15e6c1
C#: Address review comments
2018-10-19 10:42:13 +02:00
calum
ee396af385
C#: Update analysis change notes.
2018-10-18 10:24:28 +01:00
calum
5ad060c1be
C#: qhelp for VulnerablePackage.
2018-10-18 10:24:20 +01:00
calum
ff3ed2db18
C#: Autobuilder extracts XML for .csproj and .props files.
2018-10-18 10:24:20 +01:00
calum
3de1f3b101
C#: Query and qltest for VulnerablePackage.
2018-10-18 10:23:51 +01:00
calumgrant
0ddb7027ee
Merge pull request #284 from hvitved/csharp/null-guards
...
C#: Teach null-guards library about pattern matching
2018-10-17 17:49:51 +01:00
Tom Hvitved
58a0815033
Merge remote-tracking branch 'upstream/master' into mergeback-2018-10-17
2018-10-17 13:24:37 +02:00
Tom Hvitved
976e5ed80f
C#: Pass --compiler flag to extractor on Linux
2018-10-17 10:25:53 +02:00
Tom Hvitved
8158d456f3
C#: Use hashing to detect duplicate trap files
2018-10-17 10:25:05 +02:00
Tom Hvitved
0754abc03f
C#: Add csharp-compiler-settings files
2018-10-15 13:14:40 +02:00
Tom Hvitved
603c3d6a43
C#: Teach null-guards library about pattern matching
2018-10-15 10:55:16 +02:00
semmle-qlci
76af2d2e3d
Merge pull request #249 from hvitved/csharp/cfg/boolean-splitting
...
Approved by calumgrant
2018-10-11 20:14:37 +01:00
Tom Hvitved
b29b314f4e
Merge remote-tracking branch 'upstream/master' into mergeback-2018-10-11
2018-10-11 14:36:44 +02:00
Tom Hvitved
98db3f89c2
C#: Extend pre-SSA consistency tests
2018-10-11 13:59:06 +02:00
calum
a06c8bd2f5
C#: Address review comments.
2018-10-11 10:28:34 +01:00
calum
518c901ddc
C#: Merge latest changes.
2018-10-10 14:40:52 +01:00
calum
103d140e71
C#: Migrate extractor to this repository.
2018-10-10 14:40:52 +01:00
Tom Hvitved
c064b1f41d
Merge pull request #103 from lukecartey/csharp/zipslip-update
...
C#: ZipSlip - Refine sanitizers
2018-10-10 10:47:23 +02:00
Max Schaefer
2d8f424ce8
C#: Convert tests/query-tests/Stubs/Test.cs to Unix line endings.
2018-10-09 13:01:00 +01:00
semmle-qlci
2a9abcbb8c
Merge pull request #279 from hvitved/csharp/type-conversion-performance
...
Approved by calumgrant
2018-10-09 10:15:53 +01:00
Tom Hvitved
8df657c9f0
Merge pull request #217 from calumgrant/cs/make_stubs
...
C#: Tool to generate stubs for qltests
2018-10-09 09:59:53 +02:00
calum
2fdf766750
C#: Address review comments.
2018-10-08 17:26:30 +01:00
Tom Hvitved
ff2abe0356
C#: Add qldoc to getTypeArgumentRanked()
2018-10-08 13:33:50 +02:00
Tom Hvitved
49644bfb47
Merge remote-tracking branch 'upstream/master' into mergeback-2018-10-08
2018-10-08 11:48:56 +02:00
Tom Hvitved
4ca10986cb
C#: Remove queries.xml from the Metrics folder
2018-10-04 11:13:01 +02:00
Tom Hvitved
19215d0868
C#: Improve performance of type conversion library
2018-10-04 11:00:33 +02:00
Luke Cartey
d34eef82b3
C#: Remove the 'security' tag from some queries
...
These queries are only tenuously security queries, and marking them as
security queries can cause them to have greater prominence than is
merited by the results that they report.
2018-10-03 11:48:27 +01:00
Luke Cartey
1a90f7df2c
C#: ZipSlip - Address review comments.
...
- Add backticks
- Add extra test.
2018-10-03 11:38:48 +01:00
Aditya Sharad
337defdf3d
Merge master into next.
2018-10-01 17:39:27 +01:00
