semmle-qlci
|
536f3f36b8
|
Merge pull request #428 from hvitved/csharp/more-guards
Approved by calumgrant
|
2018-11-15 15:07:56 +00:00 |
|
Tom Hvitved
|
185700a236
|
Merge pull request #437 from calumgrant/cs/in-parameters
C#: Correctly handle `in` arguments
|
2018-11-15 11:47:43 +01:00 |
|
Felicity Chapman
|
39ef869e21
|
Fix partial edit - thanks Tom
|
2018-11-14 16:49:30 +00:00 |
|
Felicity Chapman
|
f9612a8f21
|
Minor updates for consistency
|
2018-11-14 16:25:28 +00:00 |
|
Max Schaefer
|
96989a1fd6
|
Merge pull request #427 from adityasharad/eclipse/remove-plugin-metadata
Eclipse plugins: Remove plugin metadata.
|
2018-11-13 13:12:49 +00:00 |
|
calum
|
a5d50fc1db
|
C#: Handle in arguments, and add AssignableAccess::isInArgument() predicate.
|
2018-11-13 10:58:43 +00:00 |
|
Aditya Sharad
|
bc06831d01
|
Merge rc/1.18 into master.
|
2018-11-13 10:55:08 +00:00 |
|
Aditya Sharad
|
271628c280
|
Version: Bump to 1.18.3 dev.
|
2018-11-12 14:55:26 +00:00 |
|
Jonas Jensen
|
1500237009
|
Merge remote-tracking branch 'upstream/master' into mergeback-20181112
|
2018-11-12 13:24:27 +01:00 |
|
Tom Hvitved
|
dd6fd400aa
|
Merge pull request #335 from calumgrant/cs/cwe-937
C#: New query VulnerablePackage
|
2018-11-12 10:34:53 +01:00 |
|
Tom Hvitved
|
21887d7c6f
|
C#: Refactor SSA liveness logic
Simplify liveness analysis by avoiding the two extra copies of `liveAtRank()`
(and other auxiliary predicates) for fields/captured variables analysis.
|
2018-11-12 09:41:53 +01:00 |
|
Aditya Sharad
|
761e5efd60
|
Merge master into next.
JavaScript semantic conflicts fixed by referring to the `LegacyLanguage` enum.
C++ conflicts fixed by accepting Qltest output.
|
2018-11-09 18:49:35 +00:00 |
|
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 |
|