17948 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	da41cbca06	C#: Add similar fix to translation of switch statements in C#	2020-02-21 13:33:54 +01:00
Rasmus Wriedt Larsen	abbc9293db	Merge pull request #2891 from tausbn/python-special-operations ... Python: Add AST support for special operations.	2020-02-21 13:16:22 +01:00
semmle-qlci	382e4bc06a	Merge pull request #2895 from max-schaefer/js/improve-param-qldoc ... Approved by asgerf	2020-02-21 12:01:02 +00:00
mchammer01	6da729c6a6	pre-migration tasks: replace titles	2020-02-21 11:50:37 +00:00
Asger Feldthaus	01fed95fe6	JS: Add change note	2020-02-21 11:49:20 +00:00
Max Schaefer	75495d7aad	Update javascript/ql/src/semmle/javascript/Variables.qll ... Co-Authored-By: Asger F <asgerf@github.com>	2020-02-21 10:06:32 +00:00
Geoffrey White	ad45a4b079	Merge pull request #2890 from nickrolfe/range_based_for ... C++: add more extensive test for desugaring of range-based-for loops	2020-02-21 09:31:34 +00:00
Erik Krogh Kristensen	6ea14532ab	small changes based on review	2020-02-21 10:27:57 +01:00
Max Schaefer	fc4afe6eb2	JavaScript: Improve qldoc for Parameter to clarify that it also contains catch-clause parameters.	2020-02-21 09:14:00 +00:00
Anders Schack-Mulligen	771cb754c2	Merge pull request #2822 from hvitved/dataflow/node-cand-simple-call-context ... Data flow: Track simple call contexts in `nodeCand[Fwd]1`	2020-02-21 10:02:06 +01:00
Jonas Jensen	1d786abebd	Merge pull request #2881 from rdmarsh2/ir-release-note ... C++/Docs: release notes for IR taint tracking and GVN	2020-02-21 09:49:16 +01:00
Tom Hvitved	0cc3218115	Merge pull request #2872 from aschackmull/dataflow/pathstep-localflow-join ... Java/C++/C#: Improve join-order in pathStep predicate	2020-02-21 09:39:17 +01:00
Rebecca Valentine	2b1d9c8d16	Updates last library difference ... I'm not entirely sure if `getLiteralObject` and `getLiteralValue` are equivalent, and there don't see to be library tests for this	2020-02-20 20:20:56 -08:00
Rebecca Valentine	210387a8be	Adds bulk of modernizations	2020-02-20 17:32:42 -08:00
Rebecca Valentine	df7f43ee86	Adds modernization	2020-02-20 17:07:56 -08:00
Rebecca Valentine	2f3ea10cf8	Move the query and examples over to 2/query-tests	2020-02-20 16:31:58 -08:00
Rebecca Valentine	376638e9c0	Move query over to Rasmus's API for NumericValue	2020-02-20 16:18:54 -08:00
Rebecca Valentine	ab1fcb32ae	autoformats	2020-02-20 16:17:43 -08:00
Rebecca Valentine	5d9d724d43	Removes conflicting NumericValue definition	2020-02-20 16:17:33 -08:00
Rebecca Valentine	28be3b47fc	Replaces name-reference to the class with canonical predicate.	2020-02-20 15:41:51 -08:00
Rebecca Valentine	5acd982d59	Swaps ...obj for ...val	2020-02-20 15:41:51 -08:00
Rebecca Valentine	91ea46f5ee	Adds test output.	2020-02-20 15:41:51 -08:00
Rebecca Valentine	115495450d	Adds test cases.	2020-02-20 15:41:51 -08:00
Rebecca Valentine	96b8d78650	Adds modernized files.	2020-02-20 15:41:51 -08:00
Mathias Vorreiter Pedersen	780010d8f9	C++/C#: Sync identical files	2020-02-20 22:15:06 +01:00
Mathias Vorreiter Pedersen	6c08783158	C++: Accept output	2020-02-20 22:13:37 +01:00
Mathias Vorreiter Pedersen	4545ad0f93	C++: Add sanity check to Instruction.qll	2020-02-20 22:09:02 +01:00
Mathias Vorreiter Pedersen	76e5bd59df	C++: Change edge to DefaultEdge	2020-02-20 22:08:16 +01:00
Robert Marsh	7a7444b4e1	Docs: Simplify change note ... Co-Authored-By: Felicity Chapman <felicitymay@github.com>	2020-02-20 12:50:52 -08:00
Tom Hvitved	a772b82fea	Address review comments	2020-02-20 19:48:49 +01:00
Taus Brock-Nannestad	913db460b2	Python: Add AST support for special operations. ... These have the form `$name(arg1, arg2, ...)` and currently have no semantics. They may be useful for testing purposes, however.	2020-02-20 18:05:37 +01:00
Nick Rolfe	46b226e0c5	C++: add more extensive test for desugaring of range-based-for loops	2020-02-20 16:15:22 +00:00
semmle-qlci	2df3fe8f36	Merge pull request #2883 from asger-semmle/typescript-3.7.5 ... Approved by erik-krogh	2020-02-20 15:59:36 +00:00
Rasmus Wriedt Larsen	1029f04e76	Python: TarSlip sanitizer: handle not	2020-02-20 16:27:54 +01:00
Rasmus Wriedt Larsen	3c317ed0e6	Python: TarSlip sanitizer: only clear taint on false edge ... maybe it was on purpose, will have to investigate FPs when query is good	2020-02-20 16:11:24 +01:00
Rasmus Wriedt Larsen	2d637e1cf7	Python: Add more tarslip examples	2020-02-20 16:09:10 +01:00
Mathias Vorreiter Pedersen	c5f38eecfe	C++: Fix IR generation and accept output	2020-02-20 15:37:02 +01:00
Mathias Vorreiter Pedersen	051d574ffd	C++: Add switch testcases demonstrating incorrect IR	2020-02-20 15:31:44 +01:00
Erik Krogh Kristensen	924272a7a5	insert placeholder qhelp	2020-02-20 14:35:26 +01:00
Erik Krogh Kristensen	b2ccec28e0	require the file to be non-empty	2020-02-20 14:34:50 +01:00
Erik Krogh Kristensen	b1cbfce50b	use SystemCommandExecution and a few small fixes	2020-02-20 14:17:37 +01:00
Felicity Chapman	96f37c910b	Apply suggestions from code review	2020-02-20 12:32:18 +00:00
Erik Krogh Kristensen	03e295ef11	Merge branch 'master' of git.semmle.com:Semmle/ql into CVE74	2020-02-20 12:19:32 +01:00
semmle-qlci	f6af5da7f7	Merge pull request #2778 from erik-krogh/FalsySanitizer ... Approved by asgerf	2020-02-20 11:17:03 +00:00
Erik Krogh Kristensen	63036aa444	Merge branch 'master' of git.semmle.com:Semmle/ql into CVE74	2020-02-20 12:09:06 +01:00
semmle-qlci	8b277f7226	Merge pull request #2868 from asger-semmle/js/missing-await-void ... Approved by max-schaefer	2020-02-20 10:56:47 +00:00
Asger Feldthaus	6448acfa88	TS: Depend on TypeScript 3.7.5	2020-02-20 10:53:17 +00:00
Erik Krogh Kristensen	12c0291dde	require that an options object has a known set of properties	2020-02-20 11:35:11 +01:00
Erik Krogh Kristensen	b5ef45e6c2	add isSync predicate to SystemCommandExecution	2020-02-20 11:30:23 +01:00
Erik Krogh Kristensen	a193cb110e	support arrow functions in the callbacks	2020-02-20 11:13:39 +01:00