Tom Hvitved
|
29f163fd4e
|
C#: Fix guards implications logic
|
2018-11-08 20:21:34 +01:00 |
|
Tom Hvitved
|
e4aa196c37
|
C#: Teach guards library about custom null guards
|
2018-11-08 20:21:34 +01:00 |
|
Tom Hvitved
|
a5dfc10197
|
C#: Add tests for custom null guards
|
2018-11-08 20:21:34 +01:00 |
|
Tom Hvitved
|
5921a9ea51
|
C#: Teach guards library about assertions
|
2018-11-08 20:21:34 +01:00 |
|
Tom Hvitved
|
0fb7ddc956
|
C#: Add assertion guard tests
|
2018-11-08 20:21:34 +01:00 |
|
Dave Bartolomeo
|
a141f4c81a
|
Allow mixed whitespace in C#, C++, and Java test sources
|
2018-11-08 11:06:42 -08:00 |
|
Aditya Sharad
|
1a5d4626bc
|
Merge pull request #435 from calumgrant/cs/fix-extractor
C#: Fix an ArgumentNullException.
|
2018-11-08 17:29:08 +00:00 |
|
calumgrant
|
6fdb0aab41
|
Merge pull request #426 from hvitved/csharp/accessor-argument
C#: Improve `AccessorCall::getArgument()`
|
2018-11-08 16:03:48 +00:00 |
|
calum
|
789e2fcf6d
|
C#: Fix an ArgumentNullException.
|
2018-11-08 10:39:38 +00:00 |
|
Tom Hvitved
|
06a2bcc244
|
C#: Fix XmlReaderSettingsCreation logic
|
2018-11-08 09:20:21 +01:00 |
|
Aditya Sharad
|
ed49c623f1
|
Version: Bump to 1.18.2 release.
|
2018-11-07 14:36:40 +00:00 |
|
calumgrant
|
a8eabeb660
|
Merge pull request #420 from hvitved/csharp/whitespaces
C#: Fix whitespaces
|
2018-11-07 13:44:31 +00:00 |
|
Aditya Sharad
|
194042348a
|
Eclipse plugins: Remove plugin metadata.
This is only needed to build QL for Eclipse, and will be moved into the internal Semmle repository.
|
2018-11-07 11:01:05 +00:00 |
|
Tom Hvitved
|
5d8162cc8b
|
C#: Improve AccessorCall::getArgument()
- Handle tuple assignments.
- Handle compound `+=` assignments.
|
2018-11-07 11:30:04 +01:00 |
|
Tom Hvitved
|
48634d4c9a
|
Merge pull request #391 from calumgrant/cs/extractor/dump-args
C#: Reduce extractor log size
|
2018-11-07 11:17:21 +01:00 |
|
Tom Hvitved
|
7423916214
|
C#: Add tests for calls to accessors with arguments
|
2018-11-07 10:38:36 +01:00 |
|
Tom Hvitved
|
67e64f21d8
|
C#: Fix whitespaces
|
2018-11-07 08:52:38 +01:00 |
|
semmle-qlci
|
33c02fe928
|
Merge pull request #355 from hvitved/csharp/guards-logic
Approved by calumgrant
|
2018-11-06 19:06:30 +00:00 |
|
Aditya Sharad
|
553c2f5d34
|
Merge master into next.
As of 2846d80f1c.
|
2018-11-06 11:52:51 +00:00 |
|
Tom Hvitved
|
2d25a04a2e
|
C#: Add test for guard implications logic
|
2018-11-05 16:47:10 +01:00 |
|
Tom Hvitved
|
f5e6b79add
|
C#: Address review comments
|
2018-11-05 16:14:15 +01:00 |
|
Tom Hvitved
|
2846d80f1c
|
Merge pull request #359 from calumgrant/cs/with-stubs
C#: Sources and sinks for ASP.NET Core
|
2018-11-05 11:46:02 +01:00 |
|
calum
|
c003150ed8
|
C#: Add missing file.
|
2018-11-02 16:46:49 +00:00 |
|
calum
|
29df7f5e96
|
C#: Mark false-negatives.
|
2018-11-02 16:46:49 +00:00 |
|
calum
|
7fa442d127
|
C#: Merge tests.
|
2018-11-02 16:46:49 +00:00 |
|
calum
|
ae96b347e2
|
C#: Address review comments.
|
2018-11-02 16:46:49 +00:00 |
|
calum
|
aff47c9f38
|
C#: Tidy up whitespace.
|
2018-11-02 16:45:48 +00:00 |
|
calum
|
62fb693924
|
C#: Tidy up code and fix performance of remote flow sources.
|
2018-11-02 16:45:48 +00:00 |
|
calum
|
2090d69c3f
|
C#: Tidy up tests.
|
2018-11-02 16:45:48 +00:00 |
|
calum
|
697e66e312
|
C#: Move test into subdirectory.
|
2018-11-02 16:45:48 +00:00 |
|
calum
|
d6e6ae66b8
|
C#: qltest stubs for UrlRedirect.ASPNETCore
|
2018-11-02 16:45:47 +00:00 |
|
calum
|
4655acadb2
|
C#: Stubs for XSSFlowASPNetCore test.
|
2018-11-02 16:45:47 +00:00 |
|
calum
|
8b8d2f9bef
|
C#: Add auto-generated stubs.
|
2018-11-02 16:45:47 +00:00 |
|
Denis Levin
|
ba9cb5e22d
|
cs: Adding sources and sinks for ASPNET.Core
Inintial query checkin.
Note: tests require Nuget packages with ASPNET and ASPNETCore in Packages directory, and won't compile without them.
The packages.config should include this:
<package id="Microsoft.AspNet.Mvc" version="5.2.3" targetFramework="net461" />
<package id="Microsoft.AspNet.WebPages" version="3.2.3" targetFramework="net461" />
<package id="Microsoft.AspNetCore.Antiforgery" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Authorization" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Cors" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Cryptography.Internal" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.DataProtection" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.DataProtection.Abstractions" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Diagnostics" version="1.1.2" targetFramework="net452" />
<package id="Microsoft.AspNetCore.Diagnostics.Abstractions" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Hosting" version="1.1.3" targetFramework="net452" />
<package id="Microsoft.AspNetCore.Hosting.Abstractions" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Hosting.Server.Abstractions" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Html.Abstractions" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Http" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Http.Abstractions" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Http.Extensions" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Http.Features" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.HttpOverrides" version="1.1.2" targetFramework="net452" />
<package id="Microsoft.AspNetCore.JsonPatch" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Localization" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.Abstractions" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.ApiExplorer" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.Core" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.Cors" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.DataAnnotations" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.Formatters.Json" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.Localization" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.Razor" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.Razor.Host" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.TagHelpers" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Mvc.ViewFeatures" version="1.1.3" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Razor" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Razor.Runtime" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.ResponseCaching" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.ResponseCaching.Abstractions" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.ResponseCompression" version="1.0.2" targetFramework="net452" />
<package id="Microsoft.AspNetCore.Rewrite" version="1.0.2" targetFramework="net452" />
<package id="Microsoft.AspNetCore.Routing" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Routing.Abstractions" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.AspNetCore.Server.Kestrel" version="1.1.2" targetFramework="net452" />
<package id="Microsoft.AspNetCore.Server.Kestrel.Https" version="1.1.2" targetFramework="net452" />
<package id="Microsoft.AspNetCore.Server.WebListener" version="1.1.4" targetFramework="net452" />
<package id="Microsoft.AspNetCore.StaticFiles" version="1.1.2" targetFramework="net452" />
<package id="Microsoft.AspNetCore.WebUtilities" version="1.1.2" targetFramework="net451" />
<package id="Microsoft.Extensions.DependencyInjection.Abstractions" version="1.1.1" targetFramework="net451" />
<package id="Microsoft.Extensions.Primitives" version="2.1.0" targetFramework="net451" />
<package id="Microsoft.NETCore.App" version="2.0.0" />
<package id="Microsoft.AspNetCore.Mvc" version="2.1.0" />
<package id="Microsoft.AspNetCore.Mvc.Core" version="2.1.0" />
<package id="Microsoft.AspNetCore.Mvc.Abstractions" version="2.1.0" />
<package id="Microsoft.AspNetCore.Http.Extensions" version="2.1.0" />
<package id="Microsoft.AspNetCore.Http.Abstractions" version="2.1.0" />
<package id="Microsoft.AspNetCore.Http.Features" version="2.1.0" />
|
2018-11-02 16:45:47 +00:00 |
|
Aditya Sharad
|
3483245870
|
Merge rc/1.18 into master.
As of 3291a30bf4.
|
2018-11-02 09:54:50 +00:00 |
|
Aditya Sharad
|
3291a30bf4
|
Version: Bump to 1.18.2 dev.
|
2018-11-01 18:46:56 +00:00 |
|
calum
|
7494bd66a4
|
C#: Address review comment.
|
2018-10-31 14:22:19 +00:00 |
|
calum
|
8bea6fa7c9
|
C#: Unit tests.
|
2018-10-31 12:01:43 +00:00 |
|
calum
|
681953ae70
|
C#: Reduce logging output and write arguments to separate files. Fix missing response file.
|
2018-10-31 11:56:47 +00:00 |
|
Aditya Sharad
|
b896899f4c
|
Merge master into next.
master as of dc3c5a684c
Version numbers resolved in favour of `next`.
C++ expected output file updated to accept test output.
|
2018-10-31 10:47:31 +00:00 |
|
Tom Hvitved
|
665173692c
|
C#: Fix whitespaces
|
2018-10-30 13:15:46 +01:00 |
|
Tom Hvitved
|
e76e448953
|
C#: Unify logic in guards library
Unify the logic for Boolean/nullness/matching guards.
|
2018-10-30 13:15:15 +01:00 |
|
Aditya Sharad
|
256b829201
|
Merge rc/1.18 into master.
|
2018-10-30 11:21:50 +00:00 |
|
Aditya Sharad
|
5e7b7818df
|
Version: Bump to 1.18.1 release.
|
2018-10-29 18:02:58 +00:00 |
|
Tom Hvitved
|
cddc519546
|
C#: Improve performance in ForwarderAssertMethod
|
2018-10-29 15:49:42 +01:00 |
|
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 |
|