58361 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	7c9d41d3b9	C++: Make 'SizeBarrier' private as promised.	2023-08-05 21:57:57 +02:00
Mathias Vorreiter Pedersen	835b5e349b	C++: Accept test changes.	2023-08-05 21:56:51 +02:00
Mathias Vorreiter Pedersen	0f285ccce0	C++: Fix QLDoc.	2023-08-05 21:55:00 +02:00
Mathias Vorreiter Pedersen	c0828a488f	C++: Fix barriers in 'InvalidPointerToDereference.qll'.	2023-08-05 21:55:00 +02:00
Chad Bentz	e2e9c810bf	Add lib change-notes	2023-08-04 22:11:36 +00:00
Chad Bentz	5a106fd5d6	Removes false positive creds from NetCore Identity	2023-08-04 21:46:35 +00:00
Jeroen Ketema	c4a65e58bb	Add change note	2023-08-04 22:53:33 +02:00
Jeroen Ketema	747cd1745a	Update all languages to use the shared taint-tracking library	2023-08-04 22:53:25 +02:00
Jeroen Ketema	20b792545d	Add missing QLDoc	2023-08-04 22:52:05 +02:00
Jeroen Ketema	7ba2f7a22a	Address review comments	2023-08-04 22:52:05 +02:00
Jeroen Ketema	bdd64ce86d	Introduce shared taint tracking library	2023-08-04 22:51:55 +02:00
Robert Marsh	3ebbb80a9e	Swift: Change note for CollectionContent	2023-08-04 20:19:35 +00:00
Robert Marsh	10bbf441dc	Swift: QLDoc for Set.qll	2023-08-04 20:17:56 +00:00
Robert Marsh	ccc3094267	Swift: autoformat	2023-08-04 20:17:08 +00:00
Geoffrey White	c7fb8de5f9	Swift: Test ForceValueExpr content reads.	2023-08-04 21:15:15 +01:00
Jeroen Ketema	daf6ecd12f	C++: Update dbscheme stats file	2023-08-04 22:07:00 +02:00
Robert Marsh	6f38769a9b	Swift: rename SetContent to CollectionContent	2023-08-04 18:46:43 +00:00
Robert Marsh	024c5cfe2f	Swift: add MaD print support for EnumElement	2023-08-04 18:44:42 +00:00
Robert Marsh	0142309cab	Swift: add summary read steps in dataflow	2023-08-04 18:44:42 +00:00
Robert Marsh	b301092e34	Swift: model updates for Set	2023-08-04 18:44:42 +00:00
Robert Marsh	de0ec3e3f7	Swift: WIP SetContent for dataflow	2023-08-04 18:44:42 +00:00
Jami Cogswell	19622aec49	Java: remove duplicate 'Files.newOutputStream' ai model	2023-08-04 14:06:57 -04:00
Jami Cogswell	e64d581f7a	Java: remove duplicate 'Files.newInputStream' ai model	2023-08-04 14:05:05 -04:00
Jami Cogswell	d2a24dee7f	Java: remove duplicate 'Files.delete' ai model	2023-08-04 14:02:59 -04:00
Jami Cogswell	516831aa41	Java: remove duplicate 'Files.move' ai model	2023-08-04 14:01:27 -04:00
Jami Cogswell	c510d33fbf	Java: remove duplicate 'Files.deleteIfExists' ai model	2023-08-04 13:52:18 -04:00
Alexandre Boulgakov	761db70d8d	Revert "Swift: Pragmatic fix for CustomUrlSchemes.qll."	2023-08-04 18:03:00 +01:00
Mathias Vorreiter Pedersen	abe3a816ce	Merge pull request #13851 from MathiasVP/sink-without-states ... DataFlow: Support stateless `isSink` in `StateConfigSig`s	2023-08-04 18:01:42 +02:00
Jeroen Ketema	7b3bdee5ea	C++: Update dbscheme and add upgrade and downgrade scripts	2023-08-04 17:59:03 +02:00
Jeroen Ketema	ea9f49efa1	C++: Remove support for _Float128x which is not actually supported by gcc	2023-08-04 17:23:11 +02:00
Alexandre Boulgakov	97c688849d	Merge pull request #13869 from github/sashabu/swift-logging-compiler ... Swift: Route compiler diagnostics through our log.	2023-08-04 16:13:12 +01:00
Mathias Vorreiter Pedersen	2d832db883	C++: Accept test changes.	2023-08-04 16:12:00 +02:00
Mathias Vorreiter Pedersen	9807c0b0a6	C++: Filter type-based reasons out of MCTV queries.	2023-08-04 16:11:35 +02:00
Mathias Vorreiter Pedersen	b14db86ef9	C++: Let 'hasConstantBound' determine a reason.	2023-08-04 16:09:07 +02:00
Mathias Vorreiter Pedersen	050a563580	C++: Infer a constant upper bound whenever we convert to a 'larger' upper bound (and similarly for lower bounds).	2023-08-04 16:03:09 +02:00
Tony Torralba	33eaeb9cf8	Merge pull request #13484 from aegilops/java/experimental/command-injection ... Java: Experimental version of Java Command Injection query	2023-08-04 15:48:15 +02:00
Michael Nebel	51c8331c8f	Merge pull request #13522 from michaelnebel/csharp/usestubs4 ... C#: Use stubs for query tests.	2023-08-04 15:40:08 +02:00
Mathias Vorreiter Pedersen	3e9d9e72dc	Merge pull request #13880 from MathiasVP/type-bounds-preparation ... C++: Add a type-based `SemReason`.	2023-08-04 14:52:16 +02:00
Mathias Vorreiter Pedersen	98e670f25c	Update cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/RangeAnalysisStage.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-08-04 14:34:03 +02:00
Mathias Vorreiter Pedersen	121d754be4	Update cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/RangeAnalysisImpl.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-08-04 14:33:58 +02:00
Michael Nebel	9c4d77a925	Java: Address review comments.	2023-08-04 13:47:30 +02:00
Michael Nebel	d3eb9c1325	Java: Add release note and address review comments.	2023-08-04 13:36:43 +02:00
Paul Hodgkinson	5db569da89	Merge branch 'main' into java/experimental/command-injection	2023-08-04 12:11:29 +01:00
Mathias Vorreiter Pedersen	e066e87890	Update shared/dataflow/codeql/dataflow/DataFlowImpl.qll ... Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>	2023-08-04 11:32:41 +02:00
Jeroen Ketema	877ee7047d	Merge pull request #13884 from jketema/global-var-declspec ... C++: Add test for `__declspec` attribute on a global variable	2023-08-04 11:26:10 +02:00
Mathias Vorreiter Pedersen	86dbb507fd	C++: Add more comments to explain the meaning of 'combineWith'.	2023-08-04 11:20:17 +02:00
Mathias Vorreiter Pedersen	eb19052a7d	Apply suggestions from code review ... Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>	2023-08-04 11:10:12 +02:00
Mathias Vorreiter Pedersen	981f67531c	DataFlow: Introduce 'revSinkNode'.	2023-08-04 11:09:08 +02:00
Mathias Vorreiter Pedersen	75c333273c	C++: Bind 'impl'. Oops.	2023-08-04 10:58:54 +02:00
Mathias Vorreiter Pedersen	d398c8c5a8	C++: Share some code by introducing a parameterized module to construct reasons.	2023-08-04 10:52:18 +02:00