hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-24 20:02:58 +01:00
Code Issues Packages Projects Releases Wiki Activity
17,948 Commits 1,686 Branches 158 Tags
codeql-cli/v2.4.0
Commit Graph

17948 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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