34 Commits

Author	SHA1	Message	Date
Erik Krogh Kristensen	0933235132	whitelist calls to functions that always throw an exception	2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen	1bbe1ecdba	the js/use-of-returnless-function query now support multiple callees	2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen	7025ba36c0	refactor of js/use-of-returnless-function	2019-10-08 11:54:57 +02:00
Erik Krogh Kristensen	dedae5ba1d	refactor isExplicitConditional into a library file, and use it from js/use-of-returnless-function	2019-10-08 11:54:56 +02:00
Erik Krogh Kristensen	bda37b6d6f	refactor of benignContext predicate based on code review	2019-10-08 11:54:56 +02:00
Erik Krogh Kristensen	bed14244ae	add query for detecting uses return-values from functions that does not return a value	2019-10-08 11:53:14 +02:00
Asger F	5397da7579	JS: Handle implicit return in getImmediatePredecessor	2019-08-02 20:35:22 +01:00
Asger F	8e1893d0ed	JS: Update range analysis to use getImmediatePredecessor	2019-08-02 20:35:22 +01:00
Ellen Arteca	a12d12d59a	JavaScript: Update UnreachableStmt query so unreachable throws no longer gives an alert	2019-05-08 16:25:54 +01:00
Esben Sparre Andreasen	5ad83360be	JS: move default parameter values to the DefUse graph	2019-02-07 11:41:36 +01:00
Esben Sparre Andreasen	65530c5edf	JS: add test for js/useless-comparison-test	2019-02-07 11:41:36 +01:00
Esben Sparre Andreasen	55fd948c24	JS: add test for js/trivial-conditional	2019-02-07 11:41:36 +01:00
Esben Sparre Andreasen	0d1f4270d6	JS: introduce SsaVarAccessWithNonLocalAnalysis	2019-01-29 10:20:36 +01:00
Esben Sparre Andreasen	2683a9b43a	JS: add testss for js/trivial-conditional	2019-01-29 10:19:03 +01:00
Esben Sparre Andreasen	ef3b107cc1	JS: sharpen the js/trivial-conditional whitelist	2019-01-25 18:19:45 +01:00
semmle-qlci	8174fb51ae	Merge pull request #705 from asger-semmle/loop-index-concurrent-modification ... Approved by mc-semmle, xiemaisi	2019-01-03 17:06:12 +00:00
Asger F	9f22da4557	JS: rename query to "Loop iteration skipped due to shifting"	2019-01-02 11:34:06 +00:00
Asger F	8c3b44a525	JS: address comments	2019-01-02 11:12:52 +00:00
Asger F	280382e91e	JS: whitelist if array access at another index is seen	2018-12-17 15:19:26 +00:00
Asger F	5040d3e26c	JS: add query for loop index bug	2018-12-17 13:35:44 +00:00
Asger F	ae4b55de9a	JS: fix FPs in UselessConditional	2018-12-13 15:41:41 +00:00
Asger F	d69e584cc2	JS: fix bug in foldedComparisonEdge	2018-11-29 11:22:15 +00:00
Asger F	477be260f3	JS: rename UselessRangeCheck -> UselessComparisonTest	2018-11-29 11:22:14 +00:00
Asger F	344bec3865	JS: Add UselessRangeCheck.ql	2018-11-29 11:22:14 +00:00
Asger F	87e0027974	JS: address comments	2018-11-06 10:29:04 +00:00
Asger F	56707fc79a	JS: recognize more conditionals in useless-conditional	2018-11-06 10:28:05 +00:00
Esben Sparre Andreasen	651f32514b	JS: use 'Util::describeExpression' in js/trivial-conditional	2018-11-05 13:00:07 +01:00
Esben Sparre Andreasen	4e54af3b41	JS: introduce 'Util::describeExpression'	2018-11-05 12:58:12 +01:00
Asger F	2c11844c5b	Revert "Merge pull request #380 from asger-semmle/generalize-useless-conditional" ... This reverts commit 28f3b686a7, reversing changes made to dc3c5a684c.	2018-10-31 10:38:38 +00:00
Asger F	44d10cb74c	JS: add test cases	2018-10-30 14:24:33 +00:00
Asger F	7e5e5aea11	JS: use guard nodes instead of synactic isConditional check	2018-10-30 14:22:31 +00:00
Esben Sparre Andreasen	fbd3a097a2	JS: add misc. tests	2018-10-29 09:22:53 +01:00
Esben Sparre Andreasen	6f5fb2a9fe	JS: update queries and tests for improved type inference	2018-08-21 22:07:38 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00