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 |
|
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 |
|
Simon Friis Vindum
|
53557dbebd
|
Merge pull request #18800 from paldepind/generate-model-script
Sanitize path when generating MaD files
|
2025-02-18 12:22:42 +01:00 |
|
Paolo Tranquilli
|
530bfccb7c
|
Merge branch 'main' into redsun82/update-py-deps
|
2025-02-18 10:03:29 +01:00 |
|
Paolo Tranquilli
|
38efd4a8a2
|
Python: downgrade tree-sitter back to 0.20.4
|
2025-02-18 10:03:18 +01:00 |
|
Asger F
|
24e7aad6ba
|
JS: Overriden -> Overridden
|
2025-02-18 09:51:13 +01:00 |
|
Asger F
|
82a4b17218
|
JS: Change note
|
2025-02-18 09:43:08 +01:00 |
|
Asger F
|
e610683377
|
JS: Linter fix
|
2025-02-18 09:25:23 +01:00 |
|
Ian Lynagh
|
02249af781
|
Merge pull request #18804 from github/post-release-prep/codeql-cli-2.20.5
Post-release preparation for codeql-cli-2.20.5
|
2025-02-17 21:40:36 +00:00 |
|
Jami Cogswell
|
9bb5fe837d
|
Java: address review comments
|
2025-02-17 15:47:45 -05:00 |
|
Asger F
|
c958702830
|
JS: Accept some unproblematic consistency warnings
|
2025-02-17 20:30:07 +01:00 |
|
github-actions[bot]
|
ad24f94a77
|
Post-release preparation for codeql-cli-2.20.5
|
2025-02-17 17:58:24 +00:00 |
|
Geoffrey White
|
79525fa4ed
|
Rust: Variant -> Field.
|
2025-02-17 17:33:52 +00:00 |
|
Ian Lynagh
|
975881c74a
|
Merge pull request #18803 from github/release-prep/2.20.5
Release preparation for version 2.20.5
codeql-cli/v2.20.5
|
2025-02-17 17:29:25 +00:00 |
|
Geoffrey White
|
048f7dbd37
|
Merge branch 'main' into nth
|
2025-02-17 17:17:59 +00:00 |
|
github-actions[bot]
|
6f4562f3bd
|
Release preparation for version 2.20.5
|
2025-02-17 16:55:54 +00:00 |
|
Paolo Tranquilli
|
342bff6125
|
Python: undo tree-sitter update
|
2025-02-17 15:52:45 +01:00 |
|
Geoffrey White
|
8bcfd00565
|
Rust: Remove the manual models.
|
2025-02-17 14:29:16 +00:00 |
|
Paolo Tranquilli
|
755140152c
|
Rust: support glob members in workspaces
|
2025-02-17 15:09:35 +01:00 |
|
Asger F
|
a54f0a74f1
|
JS: Target post-update node instead of getALocalSource
getAPropertyWrite() contains getALocalSource() under the the hood. Don't rely on that to find the successor of a mutation.
|
2025-02-17 15:00:02 +01:00 |
|
Asger F
|
6e074c301f
|
JS: Port lodash callback steps to flow summaries
Not all of lodash, just the callbacks we already modeled plus a few easy ones
|
2025-02-17 14:54:45 +01:00 |
|