13956 Commits

Author	SHA1	Message	Date
semmle-qlci	20ade48975	Merge pull request #146 from ian-semmle/TemplateParameterName ... Approved by jbj	2018-09-04 19:16:55 +01:00
Ian Lynagh	ce5653a2f6	C++: Tweak qldoc for declaration names	2018-09-04 19:14:16 +01:00
Dave Bartolomeo	4a1d04b423	C++: Fix deprecated predicate warnings	2018-09-04 10:30:48 -07:00
Geoffrey White	ae80b8dbec	Merge pull request #145 from nickrolfe/rewording ... C++: clearer alert wording in integer-multiplication-cast-to-long	2018-09-04 18:00:37 +01:00
Geoffrey White	71483c7025	CPP: Remove some empty source files.	2018-09-04 17:51:46 +01:00
Dave Bartolomeo	4086a8909b	C++: Fix a couple IR-related tests to handle new directory tree ... Also moved those tests under the IR test directory, so I'm less likely to forget them next time.	2018-09-04 09:05:33 -07:00
Dave Bartolomeo	fce7a5fccb	C++: Final IR reshuffle ... Moved IR flavors into "implementation", with internal files under "implementation/internal". Made `IRBlockConstruction` just a nested module of `IRConstruction`/`SSAConstruction`, so it gets picked up from the `Construction` parameter of the `IR` module, rather than being picked up just from being in the same directory as `IRBlock`.	2018-09-04 09:05:27 -07:00
Dave Bartolomeo	aa4436fa22	C++: More IR reshuffling ... Remove redundant "_ir" suffix. Move non-user-importable modules into "implementation" directory.	2018-09-04 09:05:21 -07:00
Dave Bartolomeo	97cfbd9488	C++: "IR" means "Aliased SSA IR" ... This change makes the public IR.qll module resolve to the flavor of the IR that we want queries to use. Today, this is the aliased SSA flavor of the IR. Should we add additional IR iterations in the future, we'll update IR.qll to resolve to whichever one we consider the default. I moved the PrintIR.ql and IRSanity.ql queries into the internal directories of the corresponding flavors. There's still a PrintIR.ql and an IRSanity.ql in the public IR directory, which use the same IR flavor as the public IR.qll.	2018-09-04 09:05:15 -07:00
Dave Bartolomeo	9fd5f26e2e	C++: Remove unnecessary Impl suffix from some files	2018-09-04 09:05:10 -07:00
Dave Bartolomeo	aacee8fecf	C++: Reshuffle IR files into a consistent directory structure ... There are no real code changes here, other than to fix up `import`s. All tests still hae the same output, as expected. A future commit will hide the IR flavors other than the one we want queries to use directly.	2018-09-04 09:05:03 -07:00
Aditya Sharad	ab2bec743a	Revert "Version: Bump to 1.19.0 dev." ... The version bump should now go into the `next` branch rather than `master`. This reverts commit 2363f49e3a.	2018-09-04 16:01:09 +01:00
Jonas Jensen	9535f83d3a	Revert "Revert "C++: update expected sizes of error and unknown types to be 1 byte"" ... This commit was reverted on `master` but should remain on `next`, so I'm reverting the revert before merging `master` into `next`. This reverts commit adda4c91cf.	2018-09-04 16:10:46 +02:00
Nick Rolfe	f2d030a7e6	C++: shorten message in integer-multiplication-cast-to-long	2018-09-04 14:45:12 +01:00
Jonas Jensen	adda4c91cf	Revert "C++: update expected sizes of error and unknown types to be 1 byte" ... This commit to update test changes got merged to Semmle/ql master but doesn't belong there because it's not compatible with how the 1.18 extractor works. The corresponding extractor change got merged to the internal-repo master right after the internal branch for 1.18 was taken. This reverts commit d4f9b5eb52.	2018-09-04 13:45:08 +02:00
Jonas Jensen	e0ba2b2251	C++: Fix name of suppressUnusedType	2018-09-04 13:38:28 +02:00
Jonas Jensen	ab944f3807	Merge pull request #139 from geoffw0/function-wrappers ... CPP: Make FunctionWithWrappers `toCause` work on builtins.	2018-09-04 13:36:33 +02:00
Ian Lynagh	3fd6a8de7d	C++: Fix the definition of GlobalNamespace.getADeclaration() ... Globals can still have declarations in declaration statements. We already rule out local variables etc via the isTopLevel check, so we don't need to consider DeclStmt.	2018-09-04 11:37:10 +01:00
Ian Lynagh	1fcf156e7e	C++: Add another test to namespaces test	2018-09-04 11:36:50 +01:00
Ian Lynagh	e39a0d2f72	C++: Tweak namespaces test	2018-09-04 11:36:09 +01:00
Jonas Jensen	73675e29f2	Merge pull request #138 from ian-semmle/topLevel ... C++: Use Declaration.isTopLevel() in GlobalNamespace.getADeclaration()	2018-09-04 10:03:19 +02:00
Jonas Jensen	07bacbf389	C++: Follow suppressUnusedThis convention	2018-09-04 09:40:50 +02:00
Jonas Jensen	6e9cc46e80	Merge pull request #131 from ian-semmle/namespace_vars ... C++: Give namespace variables a qualified name	2018-09-04 08:56:01 +02:00
Jonas Jensen	a2946f71bd	Merge pull request #96 from ian-semmle/typo ... C++: Fix typo	2018-09-04 08:51:15 +02:00
Jonas Jensen	adc5ee86ad	Merge pull request #128 from geoffw0/cwe-190-precision ... CPP: Adjust precisions for the CWE-190 queries.	2018-09-04 08:44:38 +02:00
Ian Lynagh	4230adbca2	C++: Remove reundant override	2018-09-03 18:12:30 +01:00
Nick Rolfe	04e919df9d	C++: clearer alert wording in integer-multiplication-cast-to-long	2018-09-03 16:56:56 +01:00
Aditya Sharad	2363f49e3a	Version: Bump to 1.19.0 dev. ... This keeps the QL for Eclipse language plugins in sync with internal `master`.	2018-09-03 16:41:28 +01:00
Jonas Jensen	88f80e4d4b	C++: Silence two more QL compiler warnings ... One was for an unused parameter (a deliberate CP of `Type` x `VoidType`), and one was for use of a deprecated predicate.	2018-09-03 13:45:04 +02:00
Jonas Jensen	ab6dc1d70c	C++: Add missing override annotations	2018-09-03 13:22:22 +02:00
Geoffrey White	d5b7ab5aa1	CPP: Make FunctionWithWrappers toCause work on builtin functions.	2018-09-03 11:26:02 +01:00
Geoffrey White	3e18a9b885	CPP: Improve the special case for realloc in MemoryMayNotBeFreed.ql.	2018-09-03 08:30:05 +01:00
Ian Lynagh	c8fcab8cfe	C++: Use Declaration.isTopLevel() in GlobalNamespace.getADeclaration()	2018-09-03 01:01:10 +01:00
Ian Lynagh	f6582ef285	C++: Fix typo	2018-09-01 15:45:41 +01:00
Jonas Jensen	98612b9f9a	C++: Tidy primitive_basic_block_member calculation ... This change gave a slight speed-up by eliminating an unnecessary intermediate predicate.	2018-09-01 07:46:00 +02:00
Ian Lynagh	3a00e24e89	C++: Give NamespaceVariables a qualified name	2018-08-31 16:39:21 +01:00
Ian Lynagh	d7d8186bbe	C++: Improve namespaces/namespaces test	2018-08-31 16:37:59 +01:00
Geoffrey White	074894298c	CPP: Adjust precisions for the CWE-190 queries.	2018-08-31 16:15:53 +01:00
Nick Rolfe	d4f9b5eb52	C++: update expected sizes of error and unknown types to be 1 byte	2018-08-31 12:08:15 +01:00
Nick Rolfe	0589be1b8a	C++: add qldoc comments for aggregate_{field,array}_init	2018-08-30 22:42:31 +01:00
Nick Rolfe	2130622028	C++: use underlyingElement & unresolveElement for get{Element,Field}Expr	2018-08-30 22:42:31 +01:00
Nick Rolfe	d8d3bfd857	C++: expand aggregate literals test to cover ordering of child exprs	2018-08-30 22:42:30 +01:00
Nick Rolfe	7556f22ff1	C++: stats for aggregate_{field,array}_init	2018-08-30 22:42:30 +01:00
Nick Rolfe	23c648904f	C++: properly formatted comments for builtin type kinds	2018-08-30 22:42:30 +01:00
Nick Rolfe	afa7505cae	C++: expand test for aggregate literals to include more nesting	2018-08-30 22:42:30 +01:00
Nick Rolfe	4abdeda857	C++: update test output to match corrected extractor behaviour	2018-08-30 22:42:30 +01:00
Nick Rolfe	d068d71ccb	C++: dbscheme/library changes to support C99 designated initializers	2018-08-30 22:42:30 +01:00
Jonas Jensen	e7234f5cf3	C++: Split index calculation from BB membership ... Instead of computing these two things in one predicate, they are computed in separate predicates and then joined. This splits the predicate `primitive_basic_block_member`, which took 77s before, into predicates that together take 18s on a medium-sized db.	2018-08-30 15:04:01 +02:00
Kevin Backhouse	6c5009225c	Merge pull request #111 from olehermanse/gmtime ... Fixed error in gmtime example	2018-08-29 15:55:52 -04:00
semmle-qlci	d957c151a6	Merge pull request #110 from jbj/fewer-dbtypes ... Approved by ian-semmle	2018-08-29 17:26:06 +01:00