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
Aditya Sharad
0882eb7bb3
Merge rc/1.18 into master.
2018-10-01 12:08:16 +01:00
Aditya Sharad
1c71a856e1
Version: Bump to 1.18.1 dev.
2018-09-28 16:39:44 +01:00
Aditya Sharad
f5bd737ada
Version: Fix C# and JavaScript Eclipse plugins for 1.18.
2018-09-28 14:10:06 +01:00
Tom Hvitved
e8cd99335a
C#: Simple Boolean control flow graph splitting
2018-09-28 14:59:39 +02:00
Tom Hvitved
d0f63ca303
C#: Introduce SplitKind class
2018-09-28 14:59:39 +02:00
Tom Hvitved
c4a167cb0e
C#: Group cached predicates
2018-09-28 14:59:39 +02:00
Tom Hvitved
05e00ab05b
C#: Fix whitespaces
2018-09-28 14:59:39 +02:00
Tom Hvitved
a48d77f7b8
C#: Add internal PreSsa library
2018-09-28 14:59:38 +02:00
Tom Hvitved
b8caa117f1
C#: Add internal PreBasicBlocks library
2018-09-28 14:59:38 +02:00
Aditya Sharad
51697f077c
Version: Bump to 1.18.0 release.
2018-09-26 18:18:20 +01:00
Anders Schack-Mulligen
9198f5b9bd
CPP/CSharp/Java/Javascript: Use concat in XMLParent.allCharactersString().
2018-09-26 15:47:21 +02:00
Anders Schack-Mulligen
26c1397216
CPP/CSharp/Javascript: Clean up QLDoc and bring the different XML.qll files closer.
2018-09-26 15:36:20 +02:00
Aditya Sharad
75680dbfef
Merge branch 'next' into qlucie/master
2018-09-26 12:08:33 +01:00
Dave Bartolomeo
1f36f5552f
Normalize all text files to LF
...
Use `* text=auto eol=lf`
2018-09-23 16:24:31 -07:00
Dave Bartolomeo
26abf5d4a2
Force LF for basically everything.
2018-09-23 16:24:31 -07:00
calum
abe5d0dd72
C#: Fixes to stub generation.
2018-09-21 13:06:33 +01:00
calum
593f0a9d71
C#: Implement query and script for generating C# qltest stubs.
2018-09-20 15:01:26 +01:00