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
Jonas Jensen
8d79634f8c
C++: Factor out isFromMacroDefinition predicate
...
This trick for excluding elements from macro bodies but not macro
arguments looks promising and should probably be used much more. With
this commit, it's now easy to use from any query.
Performance is still good because the new predicate gets appropriately
magiced.
2019-11-13 14:07:33 +01:00
Jonas Jensen
d2009c53dc
C++: Support GCC flags making ptr overflow defined
2019-11-13 14:07:33 +01:00
Jonas Jensen
463bf964a9
C++: Test showing FP with -fno-strict-overflow
2019-11-13 14:07:33 +01:00
Jonas Jensen
8ed991759c
C++: Rename PointerWrapAround to PointerOverflow
...
Overflow was the terminology I found for this in the C standard (C11
6.5.6-8).
2019-11-13 14:06:58 +01:00
Jonas Jensen
bd08c64933
C++: Apply my own review comments from #2218
2019-11-13 14:05:23 +01:00
Geoffrey White
abcf9e0d78
CPP: Autoformat.
2019-11-13 12:35:26 +00:00
Geoffrey White
86bea78413
CPP: Fix bad merge.
2019-11-13 12:34:35 +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
Max Schaefer
f804d316d7
Update javascript/ql/src/Security/CWE-020/IncompleteUrlSchemeCheck.ql
...
Co-Authored-By: Esben Sparre Andreasen <esbena@github.com >
2019-11-13 12:24:19 +00:00
Calum Grant
b65ab15d46
C#: Delete unused file.
2019-11-13 12:16:05 +00:00
alexet
2570f81aa7
Suites: Fix suite definition.
2019-11-13 12:03:13 +00:00
Geoffrey White
93b4985532
CPP: Backticks.
2019-11-13 10:42:28 +00:00
Max Schaefer
4fe09e8e73
JavaScript: Sort new query change notes alphabetically.
2019-11-13 10:27:18 +00:00
Max Schaefer
ab583b7994
JavaScript: Add query IncompleteUrlSchemeCheck.ql.
2019-11-13 10:27:18 +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
Geoffrey White
a5d2fbd25d
CPP: Resolve remaining comments from the original PR.
2019-11-13 09:46:09 +00:00
semmle-qlci
f34025c5a0
Merge pull request #2306 from Semmle/revert-2247-odasa-8149
...
Approved by asger-semmle
2019-11-13 09:04:22 +00:00
Jonas Jensen
8a9ee8fcdd
Merge pull request #2300 from geoffw0/names
...
CPP: Rename/relocate some queries and libraries
2019-11-13 09:11:24 +01:00
Max Schaefer
155cea7b5b
Revert "JavaScript: Improve double-escaping query"
2019-11-12 22:54:12 +00:00
Robert Marsh
3de590763e
C++: autoformat
2019-11-12 13:57:49 -08:00