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 |
|
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 |
|