27 Commits

Author	SHA1	Message	Date
Michael Nebel	763d53afed	C#: Remove the override and ext column from the summaries printing test.	2024-05-16 15:08:45 +02:00
Anders Schack-Mulligen	004bda1ee0	C#: Add alert provenance plumbing.	2024-04-12 09:19:56 +02:00
Michael Nebel	969676975d	C#: Address review comments.	2024-03-20 15:28:56 +01:00
Tom Hvitved	ee3e38f0eb	Simplify test interface in FlowSummaryImpl.qll	2024-03-19 14:35:00 +01:00
Michael Nebel	5b37ee4ec7	Re-factor TestOutput into a param module.	2024-03-19 14:20:42 +01:00
Tom Hvitved	a2093c9aa2	C#: Use FlowSummaryImpl from dataflow pack	2023-12-10 11:25:43 +01:00
Tom Hvitved	6f4311d656	C#: Include type parameters when printing MaD rows with generics	2023-11-09 08:34:06 +01:00
Michael Nebel	afb604ee5f	C#: Remove all generated models.	2022-11-04 08:20:53 +01:00
Michael Nebel	c3e21e8555	C#: Move NegativeSummary.qll to the internal folder.	2022-08-24 09:58:53 +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
Michael Nebel	575b8376f3	C#: Update Flow summaries QL test code based on refactor.	2022-05-19 14:41:24 +02:00
Tom Hvitved	23ee033a57	C#: Review fixes	2022-05-18 07:48:21 +02:00
Michael Nebel	b578fcb069	C#: Use the external SummarizedCallable implementation.	2022-05-18 07:48:20 +02:00
Michael Nebel	68055bc022	C#: Update flow summaries test code.	2022-05-18 07:48:20 +02:00
Michael Nebel	4a68b74aa3	C#: Re-use the asPartialModel for DataFlowPrivate in tests.	2022-03-16 17:02:00 +01:00
Michael Nebel	d881d31959	C#: Remove comma from QL Doc.	2022-03-14 13:49:51 +01:00
Erik Krogh Kristensen	f500bccbe4	add explicit this to member call	2022-01-21 11:46:33 +01:00
Michael Nebel	fc3299801b	C#: Fix issue with summary tests, such that the output is compatiable with flow summary interpreter.	2021-12-14 15:53:16 +01:00
Michael Nebel	d699ca9aa8	C#: Flow summaries should also apply for overides or virtual members in abstract classes.	2021-12-13 13:09:40 +01:00
Michael Nebel	edf7724579	C#: Remove trailing whitespace after comma, when priting callable in CSV format.	2021-12-02 11:24:42 +01:00
Michael Nebel	e08c734c40	C#: Refactoring to allow override of the flow summaries reported by a test.	2021-12-02 08:54:59 +01:00
Michael Nebel	e24b15bbe7	C#: Only create flow summaries for declarations that are effectively public	2021-11-29 11:34:21 +01:00
Michael Nebel	b9d0a60ce7	C#: Addressed review comments from hvitved	2021-11-24 14:35:52 +01:00
Michael Nebel	e607c51292	C#: Initial implementation of csv printing in FlowSummaries test	2021-11-24 12:09:20 +01:00
Michael Nebel	9ea320c53c	Update all PrintAst.qlref to point to new location of PrintAst.ql	2021-11-11 15:19:15 +01:00
Michael Nebel	5a4557f588	Move PrintAst.ql and update import statement	2021-11-11 13:27:12 +01:00