67840 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Alex Ford	f017821062	Ruby: rb/weak-sensitive-data-hashing qhelp	2024-06-17 15:29:53 +01:00
Alex Ford	d4203d9286	Ruby: minimal port of py/weak-sensitive-data-hashing	2024-06-17 15:27:00 +01:00
Michael Nebel	3525967143	Merge pull request #16701 from michaelnebel/csharp/modelgentaintmembers ... C#/Java: Improve Sink and Summary model generation.	2024-06-14 12:30:50 +02:00
Tom Hvitved	c7b4f51077	Merge pull request #16758 from hvitved/ruby/shared-ci-trigger ... Ruby: Trigger `ruby-build.yml` on changes to shared extractor	2024-06-14 12:00:18 +02:00
Michael B. Gale	039537f7ba	Merge pull request #16727 from github/mbg/go/fix/too-many-go-mod-files-initialised	2024-06-14 10:14:57 +01:00
Tom Hvitved	be66ea2178	Ruby: Trigger ruby-build.yml on changes to shared extractor	2024-06-14 11:09:03 +02:00
Michael Nebel	a29446a566	C#/Java: Address review comments.	2024-06-14 10:46:19 +02:00
Mathias Vorreiter Pedersen	3d037e73f0	Merge pull request #16749 from MathiasVP/fix-fps-on-double-free ... C++: Fix `ArrayExpr` FPs in `cpp/double-free`	2024-06-13 12:58:41 +01:00
Paolo Tranquilli	b8de2ea03b	Merge pull request #16731 from github/redsun82/kotlin-fix-version-picker ... Kotlin: expose kotlin version picker for internal packaging	2024-06-13 13:57:38 +02:00
Michael B. Gale	1834a399d2	Merge pull request #16738 from github/mbg/go/remove-go-work ... Go: Remove `go.work` file	2024-06-13 12:20:12 +01:00
Mathias Vorreiter Pedersen	4bbeda08d6	C++: Fix change note naming.	2024-06-13 11:10:00 +01:00
Mathias Vorreiter Pedersen	83108e3e25	C++: Add change note.	2024-06-13 11:03:52 +01:00
Mathias Vorreiter Pedersen	bcabc88649	C++: Accept test changes.	2024-06-13 10:59:46 +01:00
Mathias Vorreiter Pedersen	4079de125f	C++: Fix FP by also excluding indirections of array expressions.	2024-06-13 10:59:39 +01:00
Mathias Vorreiter Pedersen	eec259279a	C++: Add another FP test. We already have tests for this, but it doesn't hurt to have another one, I guess.	2024-06-13 10:57:49 +01:00
Mathias Vorreiter Pedersen	e244eef3b5	Merge pull request #16748 from MathiasVP/rc-3.14-mergeback-2 ... Mergeback from `rc/3.14`	2024-06-13 10:44:46 +01:00
Michael Nebel	7f7c5d7c94	Java: Update model generator expected test output.	2024-06-13 10:57:15 +02:00
Michael Nebel	e247d5b316	Java: Sync files and make dummy language specific implementation.	2024-06-13 10:55:17 +02:00
Michael Nebel	e56c185f32	Java: Add some model generator sink examples.	2024-06-13 10:49:57 +02:00
Mathias Vorreiter Pedersen	0150269503	Merge branch 'rc/3.14' into rc-3.14-mergeback-2	2024-06-13 09:14:40 +01:00
Mathias Vorreiter Pedersen	9384f6189e	Merge pull request #16740 from MathiasVP/fix-join-in-ssa ... SSA: Fix bad join in `lastRefRedefExt`	2024-06-13 09:06:20 +01:00
Michael Nebel	854c6fa813	C#: Update expected test output after .NET 8 models update.	2024-06-13 09:24:13 +02:00
Michael Nebel	9ea2b463f0	C#: Update .NET 8 Runtime models.	2024-06-13 08:36:23 +02:00
Michael Nebel	78d23ee044	C#/Java: Allow the model generator to use 32GB of ram.	2024-06-13 08:35:52 +02:00
Mathias Vorreiter Pedersen	5b3403c4b1	C++: Fix bad join in 'lastRefRedefExt'.	2024-06-12 15:24:58 +01:00
Michael B. Gale	e10e2899bd	Go: Update comment in gen.py	2024-06-12 15:24:33 +01:00
Michael B. Gale	8629e00686	Go: Remove workspace from vendor/modules.txt	2024-06-12 15:22:56 +01:00
Michael B. Gale	a90968d277	Go: Replace go work vendor with go mod vendor	2024-06-12 15:19:14 +01:00
Michael B. Gale	a04f08f026	Go: Remove go.work file	2024-06-12 15:10:28 +01:00
Tamás Vajk	a756f86847	Merge pull request #16732 from tamasvajk/refactor/extraction-states ... C#: Refactor extractor state classes and simplify extraction code	2024-06-12 15:20:11 +02:00
Tamas Vajk	0df6a1c4b1	Fix quality issues	2024-06-12 14:48:16 +02:00
Michael Nebel	48739da565	C#: Update expected test output.	2024-06-12 14:16:31 +02:00
Michael Nebel	91ebeee429	C#: Perceive field and property reads as additional flow steps in sink extrapolation.	2024-06-12 14:16:26 +02:00
Michael Nebel	5aee35256d	C#: Add member flow example.	2024-06-12 14:16:22 +02:00
Michael Nebel	4b62cb64ed	C#: Update expected test output.	2024-06-12 14:16:17 +02:00
Michael Nebel	0bbf131fdb	C#: Add some compound sink examples.	2024-06-12 14:16:12 +02:00
Tamas Vajk	e3cbf1479a	Fix quality issue	2024-06-12 13:25:34 +02:00
Arthur Baars	4ee80653e2	Merge pull request #16471 from Sim4n6/ruby-UBV ... Ruby: Add some method calls as a Source	2024-06-12 12:42:08 +02:00
Tamas Vajk	3551386a1a	Simplify standalone extractor	2024-06-12 12:30:08 +02:00
Owen Mansel-Chan	6af1ed9d75	Merge pull request #16730 from github/workflow/coverage/update ... Update CSV framework coverage reports	2024-06-12 11:22:29 +01:00
Tamas Vajk	cdca607828	Rename Extractor to ExtractionContext	2024-06-12 11:43:19 +02:00
Tamas Vajk	af2a78ea4d	Reduce references to Extract class	2024-06-12 11:13:05 +02:00
Paolo Tranquilli	183a825841	Kotlin: expose kotlin version picker for internal packaging	2024-06-12 09:29:57 +02:00
github-actions[bot]	bbeebfae73	Add changed framework coverage reports	2024-06-12 00:17:31 +00:00
Joe Farebrother	f441c68f7e	Merge pull request #16657 from joefarebrother/python-partial-ssrf-fp ... Python: Add additional sanitizers to SSRF	2024-06-11 23:20:50 +01:00
Michael B. Gale	e9bd85e0ba	Merge pull request #16704 from github/mbg/go/fix/build-scripts-running-more-than-once	2024-06-11 22:23:15 +01:00
Michael B. Gale	202d77d94f	Merge pull request #16726 from github/mbg/go/log-one-line-for-stray-sources ... Go: Only log one line for stray .go files	2024-06-11 22:16:21 +01:00
Owen Mansel-Chan	24c9062b35	Merge pull request #16671 from owen-mc/go/mad-builtin-taint-models-try-2 ... Go: Convert old-style models for built-ins to MaD	2024-06-11 19:45:34 +01:00
Michael B. Gale	d8d1ae632c	Merge branch 'mbg/go/fix/build-scripts-running-more-than-once' into mbg/go/fix/too-many-go-mod-files-initialised	2024-06-11 18:31:03 +01:00
Michael B. Gale	0f56e408f8	Merge branch 'main' into mbg/go/fix/build-scripts-running-more-than-once	2024-06-11 18:29:41 +01:00