6806 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	12e0185b0d	C++: Sync identical files.	2021-10-28 12:36:36 +01:00
Mathias Vorreiter Pedersen	2cd23e5ee0	Accept test changes.	2021-10-28 12:36:36 +01:00
Mathias Vorreiter Pedersen	8135dcefdd	Merge branch 'main' into use-shared-ssa-in-ir-dataflow	2021-10-28 12:36:25 +01:00
Mathias Vorreiter Pedersen	521d863429	C++: Autoformat.	2021-10-28 12:35:01 +01:00
Mathias Vorreiter Pedersen	2547a8d746	C++: Fix join orders in 'DataFlowDispatch.qll' and Ssa.qll.	2021-10-28 12:35:01 +01:00
Mathias Vorreiter Pedersen	21a1ee7758	C++: Add annoying case in SSA.qll related to 'NewExpr' and accept test changes.	2021-10-28 12:35:01 +01:00
Mathias Vorreiter Pedersen	3efe60fdd2	C++: Accept test changes.	2021-10-28 12:35:01 +01:00
Mathias Vorreiter Pedersen	5dbaea8b52	C++: Add a special dataflow step from InitializeIndirection instructions.	2021-10-28 12:35:01 +01:00
Mathias Vorreiter Pedersen	b1ea00fa85	C++: Remove the taintflow edges that gives performance problems.	2021-10-28 12:35:01 +01:00
Mathias Vorreiter Pedersen	710d0cfc3d	C++: Since we now no longer have flow from exact memory operands to LoadInstructions, we no longer have flow from PhiInstructions to LoadInstructions. We could allow flow in this particular case, but we might as well use the shared SSA library's phi edges.	2021-10-28 12:35:00 +01:00
Mathias Vorreiter Pedersen	8caff41138	C++: Throw away most of the usage of IR-computed def-use information. Instead, we rely on the shared SSA library's use-use edges.	2021-10-28 12:35:00 +01:00
Mathias Vorreiter Pedersen	3a488574e5	C++: Rewrite the PartialDefinitionNode classes to match the new StoreNodes.	2021-10-28 12:35:00 +01:00
Mathias Vorreiter Pedersen	8bef79502f	C++: Similarly to the previous commit, we throw away the old memory-edges based way of doing read steps. Instead, we use the shared SSA library to transfer flow into a new ReadNode IPA branch, perform the necessary read steps, and then use the shared SSA library to transfer flow out of the ReadNode again.	2021-10-28 12:35:00 +01:00
Mathias Vorreiter Pedersen	5ebefe2d30	C++: Throw away the old way of doing store steps using memory edges. Instead, we introduce a StoreNode IPA branch that does store steps and instead use the shared SSA library to transfer flow into these nodes before a store step, and out of them following a sequence of store steps.	2021-10-28 12:35:00 +01:00
Mathias Vorreiter Pedersen	1842fed7a2	C++: Add shared SSA library and instantiate it with the IR.	2021-10-28 10:52:09 +01:00
Mathias Vorreiter Pedersen	13ce2569d7	C++/C#: Sync identical IR files·	2021-10-28 10:52:00 +01:00
Mathias Vorreiter Pedersen	bccd4e9e93	C++: Add 'getReturnAddress' and 'getReturnAddressOperand' predicates to 'ReturnValueInstruction'.	2021-10-28 10:51:49 +01:00
ihsinme	432fc74455	Apply suggestions from code review ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2021-10-28 10:37:01 +03:00
ihsinme	235a3ec232	Update InsecureTemporaryFile.qhelp	2021-10-28 10:34:42 +03:00
ihsinme	0addb2d1ea	Update IncorrectChangingWorkingDirectory.ql	2021-10-28 10:17:48 +03:00
ihsinme	c3b1d7e5c8	Apply suggestions from code review ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2021-10-28 10:17:13 +03:00
Geoffrey White	e0e18c6587	C++: Drop the precision tags again, for now.	2021-10-27 17:24:46 +01:00
Geoffrey White	2182bb5c91	C++: Remove unused qhelp files.	2021-10-27 15:47:01 +01:00
Geoffrey White	d990e790e7	C++: Remove unused index.qhelp files.	2021-10-27 15:40:34 +01:00
Anders Schack-Mulligen	699630af54	Dataflow: Sync.	2021-10-27 13:57:44 +02:00
Anders Schack-Mulligen	034c7f3538	Dataflow: Sync.	2021-10-27 13:57:44 +02:00
Erik Krogh Kristensen	d2d6b2ca7c	apply range pattern patch to cpp	2021-10-25 19:38:10 +02:00
ihsinme	5d5d6bcc69	Add files via upload	2021-10-25 14:34:10 +03:00
ihsinme	baec186359	Add files via upload	2021-10-25 14:33:01 +03:00
ihsinme	3f3988ce1c	Add files via upload	2021-10-25 14:24:35 +03:00
ihsinme	8e8a324fa6	Add files via upload	2021-10-25 14:23:19 +03:00
Geoffrey White	9009dac9ea	Merge branch 'main' into nullterm2	2021-10-21 13:14:15 +01:00
Geoffrey White	0e5cfd3469	C++: Rename the predicate and make it private.	2021-10-20 16:12:04 +01:00
Geoffrey White	5379b25146	C++: Add tests.	2021-10-20 15:44:56 +01:00
Geoffrey White	f17c06a37f	C++: Fix mistake in previous commit.	2021-10-20 15:40:14 +01:00
Mathias Vorreiter Pedersen	7feab27bf4	Merge pull request #6926 from geoffw0/setliterals2 ... C++: Use set literals (more).	2021-10-20 14:58:06 +01:00
Geoffrey White	da412178ce	C++: Use set literals (more).	2021-10-20 14:18:27 +01:00
Tom Hvitved	0bf5238f39	Update QL doc for allowParameterReturnInSelf	2021-10-20 12:08:58 +02:00
Tom Hvitved	dd138b0429	Address review comments	2021-10-20 12:08:58 +02:00
Tom Hvitved	a1511e13d8	Data flow: Sync files	2021-10-20 12:08:57 +02:00
Geoffrey White	f7bd74ea59	C++: Prototype nodeBefore predicate.	2021-10-19 20:08:55 +01:00
Geoffrey White	57fe4b9a31	C++: Also fix variableMustBeNullTerminated.	2021-10-19 18:06:11 +01:00
Geoffrey White	b4b8392748	C++: New, behaviour preserving solution.	2021-10-19 16:16:05 +01:00
Jonas Jensen	7015be7cad	Merge pull request #6916 from geoffw0/fixnotbound ... C++: Fix unbound variables in PrivateCleartextWrite.qll.	2021-10-19 16:46:42 +02:00
Geoffrey White	38257a58f0	C++: Fix unbound variables in PrivateCleartextWrite.qll.	2021-10-19 15:01:32 +01:00
Geoffrey White	e487832823	C++: Clean up QL.	2021-10-19 14:10:30 +01:00
Geoffrey White	3f3c79f48f	Merge pull request #6884 from geoffw0/setliterals ... Replace or chains with set literals.	2021-10-18 16:46:55 +01:00
Anders Schack-Mulligen	b67032d1cc	Merge pull request #6891 from erik-krogh/fix-java-this ... add explicit this qualifier on all of java	2021-10-18 17:13:37 +02:00
Tom Hvitved	a10bde5795	Merge pull request #6872 from hvitved/dataflow/path-into-callable0-join ... Data flow: Performance tweaks	2021-10-18 16:25:10 +02:00
Tom Hvitved	e6954292aa	Address review comments	2021-10-18 14:09:44 +02:00