234 Commits

Author	SHA1	Message	Date
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
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
Andrew Eisenberg	878203f1d0	Merge pull request #6862 from github/aeisenberg/tutorial ... Move tutorial directly into each qlpack	2021-10-13 09:29:37 -07:00
Andrew Eisenberg	0d1632a5d2	Move tutorial directly into each qlpack ... Previously, the tutorial was injected during build time. This is much simpler.	2021-10-13 08:37:04 -07: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
Anders Schack-Mulligen	490df2027b	Dataflow: Add language-specific predicate forceHighPrecision().	2021-10-01 13:11:14 +02:00
Mathias Vorreiter Pedersen	a3cf721b9e	Merge pull request #6713 from geoffw0/cwe139 ... C++: New query for 'Cleartext transmission of sensitive information'	2021-10-01 11:10:36 +02:00
Geoffrey White	679b0f9b73	C++: Autoformat.	2021-10-01 09:40:16 +01:00
Jonas Jensen	45cf6344cd	Merge pull request #6184 from github/rdmarsh2/improve-exec-tainted ... C++: Refactor ExecTainted.ql to only report results after string concatenation	2021-09-29 19:21:13 +02:00
Rasmus Wriedt Larsen	987b573709	Fix hasLocationInfo URL reference ... Follow up to https://github.com/github/codeql/pull/5830	2021-09-29 13:47:58 +02:00
Mathias Vorreiter Pedersen	8dcf7926de	Merge pull request #6760 from andersfugmann/relax_memberMayBeVarSize ... Increase precision to high for cpp/static-buffer-overflow	2021-09-29 10:09:11 +02:00
Anders Fugmann	ba98c0c1cb	Merge remote-tracking branch 'upstream/main' into relax_memberMayBeVarSize	2021-09-28 11:15:11 +02:00