2639 Commits

Author	SHA1	Message	Date
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
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
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	f17c06a37f	C++: Fix mistake in previous commit.	2021-10-20 15:40:14 +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
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
Anders Schack-Mulligen	91ea064980	Sync	2021-10-18 14:04:50 +02:00
Mathias Vorreiter Pedersen	ea67ca22a9	C++: Undo changes to shared dataflow files.	2021-10-18 09:00:00 +01:00
Geoffrey White	5cbf632573	C++: Inline and simplify 'Assignment to another stack variable' case in NullTermination.qll.	2021-10-15 17:54:26 +01:00
Erik Krogh Kristensen	fe891746bf	C++: fix implicit this	2021-10-15 14:59:48 +01:00
Geoffrey White	8f30b8b586	Autoformat.	2021-10-14 16:00:23 +01:00
Anders Schack-Mulligen	f6a517c998	Merge pull request #6882 from MathiasVP/fix-unnecessary-exists ... C++/Python: Remove unnecessary `exists`	2021-10-14 16:44:05 +02:00
Geoffrey White	f08d2ee759	Merge branch 'main' into setliterals	2021-10-14 14:39:39 +01:00
Anders Schack-Mulligen	8b6baa250c	Merge pull request #6878 from aschackmull/remove-singleton-setliteral ... C++/C#/Java/JavaScript/Python: Remove singleton set literals.	2021-10-14 14:53:05 +02:00
Mathias Vorreiter Pedersen	69ed7c543f	C++: Remove unnecessary 'exists'.	2021-10-14 11:59:59 +01:00
Tom Hvitved	f5420333e2	Sync shared files	2021-10-14 11:49:02 +02:00
Anders Schack-Mulligen	57cb300759	C++/C#/Java/JavaScript/Python: Remove singleton set literals.	2021-10-14 11:34:22 +02:00
Mathias Vorreiter Pedersen	a2371370ff	Merge pull request #6865 from MathiasVP/fix-if-none ... C++/C#/JS/Python: Replace 'if p() then q() else none()' with a conjunction	2021-10-13 19:47:55 +01:00
Tom Hvitved	c14dcfbfe4	Data flow: Sync	2021-10-13 20:13:28 +02:00
Geoffrey White	2e61ae244a	C++: Set literals.	2021-10-13 16:12:36 +01:00
Mathias Vorreiter Pedersen	ba981c525b	C++: Replace 'if p() then q() else none()' with a conjunction.	2021-10-13 12:11:42 +01:00
Philip Ginsbach	d0ecabad19	DataFlowCall non-extending subtype of Call	2021-10-13 11:39:25 +01:00
Mathias Vorreiter Pedersen	6853f491f4	Merge pull request #6794 from geoffw0/impropnullfp ... C++: Improvements to cpp/improper-null-termination	2021-10-12 14:47:02 +01:00
Geoffrey White	ac6acfb660	C++: Use data flow.	2021-10-11 15:36:00 +01:00
Anders Schack-Mulligen	446c738f20	Merge pull request #6790 from aschackmull/dataflow/force-precision ... Dataflow: Force high precision of certain Contents.	2021-10-08 11:44:26 +02:00
Anders Schack-Mulligen	1bec58dee5	Dataflow: Fix more qldoc: s/accesspath/access path/.	2021-10-08 09:41:26 +02:00
Anders Schack-Mulligen	2b88a2aa0c	Dataflow: Fix qldoc: s/accesspath/access path/.	2021-10-07 14:46:24 +02:00
Mathias Vorreiter Pedersen	b089e6d84e	C++/C#: Fix QLDoc of 'CopyInstruction'.	2021-10-05 09:14:20 +01:00
Geoffrey White	2c64fa50d2	Merge branch 'main' into impropnullfp	2021-10-04 16:51:21 +01:00
Mathias Vorreiter Pedersen	cca77ed65c	Merge branch 'main' into add-return-value-deref-to-model-util	2021-10-01 22:02:06 +02:00
Geoffrey White	b9a1a451a9	C++: Autoformat.	2021-10-01 19:21:30 +01:00
Mathias Vorreiter Pedersen	3463c28e24	C++: Add return value dereference to 'callOutput'. This will need to be modified once we get return value side effects in the IR.	2021-10-01 18:27:46 +02:00
Geoffrey White	ada30800c9	C++: Exclude results where identity-like functions obscure operations on a variable.	2021-10-01 16:16:06 +01:00
Geoffrey White	d41e517757	C++: Simplify mayAddNullTerminator.	2021-10-01 14:15:05 +01:00
Anders Schack-Mulligen	98f68cb053	Dataflow: Sync.	2021-10-01 13:11:43 +02:00