Anders Schack-Mulligen
6a2edce040
Merge pull request #2205 from rneatherway/java/hamcrest-nullness
...
Java: Respect Hamcrest assertThat(X, notNullValue())
2019-11-14 13:09:56 +01:00
Jonas Jensen
c7176e50ca
C++: Tweak wording in docs
2019-11-14 13:03:34 +01:00
James Fletcher
2eaf91e1fb
Merge pull request #2322 from shati-patel/docs/typo
...
Docs: Typo fix
2019-11-14 11:56:39 +00:00
Shati Patel
3cdaef7211
Docs: Typo fix
2019-11-14 11:50:43 +00:00
Geoffrey White
79a000d88f
Update cpp/ql/src/semmle/code/cpp/exprs/Expr.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-14 11:31:27 +00:00
Geoffrey White
0f2a2cb956
Update cpp/ql/src/semmle/code/cpp/exprs/Expr.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-14 11:31:01 +00:00
Geoffrey White
25db90021b
Update cpp/ql/src/semmle/code/cpp/exprs/Expr.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-14 11:29:03 +00:00
Geoffrey White
01b25199d0
CPP: Lesser than -> Less than.
2019-11-14 11:27:15 +00:00
Geoffrey White
238918c394
Update cpp/ql/src/semmle/code/cpp/Type.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-14 11:24:54 +00:00
Geoffrey White
b3bda421bc
Update cpp/ql/src/semmle/code/cpp/Type.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-14 11:24:15 +00:00
Geoffrey White
90909d211c
Update cpp/ql/src/semmle/code/cpp/Type.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-14 11:24:00 +00:00
Geoffrey White
7d2babd9db
Update cpp/ql/src/semmle/code/cpp/Type.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-14 11:22:16 +00:00
Geoffrey White
97559857bf
Update cpp/ql/src/semmle/code/cpp/Type.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-14 11:22:07 +00:00
Taus Brock-Nannestad
dcffd1dbc3
Python: Add AST classes for walrus operator.
...
Happily, these were already present in the `dbscheme`.
2019-11-14 12:10:04 +01:00
Jonas Jensen
931b0f1445
Apply suggestions from code review
...
Co-Authored-By: Alistair <54933897+hubwriter@users.noreply.github.com >
2019-11-14 12:06:02 +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
Calum Grant
7c406861a0
Merge pull request #2317 from dave-bartolomeo/dbartol/QLPack
...
Port QLPack changes to enable IntelliSense and Go to Definition
2019-11-14 10:25:14 +00:00
Tom Hvitved
a9f08671ca
C#: Address review comments
2019-11-14 11:00:19 +01:00
semmle-qlci
67963a5b9d
Merge pull request #2258 from asger-semmle/js-ignore-codesql-databases
...
Approved by esbena
2019-11-14 08:34:23 +00:00
Robert Marsh
f0b2aace1a
C++/Docs: add isAdditionalTaintStep to example
2019-11-13 14:04:55 -08: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
Robert Marsh
9e8455406f
C++/Docs: add example based on NtohlArrayNoBound
2019-11-13 13:17:44 -08:00
Dave Bartolomeo
c2313cbe12
Add QL test directories to .codeqlmanifest.json
2019-11-13 13:31:46 -07:00
Max Schaefer
f93dab4864
Add qlpack.yml files for test folders.
2019-11-13 13:31:34 -07:00
Dave Bartolomeo
55010d030d
Merge pull request #2315 from geoffw0/errtest
...
CPP: Add a quick test of ErroneousType.
2019-11-13 13:24:39 -07:00
Henning Makholm
e1467a77e8
Merge pull request #2316 from dave-bartolomeo/dbartol/TestManifests
...
Add QL test directories to `.codeqlmanifest.json`
2019-11-13 20:58:59 +01:00
Dave Bartolomeo
dd0f04b949
Add QL test directories to .codeqlmanifest.json
2019-11-13 12:37:51 -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
Geoffrey White
32b5501177
CPP: Add a test of ErroneousType.
2019-11-13 18:53:43 +00:00
semmle-qlci
252e1c76a6
Merge pull request #2313 from erik-krogh/quickFixreflectiveCallNode
...
Approved by max-schaefer
2019-11-13 17:00:38 +00:00
Geoffrey White
44ffb600d6
CPP: Improve the UnknwonType example as suggested.
2019-11-13 16:55:32 +00:00
Geoffrey White
2b73af09e4
CPP: Consistency.
2019-11-13 16:39:51 +00:00
Geoffrey White
e72bf2d35e
CPP: *lvalue* -> _lvalue_ and similar.
2019-11-13 16:36:18 +00:00
Geoffrey White
e883220de3
CPP: Remove other comments about equivalence.
2019-11-13 16:28:50 +00:00
Jonas Jensen
81d06e2ce6
C++: Update annotation in test file
2019-11-13 16:58:25 +01:00
Geoffrey White
5e15265b50
Update cpp/ql/src/semmle/code/cpp/Type.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-13 15:53:34 +00:00
Geoffrey White
da6fa7adfc
Update cpp/ql/src/semmle/code/cpp/Type.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-13 15:52:49 +00:00
Geoffrey White
4c6fd004e6
Update cpp/ql/src/semmle/code/cpp/Type.qll
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2019-11-13 15:52:15 +00: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
Erik Krogh Kristensen
538690eee6
remove duplicate reflectiveCallNode method, and removing redundant getExpr() method
2019-11-13 15:53:21 +01:00
Calum Grant
18d6138320
C#: Address review comment.
2019-11-13 14:47:06 +00:00
Henning Makholm
b78d081973
Merge pull request #2311 from alexet/fix-suite
...
Suites: Fix suite definition.
2019-11-13 14:56:08 +01:00
Jonas Jensen
4ddac749af
C++: Add change note
...
Also fix discrepancies between `SignedOverflowCheck.ql` and its change
note.
2019-11-13 14:43:30 +01:00
Jonas Jensen
2d72a9cdec
C++: Rename query
...
This new name is similar to its sister query "Signed overflow check".
2019-11-13 14:40:27 +01:00
Jonas Jensen
1b849dbf0e
C++: More principled macro exclusion
...
We no longer exclude macros based on their name, which means we can now
find results inside arguments to the `likely` macro in Linux (except
that Linux is compiled with `-fno-strict-overflow`).
2019-11-13 14:22:38 +01:00
Jonas Jensen
db33053422
C++: Add test for macro exclusions
2019-11-13 14:21:29 +01:00
semmle-qlci
b11a7427c2
Merge pull request #2270 from erik-krogh/reflectiveExpr
...
Approved by max-schaefer
2019-11-13 13:08:40 +00:00