Jonas Jensen
fca7d9a391
C#: Cache IRType like for C++
2019-11-06 07:42:34 +01:00
Geoffrey White
8c16b36c7f
Merge pull request #2231 from semmledocs-ac/newqueries-docscheck
...
CPP & C#: Review of qhelp (SD-4028)
2019-11-05 11:11:34 +00:00
Tom Hvitved
508b09f565
C#: Address review comments
2019-11-04 13:43:39 +01:00
Tom Hvitved
fd63246f44
Merge remote-tracking branch 'upstream/master' into csharp/unsafe-deserialization
2019-11-04 13:42:35 +01:00
semmle-qlci
fa5388b5f3
Merge pull request #2209 from hvitved/csharp/deserialized-delegate
...
Approved by calumgrant, jf205
2019-11-04 12:32:04 +00:00
Tom Hvitved
cc7c30def8
Merge pull request #2179 from calumgrant/cs/local-disposal
...
C#: Fix a FP in cs/local-not-disposed
2019-11-04 11:23:50 +01:00
Robert Marsh
86b5e97f76
Merge branch 'master' of github.com:Semmle/ql into rdmarsh/cpp/ir-constructor-side-effects
2019-10-31 11:34:22 -07:00
alistair
27d0b51c6b
CPP & C#: Review of qhelp
...
PR #2151 got merged without a review of the qhelp
by a technical writer.
The current PR makes changes I would have suggested on that PR.
2019-10-30 16:10:03 +00:00
alexet
924d23f657
Cache the computation of core toString predicates.
2019-10-29 14:48:27 +00:00
Robert Marsh
8076156cb1
Merge branch 'master' into rdmarsh/cpp/ir-callee-side-effects
2019-10-28 16:50:34 -07:00
Robert Marsh
120fa6c330
C++: alias fixes for ReturnIndirection
2019-10-28 15:09:35 -07:00
Anders Schack-Mulligen
d0842fc35d
Java/C++/C#: Minor refactor following review comment.
2019-10-28 16:31:22 +01:00
Tom Hvitved
eb990525d7
C#: Add precision tags to UnsafeDeserialization[UntrustedInput].ql
2019-10-28 14:19:40 +01:00
Tom Hvitved
b0cf7cb39a
C#: Move UnsafeDeserialization.qll
2019-10-28 13:38:53 +01:00
Tom Hvitved
1fc786bea7
C#: Add precision tag to cs/deserialized-delegate
2019-10-28 13:11:10 +01:00
Anders Schack-Mulligen
379ef1d2f9
Java: Fix bad magic and join-order.
2019-10-28 10:40:06 +01:00
Dave Bartolomeo
cc5a689293
C++/C#: Fix up after merge from master
2019-10-25 14:11:34 -07:00
Dave Bartolomeo
f5e320e988
Merge from master
2019-10-25 13:24:19 -07:00
Dave Bartolomeo
56cbd0c152
C++/C#: Make AliasedUse access only non-local memory
...
The `AliasedUse` instruction is supposed to represent future uses of aliased memory after the function returns. Since local variables from that function are no longer allocated after the function returns, the `AliasedUse` instruction should access only the set of aliased locations that does not include locals from the current stack frame.
2019-10-25 13:10:39 -07:00
Jonas Jensen
22de0efc58
Merge pull request #2008 from dave-bartolomeo/dave/IRType2
...
C++: Implement language-neutral IR type system
2019-10-25 09:42:23 +02:00
Dave Bartolomeo
956c18f976
C++/C#: Fix formatting
2019-10-24 13:54:09 -07:00
Tom Hvitved
6d22e351f1
Merge pull request #2151 from raulgarciamsft/users/raul/oss
...
Users/raul/oss
2019-10-24 19:35:40 +02:00
Calum Grant
df1e215d98
C#: Add ?? as a local dataflow step.
2019-10-23 21:47:03 +01:00
Dave Bartolomeo
d03a4f86e5
C++/C#: Add AliasedUse instruction to all functions
...
This new instruction is the dual of the existing `AliasedDefinition` instruction. Whereas that instruction defines the contents of aliased memory before the function was called, `AliasedUse` represents the potential use of all aliased memory after the function returns. This ensures that writes to aliased memory do not appear "dead", even if there are no further reads from aliased memory within the function itself.
2019-10-23 11:59:05 -07:00
Calum Grant
6b15bf62fd
C#: Rewrite null-coalsecing logic
2019-10-23 13:49:22 +01:00
Calum Grant
01ad93d199
C#: Fix for false positive.
2019-10-23 12:26:01 +01:00
Geoffrey White
e331a24dbb
C#: Fix autoformat.
2019-10-23 08:48:07 +01:00
Geoffrey White
9949d8a000
C#: Fix warnings.
2019-10-22 17:10:11 +01:00
Geoffrey White
b218a87ecc
C#: Override tags.
2019-10-22 16:57:12 +01:00
Henning Makholm
347d97c14c
qlpack.json is now qlpack.yml
2019-10-22 17:36:35 +02:00
Geoffrey White
41984a8731
CPP: Fix more qhelp.
2019-10-22 15:38:44 +01:00
Geoffrey White
78e56d9f7f
C#: Sync identical files.
2019-10-22 15:24:50 +01:00
Geoffrey White
33867dd859
C#: Fixes.
2019-10-22 15:05:32 +01:00
Henning Makholm
fd768a1af6
Add some new-style suite definitions
2019-10-22 15:51:00 +02:00
Anders Schack-Mulligen
c37195b226
Java/C++/C#: Sync.
2019-10-22 11:42:35 +02:00
Geoffrey White
faf1a2acbe
CPP: Fix typos.
2019-10-22 09:56:50 +01:00
Geoffrey White
47169e2ece
C#: Fix autoformat.
2019-10-22 09:56:49 +01:00
Geoffrey White
3b674de12c
C#: Disable precision tags for now.
2019-10-22 09:56:49 +01:00
Geoffrey White
49e7addaa4
C#: Autoformat.
2019-10-22 09:56:42 +01:00
Raul Garcia (MSFT)
cb8dcf7db2
Publishing queries to the OSS Semmle repository
2019-10-22 09:55:39 +01:00
Dave Bartolomeo
1c8e275b40
C++/C#: Autoformat all the things
2019-10-21 15:00:05 -07:00
Dave Bartolomeo
7241c1aae6
C++/C#: More sanity checks for IRType
2019-10-21 14:22:46 -07:00
Dave Bartolomeo
71a6b5dffe
C++/C#: Fix some duplicate IRType problems, and add a sanity test
2019-10-21 10:46:30 -07:00
Calum Grant
4ee3f2c46e
Merge pull request #2139 from hvitved/csharp/dataflow/callcontext-bool-pruning
...
C#: Data-flow pruning based on call contexts
2019-10-21 09:49:05 +01:00
Dave Bartolomeo
8ec15933f5
C++/C#: Blob -> Opaque
2019-10-18 12:51:25 -07:00
Robert Marsh
bea9a1cbb2
autoformat
2019-10-18 12:15:21 -07:00
Robert Marsh
8905159de7
C++: add InitializeIndirection for pointer params
2019-10-18 11:06:09 -07:00
Robert Marsh
5451c394a2
C++/C#: autoformat
2019-10-17 12:20:36 -07:00
Robert Marsh
b8bbce0eb6
C#: sync IR
2019-10-17 11:00:04 -07:00
Robert Marsh
6cef936046
C++: add function info to duplicateChiOperand
2019-10-16 15:59:00 -07:00
