84550 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Michael B. Gale	11e3a08e44	Go: Check for modules.txt or glide.yaml to exclude vendor dirs	2025-02-19 13:57:15 +00:00
Michael B. Gale	fe4ee54b6f	Go: Add more logging for go.mod files to workspace discovery	2025-02-19 13:25:49 +00:00
Simon Friis Vindum	ae7e15d82f	Merge pull request #18754 from paldepind/rust-ref-pattern ... Rust ref pattern	2025-02-19 14:24:09 +01:00
Michael B. Gale	1d9a3dbd08	Go: Make go happy with the vendor folder	2025-02-19 12:47:28 +00:00
Michael B. Gale	ebd6fd4156	Merge pull request #18814 from github/mbg/bazel/test-output-all ... Bazel: Add `--test_output all`	2025-02-19 12:40:07 +00:00
Asger F	a5fde9c3df	Merge pull request #18807 from asgerf/js/vue-without-tsconfig-fixup ... JS: Extract TS snippets with no tsconfig.json file	2025-02-19 13:31:08 +01:00
Paolo Tranquilli	3c00dc48b1	Merge pull request #18802 from github/redsun82/rust-glob-members ... Rust: support glob members in workspaces	2025-02-19 13:30:58 +01:00
Asger F	58c8b5fa2b	Merge pull request #18790 from asgerf/js/no-implicit-array-taint ... JS: Do not taint whole array when storing into ArrayElement	2025-02-19 13:23:31 +01:00
Michael B. Gale	462b6e6a0e	Bazel: Add --test_output all	2025-02-19 11:41:57 +00:00
Michael B. Gale	4fa0019b55	Go: Add vendor directory to mixed-layout test with go.work file ... The `go.work` file here should not get discovered by the autobuilder	2025-02-19 11:24:54 +00:00
Michael B. Gale	b372af51b6	Go: Allow FindAllFilesWithName to use predicate functions for dirsToSkip	2025-02-19 11:24:53 +00:00
Michael B. Gale	2cd9bd8a43	Go: Move IsGolangVendorDirectory to util package	2025-02-19 11:24:52 +00:00
Simon Friis Vindum	faef735ce9	Rust: Move equality into disjunction	2025-02-19 11:11:11 +01:00
Paolo Tranquilli	9b6f0da1c1	Rust: move nested ql test out	2025-02-19 10:37:52 +01:00
Paolo Tranquilli	c1df8d0e13	Rust: add flag to turn off extractor path resolution	2025-02-19 09:44:09 +01:00
Asger F	e1c280500e	Merge pull request #18749 from Kwstubbs/express ... JS: Add result.download to Express as Path Traversal Sink	2025-02-19 09:08:36 +01:00
Remco Vermeulen	9865577bf5	Merge pull request #18811 from rvermeulen/rvermeulen/update-java-ccr-suite ... Updata Java CCR suite	2025-02-18 16:54:41 -08:00
REDMOND\brodes	3871c6a33e	Adding support for encryption operation detection.	2025-02-18 16:09:00 -05:00
Remco Vermeulen	2d991fc387	Updata Java CCR suite	2025-02-18 20:25:22 +00:00
Geoffrey White	1a6c6a454d	Rust: Effect on integration tests.	2025-02-18 17:50:54 +00:00
Nicolas Will	8707e4d9a3	Continue Artifact data-flow WIP	2025-02-18 18:35:49 +01:00
Geoffrey White	12d5a30703	Rust: Add a test of mutable iterators as well.	2025-02-18 17:20:43 +00:00
Geoffrey White	8024fb6812	Rust: Add more models for Iterator.	2025-02-18 17:20:39 +00:00
Asger F	804a1a6cb0	JS: Handle array of sorting criteria	2025-02-18 16:58:04 +01:00
Asger F	7486742c37	JS: Fix model of _.sortBy	2025-02-18 16:53:40 +01:00
Asger F	ad4522c781	JS: Make 'typeStrongerThan' transitive	2025-02-18 16:04:48 +01:00
Asger F	e40ee821c2	JS: Update a qldoc comment	2025-02-18 16:02:47 +01:00
Anders Schack-Mulligen	194afbb7f8	Java: Simplify SSA for variable capture.	2025-02-18 14:01:20 +01:00
Anders Schack-Mulligen	35f50bac97	SSA: Reimplement use-use.	2025-02-18 14:01:20 +01:00
Anders Schack-Mulligen	d6dc91d191	SSA: Inline predicate to simplify negation.	2025-02-18 14:01:20 +01:00
Anders Schack-Mulligen	411aff6748	SSA: Refactor ranking into parameterised module.	2025-02-18 14:01:19 +01:00
Anders Schack-Mulligen	11166fc42d	SSA: Restrict phi-read creation to be based on reachable reads.	2025-02-18 14:01:19 +01:00
Anders Schack-Mulligen	d5ac5b4654	SSA: Replace uncertainWriteDefinitionInput implementation. ... This yields a tiny bit of additional tuples consistent with the prior Java implementation.	2025-02-18 14:01:18 +01:00
Anders Schack-Mulligen	a4fee2e299	SSA: Minor perf tweak to reduce tuple duplication.	2025-02-18 14:01:18 +01:00
Anders Schack-Mulligen	7e441d9eca	SSA: Fold getImmediateBasicBlockDominator into loop-invariant predicate.	2025-02-18 14:01:17 +01:00
Anders Schack-Mulligen	77ccff6be8	SSA: Replace exported def-reaches predicates (behaviour-preserving).	2025-02-18 14:01:17 +01:00
Anders Schack-Mulligen	6e272d07af	SSA: Ignore phi-reads in the new def-reaches module.	2025-02-18 14:01:16 +01:00
Anders Schack-Mulligen	ea08c60326	SSA: Copy 3 predicates from the outer scope verbatim into the new Reaches module.	2025-02-18 14:01:16 +01:00
Anders Schack-Mulligen	613323ee3a	SSA: Copy parts of SsaDefReaches verbatim to new module.	2025-02-18 14:01:15 +01:00
Anders Schack-Mulligen	81b3035160	SSA: Inline predicate	2025-02-18 14:01:15 +01:00
Anders Schack-Mulligen	f80cd97232	SSA: Factor out phi-read construction in its own predicate.	2025-02-18 14:01:14 +01:00
Anders Schack-Mulligen	5723d27428	SSA: Make inReadDominanceFrontier a bit smaller without affecting phi-read creation.	2025-02-18 14:01:14 +01:00
Anders Schack-Mulligen	c5e28842fb	SSA: Remove superfluous column from liveAtRank.	2025-02-18 14:01:13 +01:00
Anders Schack-Mulligen	b62432fc80	SSA: Remove superfluous boolean.	2025-02-18 14:01:13 +01:00
Anders Schack-Mulligen	36613e150b	SSA: Remove superfluous conjunct (implied by refRank).	2025-02-18 14:01:13 +01:00
Anders Schack-Mulligen	3822d149af	SSA: Elaborate qldoc.	2025-02-18 14:01:12 +01:00
Jami	d94dc5aa40	Merge pull request #18504 from jcogs33/jcogs33/java/file-constructor-path-sanitizer ... Java: `File` constructor path sanitizer	2025-02-18 08:00:32 -05:00
Tom Hvitved	ab74d903fd	Rust: Path resolution for inherited functions	2025-02-18 13:49:05 +01:00
Tom Hvitved	f3a393f9da	Rust: Add more path resolution tests	2025-02-18 13:48:27 +01:00
Asger F	b3f7cd988b	JS: Extract TS snippets with no tsconfig.json file	2025-02-18 12:43:13 +01:00