34 Commits

Author	SHA1	Message	Date
Tom Hvitved	de0deabe4c	Ruby: Implement localMustFlowStep	2025-01-09 10:37:43 +01:00
Tom Hvitved	978a816f11	Ruby: Track types in data flow	2025-01-06 13:26:10 +01:00
Michael Nebel	138e294dae	Ruby: Update all test util paths to point to the new location.	2024-12-12 13:54:37 +01:00
Tom Hvitved	c9aaba677d	Ruby: Update expected test output	2024-08-13 13:34:46 +02:00
Anders Schack-Mulligen	2c43d0c5a4	Ruby: Update expected output (interesting).	2024-04-12 09:20:38 +02:00
Tom Hvitved	bd7b2c4cc6	Update expected output	2024-03-05 10:44:13 +01:00
Anders Schack-Mulligen	35a3aa0a09	Ruby: Add empty provenance column to expected files.	2024-02-09 11:32:08 +01:00
Tom Hvitved	792f302bd4	Ruby: Add another dataflow test	2024-02-01 10:52:06 +01:00
Tom Hvitved	503d2f7b95	Ruby: Rework mayBenefitFromCallContext	2024-01-30 09:57:29 +01:00
Tom Hvitved	295198744b	Ruby: Handle captured yield calls	2024-01-10 14:25:15 +01:00
Tom Hvitved	55be4c39ef	Ruby: Add data flow call sensitivity test	2024-01-10 14:25:12 +01:00
Tom Hvitved	f90201eb56	Data flow: Remove column from mayBenefitFromCallContext	2024-01-09 11:34:43 +01:00
Tom Hvitved	48e2dcfa35	Ruby: Reimplement flow through captured variables using field flow	2023-09-06 11:00:55 +02:00
Tom Hvitved	a2912cd72b	Ruby: Use proper PathGraph module in inline flow tests ... Gets rid of ``` PathNode is incompatible with PathNode (the type of the edge relation). ``` warnings.	2023-09-04 20:27:34 +02:00
Jeroen Ketema	9d573e5544	Consolidate all InlineFlowTest libraries in the dataflow qlpack	2023-08-24 21:38:46 +02:00
Jeroen Ketema	d82c3ce11a	Ruby: Rewrite InlineFlowTest as a parameterized module	2023-06-15 10:52:23 +02:00
Anders Schack-Mulligen	09d4fe21e8	Ruby: Update more expected output.	2023-04-26 13:37:07 +02:00
Tom Hvitved	714b61b63e	Ruby: Add missing flow through self.new constructor calls	2023-03-13 12:45:46 +01:00
Tom Hvitved	6ee231fac5	Ruby: Add more tests for flow through constructors	2023-03-13 10:52:01 +01:00
Tom Hvitved	0b8173e2e7	Ruby: Add another data flow test	2023-02-13 09:50:50 +01:00
Tom Hvitved	bfc257147c	Ruby: Fix bug in call-sensitivity logic for initialize calls	2022-12-16 11:17:15 +01:00
Tom Hvitved	5d9c64ba6f	Ruby: Model flow through initialize constructors	2022-12-14 12:57:39 +01:00
Tom Hvitved	9a7628c988	Ruby: Add data flow tests for constructors	2022-12-14 12:57:39 +01:00
Tom Hvitved	bfbe5bdfb8	Ruby: Add data flow test that illustrates spurious flow	2022-11-30 11:01:32 +01:00
Tom Hvitved	4422327c00	Ruby: Call-context sensitivity for singleton method calls	2022-10-21 11:48:25 +02:00
Tom Hvitved	6feff7e3ed	Ruby: Add more data-flow call sensitivity tests	2022-10-21 09:36:34 +02:00
Tom Hvitved	9937ae8ef9	Ruby: Call sensitive instance method resolution	2022-09-22 16:22:31 +02:00
Tom Hvitved	64978b0138	Ruby: Add data-flow test that demonstrates spurious flow	2022-09-22 15:18:42 +02:00
Tom Hvitved	007ab2b7ce	Ruby: Do not expose AST layer through ruby.qll	2022-09-13 19:59:56 +02:00
Tom Hvitved	46127f9f59	Ruby: Convert data-flow test to use inline test expectations	2022-09-08 14:32:21 +02:00
Tom Hvitved	a18aef23f9	Data flow: Do not discard call context when computing reverse lambda flow through jumps	2022-05-19 15:19:41 +02:00
Tom Hvitved	ea703bc49a	Ruby: Add test that illustrates false negative lambda flow	2022-05-19 15:19:34 +02:00
Tom Hvitved	aa9cfebc65	Ruby: Replace getValueText with getConstantValue	2022-01-21 09:19:19 +01:00
Arthur Baars	976daddd36	Move files to ruby subfolder	2021-10-15 11:47:28 +02:00