54887 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Esben Sparre Andreasen	89596052cf	JS: autoformat TypeTracking.qll	2019-04-09 10:39:26 +02:00
Taus	adf8cdcde5	Merge pull request #1203 from markshannon/python-taint-tracking-configuration-2 ... Python: Use taint tracking configuration for queries.	2019-04-09 10:01:35 +02:00
Tom Hvitved	3f403b8f0d	Merge pull request #1208 from felicity-semmle/support/SD-3189-move ... Documentation: move support information into a version-neutral location	2019-04-09 10:01:14 +02:00
semmle-qlci	92acd322fc	Merge pull request #1218 from esben-semmle/js/whitelist-typeconfusion-lt1-checks ... Approved by asger-semmle	2019-04-09 01:11:34 +01:00
Robert Marsh	fd7512c447	C++: accept test change in SignAnalysis	2019-04-08 14:10:37 -04:00
Geoffrey White	5bd5b1b6ce	CPP: Change note.	2019-04-08 18:19:30 +01:00
Geoffrey White	48fff334da	CPP: Detect commented preprocessor code.	2019-04-08 18:17:23 +01:00
Geoffrey White	4d67bd32dd	CPP: Move comments explaining implementation details into the body of 'looksLikeCode'.	2019-04-08 18:14:54 +01:00
Rebecca Valentine	c120cca9d3	better explanation of null sensitive contexts	2019-04-08 10:12:04 -07:00
Geoffrey White	f432f1a03a	CPP: Autoformat CommentedOutCode.qll.	2019-04-08 18:00:49 +01:00
Geoffrey White	92241132b5	CPP: Add test cases.	2019-04-08 18:00:34 +01:00
Taus Brock-Nannestad	98e9edc27c	Delete unnecessary files.	2019-04-08 18:27:30 +02:00
Taus Brock-Nannestad	e227078953	Add note about backwards compatibility.	2019-04-08 17:55:48 +02:00
Mark Shannon	52b3f77f4f	Fix typo.	2019-04-08 15:47:49 +01:00
Asger F	db9fd3f721	TS: update test change	2019-04-08 15:17:40 +01:00
Taus Brock-Nannestad	2e6291270b	Python: Make old query suites point to new.	2019-04-08 14:02:34 +02:00
Taus	f5ccd3c228	Merge pull request #1210 from markshannon/python-dataflow-config ... Python: Make DataFlow::Configuration act more like other languages	2019-04-08 13:46:35 +02:00
semmle-qlci	f54366bf95	Merge pull request #1214 from asger-semmle/taint-addexpr-phi ... Approved by esben-semmle, xiemaisi	2019-04-08 11:55:06 +01:00
Anders Schack-Mulligen	6e7ae8a0a9	Merge pull request #1217 from jbj/mergeback-20190408 ... Mergeback rc/1.20 to master	2019-04-08 12:44:19 +02:00
Jonas Jensen	93286aabdf	C++: Test for FP introduced by relOp changes	2019-04-08 11:19:57 +02:00
Esben Sparre Andreasen	52d86471af	JS: whitelist another emptiness check for the type-confusion query	2019-04-08 09:52:27 +02:00
semmle-qlci	662ad4b2ca	Merge pull request #1205 from asger-semmle/prefix-sanitizer ... Approved by esben-semmle	2019-04-08 08:29:04 +01:00
Jonas Jensen	fedd652de8	Merge remote-tracking branch 'upstream/rc/1.20' into mergeback-20190408	2019-04-08 08:39:44 +02:00
semmle-qlci	0bd4fde34d	Merge pull request #1216 from geoffw0/revert-microsoft ... Approved by dave-bartolomeo, jbj	2019-04-06 01:02:17 +01:00
Ziemowit Laski	ef54b012e0	[CPP-340] Fixed .expected file to match new query.	2019-04-05 15:43:38 -07:00
Robert Marsh	8087cb5040	C++: add CopyValueInstruction for StmtExpr result	2019-04-05 11:27:19 -07:00
Asger F	50c2921625	TS: Use contextual typing for literals	2019-04-05 18:43:51 +01:00
Asger F	d7bfeeefd0	TS: add test case with nested literals	2019-04-05 18:40:24 +01:00
Rebecca Valentine	40e3a241a1	Revert "Update javascript/ql/src/semmle/javascript/Expr.qll" ... This reverts commit 78407f85ee.	2019-04-05 09:47:56 -07:00
Max Schaefer	78407f85ee	Update javascript/ql/src/semmle/javascript/Expr.qll ... Co-Authored-By: psygnisfive <psygnisfive@users.noreply.github.com>	2019-04-05 09:46:09 -07:00
Max Schaefer	280c334ab8	Update javascript/ql/src/semmle/javascript/Expr.qll ... Co-Authored-By: psygnisfive <psygnisfive@users.noreply.github.com>	2019-04-05 09:45:53 -07:00
Geoffrey White	5dce09b179	Revert "CPP: Workaround improvement for File.compiledAsMicrosoft." ... This reverts commit c3ec7b55b7.	2019-04-05 17:37:44 +01:00
Geoffrey White	918f7043af	Revert "CPP: Add '/' case." ... This reverts commit 5e71207a23.	2019-04-05 17:37:39 +01:00
Max Schaefer	cb22192378	Merge pull request #1196 from asger-semmle/shelljs ... JS: Add model for shelljs	2019-04-05 16:45:45 +01:00
yh-semmle	3d2ae00788	Merge pull request #1201 from aschackmull/java/intmulttolong-w-range ... Java: Use range analysis in IntMultToLong (ODASA-7836).	2019-04-05 11:14:46 -04:00
Asger F	80f413177a	Merge branch 'master' into shelljs	2019-04-05 14:44:32 +01:00
Asger F	e55330b820	JS: Fix flow through +=	2019-04-05 13:55:48 +01:00
Jonas Jensen	f7dda1b3a4	Merge pull request #1213 from geoffw0/pointerscaling2 ... CPP: De-duplicate the PointerScaling queries.	2019-04-05 14:42:28 +02:00
Jonas Jensen	19b05c57d7	Merge pull request #1204 from geoffw0/badlock ... CPP: Add a test of common mistakes using locking classes.	2019-04-05 14:34:32 +02:00
Geoffrey White	f040755b3b	CPP: Remove unnecessary imports.	2019-04-05 11:44:50 +01:00
Geoffrey White	44d68a761d	CPP: Move 'baseType' into IncorrectPointerScalingCommon.qll.	2019-04-05 11:43:47 +01:00
Geoffrey White	695df232e3	CPP: Equalize the definitions of 'baseType'.	2019-04-05 11:28:11 +01:00
Geoffrey White	373075e06d	CPP: Extend the test.	2019-04-05 11:09:13 +01:00
Geoffrey White	34fbc7b194	CPP: Guard the delete.	2019-04-05 10:00:55 +01:00
semmle-qlci	063dbeeff3	Merge pull request #1198 from esben-semmle/js/more-express-route-handlers ... Approved by xiemaisi	2019-04-05 09:47:51 +01:00
Anders Schack-Mulligen	b5681a1260	Java: Add change note.	2019-04-05 10:44:42 +02:00
Anders Schack-Mulligen	dec31a3dd6	Java: Use range analysis in IntMultToLong.	2019-04-05 10:42:23 +02:00
Mark Shannon	df2000ea8e	Python: Fix up dataflow configuration to act as expected. Keep undocumented for now.	2019-04-05 09:05:13 +01:00
Max Schaefer	2f84aac7df	Merge pull request #1193 from esben-semmle/js/improve-createServer ... JS: treat the last argument to https.createServer as a route handler	2019-04-05 08:57:24 +01:00
Tom Hvitved	67ed863c76	Merge pull request #1200 from calumgrant/cs/icryptotransform ... C#: Tidy up cs/thread-unsafe-icryptotransform-field-in-class	2019-04-05 09:28:24 +02:00