Dave Bartolomeo
bc48c25690
C++/C#: Make IRVariable and its derived classes non-abstract
2019-11-22 12:13:39 -07:00
Dave Bartolomeo
12daa76b70
C++: Make duplicateOperand query report function name
2019-11-22 11:00:01 -07:00
Dave Bartolomeo
27cc6b1e4f
C++/C#: Fix compilation error in PrintSSA.qll
...
We were privately importing `semmle.code.<lang>.ir.internal.Overlap`, but `PrintSSA.qll` was depending on it being public. This is made a little more complicated by the presence of cross-langage pyrameterized modules.
2019-11-21 13:18:25 -07:00
Robert Marsh
34593701b2
Merge branch 'master' into rdmarsh/cpp/ir-callee-side-effects
2019-11-20 10:03:32 -08:00
Tom Hvitved
acc7d5298d
Data flow: Sync files
2019-11-20 14:10:02 +01:00
Tom Hvitved
d0b4653e32
C#: Introduce DataFlowErasedType
2019-11-20 14:09:46 +01:00
Paulino Calderon
63884c1a86
Mixed spaces and tabs
2019-11-19 13:06:55 -05:00
Paulino Calderon
85eda8c978
Brings security tests from other PRs
2019-11-19 13:04:19 -05:00
Paulino Calderon
96a02aba3f
Adds quotes on name and additional info tags
2019-11-19 12:39:10 -05:00
Calum Grant
b9d1c38753
Merge pull request #2371 from max-schaefer/rc/1.23
...
Merge rc/1.23 into master
2019-11-18 14:15:31 +00:00
semmle-qlci
ed4657c201
Merge pull request #2340 from hvitved/csharp/nunit-assertions
...
Approved by calumgrant
2019-11-18 13:02:49 +00:00
Tom Hvitved
3d1ce55642
C#: Address review comments
2019-11-18 10:53:02 +01:00
Paulino Calderon
56c12adab7
Adds check for insecure MaxLengthRequest values
2019-11-16 14:21:39 -05:00
yh-semmle
de65f023d6
Merge pull request #2167 from aschackmull/java/dataflow-out-of-arg-refactor
...
Java/C++/C#: Refactor dataflow to simplify return flow.
2019-11-15 11:10:06 -05:00
Tom Hvitved
c95db9e6f8
Merge pull request #2331 from calumgrant/cs/default-interface-methods
...
C#: Tests for default interface methods
2019-11-15 16:36:47 +01:00
Tom Hvitved
20a1cb6fc8
C#: Teach assertion library about (classical) NUnit assertions
...
This commit adds support for (classical) NUnit assertions (see
https://github.com/nunit/docs/wiki/Assertions ). Modern constraint-based assertions,
such as `Assert.That(o, Is.Not.Null)` are currently not supported, because they
would require a restructuring of the assertion library.
2019-11-15 14:07:28 +01:00
Tom Hvitved
f9bff172d4
C#: Add missing assignment data flow steps
2019-11-15 11:36:05 +01:00
Tom Hvitved
f8791c884f
C#: Add more data flow tests for assignments
2019-11-15 11:30:40 +01:00
Calum Grant
aac360463b
C#: Tests for default interface methods.
2019-11-15 10:13:04 +00:00
Robert Marsh
facbd32062
Merge branch 'master' into rdmarsh/cpp/ir-callee-side-effects
2019-11-14 11:09:13 -08:00
Calum Grant
f3c92c5527
C#: Address review comment
2019-11-14 17:14:51 +00:00
Calum Grant
09356a377f
C#: Improved CIL instruction types to pass type consistency checks
2019-11-14 17:14:51 +00:00
Calum Grant
051dd6b3dc
C#: Update qltests.
2019-11-14 17:14:51 +00:00
Calum Grant
a2e0ae1e79
C#: Update project files to netcoreapp3.0
2019-11-14 17:14:51 +00:00
Anders Schack-Mulligen
106b8cfbca
Java/C++/C#: Fix bad magic and bad join-order.
2019-11-14 13:17:17 +01:00
Tom Hvitved
94583cde10
Merge pull request #2245 from calumgrant/cs/nullability-refactor
...
C#: Store nullability on the side
2019-11-14 11:44:39 +01:00
Tom Hvitved
a9f08671ca
C#: Address review comments
2019-11-14 11:00:19 +01:00
Dave Bartolomeo
08620046ab
Merge pull request #2068 from rdmarsh2/rdmarsh/cpp/ir-constructor-side-effects
...
C++: side effect instrs for constructor qualifiers
2019-11-13 14:56:24 -07:00
Dave Bartolomeo
e89ecc19e3
Merge pull request #2302 from max-schaefer/test-qlpacks
...
Add `qlpack.yml` files for test folders.
2019-11-13 12:21:19 -07:00
Robert Marsh
0175c44a14
C#: update IR test expectations
2019-11-13 10:58:38 -08:00
Calum Grant
38f82d8377
Merge remote-tracking branch 'upstream/master' into cs/nullability-refactor
2019-11-13 15:31:45 +00:00
Tom Hvitved
46bc804562
Merge pull request #2286 from calumgrant/cs/windows-tests
...
C#: Make qltests pass on all platforms
2019-11-13 16:21:08 +01:00
Calum Grant
6e24a92179
Merge remote-tracking branch 'upstream/master' into cs/nullability-refactor
2019-11-13 14:58:58 +00:00
Calum Grant
18d6138320
C#: Address review comment.
2019-11-13 14:47:06 +00:00
Tom Hvitved
9c9744620e
Merge pull request #2291 from calumgrant/cs/assembly-prefix
...
C#: Fix prefixing assembly IDs to type IDs
2019-11-13 13:25:15 +01:00
Calum Grant
b65ab15d46
C#: Delete unused file.
2019-11-13 12:16:05 +00:00
Calum Grant
3b775a9ecb
Merge pull request #2095 from hvitved/csharp/type-unification
...
C#: Type unification library
2019-11-13 09:48:59 +00:00
Robert Marsh
47f87c214c
Merge branch 'master' into rdmarsh/cpp/ir-constructor-side-effects
2019-11-12 10:31:04 -08:00
Max Schaefer
5b2e32b051
Add qlpack.yml files for test folders.
2019-11-12 15:03:02 +00:00
Calum Grant
e990bea248
C#: Update upgrade script
2019-11-12 13:40:58 +00:00
Calum Grant
7c21ebb526
C#: Change dbscheme from nullability_member to nullability_parent
2019-11-12 13:40:58 +00:00
Calum Grant
41b441614b
C#: Address review comments part 1.
2019-11-12 13:40:58 +00:00
Calum Grant
fe83bac0fb
C#: Fix up test output
...
C#: Fix a qltest whereby a tuple type having multiple underlying types was causing an issue with the IR sanity checks.
C#: Revert more changes.
C#: Fix tests and remove dead code.
2019-11-12 13:40:58 +00:00
Calum Grant
a261cbaeef
C#: Fix type ID generation from merge
2019-11-12 13:40:58 +00:00
Calum Grant
ce188c0c22
C#: Autoformat
2019-11-12 13:40:58 +00:00
Calum Grant
4d13957eed
C#: Modify db upgrade script
2019-11-12 13:40:58 +00:00
Calum Grant
657c839e2b
C#: Change varchar to string in the dbscheme.
2019-11-12 13:40:58 +00:00
Calum Grant
61630118fe
C#: Fix ql tests.
2019-11-12 13:40:58 +00:00
Calum Grant
58e14af9cd
C#: Address review comments. Create a TNullability type annotation and restructure TAnnotation.
2019-11-12 13:40:58 +00:00
Calum Grant
f00276a82c
C#: Remove non-essential changes
2019-11-12 13:40:58 +00:00
