1577 Commits

Author	SHA1	Message	Date
Michael Nebel	32816fa68f	C#: Improve join in the InterpretedCallable characteristic predicate.	2022-09-15 10:54:27 +02:00
Tony Torralba	569fad667a	Merge pull request #10360 from atorralba/atorralba/fix-taint-implicit-reads ... Dataflow: Fix implicit reads in taint tracking when FlowStates are used	2022-09-09 14:28:39 +02:00
erik-krogh	26d8553f6e	ensure consistent casing of names	2022-09-09 10:34:14 +02:00
Tony Torralba	7db1eb98f5	Sync files	2022-09-08 17:32:03 +02:00
Tom Hvitved	b3653cc3d0	Merge pull request #10216 from hvitved/ssa/shared-lib ... SSA: Create a new `codeql/shared-ssa` library pack and move implementation there	2022-09-08 15:39:29 +02:00
Michael Nebel	0e52d2c9d3	C#: Add missing bi-directional imports.	2022-09-06 09:34:13 +02:00
Tom Hvitved	9ebabd1e1f	SSA: Strip shared from namespace and qlpack name	2022-09-05 11:17:30 +02:00
Michael Nebel	022cbfa009	C#: Support 'WithElement'.	2022-09-02 15:17:24 +02:00
Michael Nebel	ecce30ed5a	C#: Remove clearsContent predicate from the framework code.	2022-09-02 15:17:24 +02:00
Michael Nebel	f43feac324	C#: Add models as data models for Clear.	2022-09-02 15:17:23 +02:00
Michael Nebel	80f89282b7	C#: Add summary for System.Text.StringBuilder.Clear.	2022-09-02 15:17:23 +02:00
Michael Nebel	e3bfc4bd82	C#: CSV Printing of WithoutElement content.	2022-09-02 15:17:23 +02:00
Michael Nebel	8234a508b3	C#: Parsing of WithoutElement.	2022-09-02 15:17:23 +02:00
Tom Hvitved	6b728acd9e	Use specific codeql/shared-ssa pack for the SSA library	2022-09-01 21:23:33 +02:00
Tom Hvitved	8e5d6ba4f9	SSA: Create a new shared library pack and move implementation there	2022-09-01 09:36:49 +02:00
Tom Hvitved	2681b88035	C#: Update Pre SSA library to use parameterized module	2022-08-31 11:45:15 +02:00
Tom Hvitved	8725bf0620	C#: Update Base SSA library to use parameterized module	2022-08-31 11:45:15 +02:00
Tom Hvitved	f553001217	C#: Update CIL SSA library to use parameterized module	2022-08-31 11:45:14 +02:00
Tom Hvitved	0d81a6409d	SSA: Make shared library a parameterized module	2022-08-31 11:45:14 +02:00
Michael Nebel	1cb6d78d35	Merge pull request #10170 from michaelnebel/java/models-io ... Java: Update models for commons-io and add negative models.	2022-08-31 11:05:09 +02:00
Michael Nebel	e020ae77e0	Merge pull request #10158 from michaelnebel/csharp/narrowcollectiontypes ... C#: Narrow collection like types in model generation.	2022-08-30 14:20:57 +02:00
Michael Nebel	e8d726606b	C#/Java: Add descriptive comment on negative summaries in ExternalFlow.	2022-08-29 14:29:32 +02:00
Michael Nebel	37aa6b2c5f	C#: Add file level QL Doc.	2022-08-29 14:29:32 +02:00
Michael Nebel	290c35e7c6	Java: Use negative summary models in unsupported external api telemetry query.	2022-08-29 14:28:55 +02:00
Michael Nebel	e71ab59c9a	C#: Update the generated models.	2022-08-26 09:30:07 +02:00
Michael Nebel	a83ab79d31	C#: Update models based on relevant collection changes.	2022-08-26 09:30:07 +02:00
Michael Nebel	31dddef94e	C#: Update all models prior to model generator change.	2022-08-26 09:30:07 +02:00
erik-krogh	cc7a9ef97a	rename more acronyms	2022-08-25 20:52:27 +02:00
Ian Lynagh	501a9b3c6b	Make *.qll non-executable	2022-08-24 16:36:15 +01:00
Michael Nebel	51e7b0880a	C#: Update negative models.	2022-08-24 09:58:54 +02:00
Michael Nebel	761ed283b6	C#/Java/Ruby/Swift: Address review comments.	2022-08-24 09:58:54 +02:00
Michael Nebel	f728ddf823	C#: Update negative summaries (there has been a rebase since last update).	2022-08-24 09:58:54 +02:00
Michael Nebel	fbc36800aa	C#: Fix merge issues after re-base.	2022-08-24 09:58:54 +02:00
Michael Nebel	30d554503a	C#/Java: Fix some QL doc spelling typos.	2022-08-24 09:58:53 +02:00
Michael Nebel	592b60d6ab	C#: Fix rebase error merge (validation on encryption kind was un-intentionally deleted).	2022-08-24 09:58:53 +02:00
Michael Nebel	160ae934af	C#/Java/Ruby/Swift: Fix typo in QL doc.	2022-08-24 09:58:53 +02:00
Michael Nebel	c3e21e8555	C#: Move NegativeSummary.qll to the internal folder.	2022-08-24 09:58:53 +02:00
Michael Nebel	37976d56bc	C#/Java/Go/Swift: Move CsvValidation back into ExternalFlow.	2022-08-24 09:58:53 +02:00
Michael Nebel	581824a9b4	C#/Java/Ruby/Swift: Fix various typos.	2022-08-24 09:58:53 +02:00
Michael Nebel	8949f71250	C#: Fixup CSV validation refactor.	2022-08-24 09:58:53 +02:00
Michael Nebel	00d1b8665d	C#: Add negative generated .NET Runtime models.	2022-08-24 09:58:52 +02:00
Michael Nebel	3315d768f8	C#: Introduce negative summary column count validation.	2022-08-24 09:58:52 +02:00
Michael Nebel	4c59cfb296	C#: Re-factor the invalidModelRow predicate.	2022-08-24 09:58:52 +02:00
Michael Nebel	19469a26d7	C#: Re-factor CSV validation into a separate file.	2022-08-24 09:58:52 +02:00
Michael Nebel	929f1b324b	C#: Prepare for .NET negative summaries and use in UnsupportedExternalAPIs query.	2022-08-24 09:46:54 +02:00
Michael Nebel	cc44e89065	C#: Introduce support for Negative summary models.	2022-08-24 09:46:54 +02:00
erik-krogh	82d9180892	only have one deprecated alias for XmlDtd	2022-08-23 10:38:23 +02:00
erik-krogh	28083ebe09	run the implicit-this patch	2022-08-22 21:23:31 +02:00
erik-krogh	a593a52b5e	add missing qldoc (that was already missing?)	2022-08-22 21:22:39 +02:00
erik-krogh	e89e0eb7fb	make some acronyms camelCase	2022-08-22 21:22:35 +02:00