Nick Rolfe
514a92d5bd
Tree-sitter extractors: use fresh IDs for locations
...
Since locations for any given source file are never referenced in any
TRAP files besides the one for that particular source file, it's not
necessary to use global IDs. Using fresh IDs will reduce the size of the
ID pool (both on disk and in memory) and the speed of multi-threaded
TRAP import.
The one exception is the empty location, which still uses a global ID.
2024-02-02 15:06:10 +00:00
Joe Farebrother
2a00375bb7
Add documentation
2024-02-02 14:34:43 +00:00
Max Schaefer
21c0422dc7
Merge pull request #15499 from github/max-schaefer/automodel-functional-interface-expr
...
Automodel: Do not consider `@FunctionalInterface`-typed expressions as candidates.
2024-02-02 14:28:41 +00:00
Michael Nebel
4acce3276a
C#: Update FlowSummaries expected output test.
2024-02-02 14:47:45 +01:00
Michael Nebel
f6e3027321
C#: Add summaries for Span<T> and ReadOnlySpan<T> extension methods.
2024-02-02 14:47:45 +01:00
Michael Nebel
91d844316a
C#: Add some tests with expected output.
2024-02-02 14:47:45 +01:00
Michael Nebel
7f5d2e1f44
C#: Update flowsummaries expected output.
2024-02-02 14:47:44 +01:00
Michael Nebel
6ff22622ca
C#: Add summaries for Span<T> and ReadOnlySpan<T>.
2024-02-02 14:47:44 +01:00
Jeroen Ketema
6b13a8c568
Merge pull request #15504 from MathiasVP/block-summary-flow-out-of-strdup-and-friends
...
C++: Block summary flow through `strdup` and friends
2024-02-02 14:47:05 +01:00
Anders Schack-Mulligen
f631c01fe2
Merge pull request #15511 from aschackmull/java/adjust-mad-abstractstringbuilder
...
Java: Remove two redundant models implied by CharSequence models.
2024-02-02 14:45:06 +01:00
Michael Nebel
bf94a75698
Merge pull request #15502 from michaelnebel/csharp/refstructdataflow
...
C#: Inter-procedural dataflow for `ref` structs when used as arguments.
2024-02-02 14:44:51 +01:00
Koen Vlaswinkel
f83d2a7d55
Ruby: Avoid using toString where possible
2024-02-02 14:18:21 +01:00
Koen Vlaswinkel
ac1ebf27a7
Ruby: Rename suggestion predicates
2024-02-02 14:18:16 +01:00
Tom Hvitved
6df313b9d1
Merge pull request #15509 from hvitved/csharp/node-reuse-dependency-fetching
...
C#: Disable msbuild node reuse in dependency fetcher
2024-02-02 13:54:53 +01:00
Geoffrey White
72948cbc46
C++: Remove all cached tags.
2024-02-02 12:23:06 +00:00
Anders Schack-Mulligen
49b00f3842
Java: Remove two redundant models implied by CharSequence models.
2024-02-02 13:17:26 +01:00
Mathias Vorreiter Pedersen
439d3d2438
C++: Add tests with higher level of indirection.
2024-02-02 12:09:46 +00:00
Rasmus Lerchedahl Petersen
3b1751dc8a
Update supported versions
2024-02-02 11:45:21 +01:00
Mathias Vorreiter Pedersen
0729c602c5
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2024-02-02 10:39:40 +00:00
Rasmus Lerchedahl Petersen
f433039a25
Add change note
2024-02-02 11:23:35 +01:00
Rasmus Lerchedahl Petersen
f275531542
Add support for TS 5.4-beta
2024-02-02 11:03:44 +01:00
Geoffrey White
56538472cf
C++: Update the change note.
2024-02-02 09:55:44 +00:00
Geoffrey White
7c37be2e88
C++: Address implicit this.
2024-02-02 09:49:13 +00:00
Mathias Vorreiter Pedersen
b0393287cd
Merge pull request #15421 from jketema/unique-function-fix
...
C++: Ensure that only one Function exists for every function - take 2
2024-02-02 09:42:32 +00:00
Tom Hvitved
fa3130cc95
C#: Disable msbuild node reuse in dependency fetcher
2024-02-02 10:15:33 +01:00
Tamás Vajk
5ab4ed1b3b
Merge pull request #15505 from tamasvajk/feature/improve-logs
...
C#: Improve messages in buildless extraction logs
2024-02-02 09:22:17 +01:00
Mathias Vorreiter Pedersen
6f5ed9ad3b
C++: Accept test changes.
2024-02-01 20:15:15 +00:00
Mathias Vorreiter Pedersen
5ad3e97798
C++: Fix TODO by blocking summary flow through functions that don't preserve identity.
2024-02-01 20:15:15 +00:00
Asger F
8a2485a22f
JS: Address some comments
2024-02-01 20:54:27 +01:00
Ian Lynagh
68f267798e
Kotlin: Add support for path transformers
2024-02-01 18:07:47 +00:00
Geoffrey White
649af822fd
C++: Fix the issue with missing return kinds when function bodies are not in the database.
2024-02-01 17:04:20 +00:00
Joe Farebrother
88c2ccbecf
Generate stubs
2024-02-01 16:59:50 +00:00
Joe Farebrother
5d1edd45c5
Add unit tests
2024-02-01 16:56:20 +00:00
Geoffrey White
5caa49aeab
C++: Remove unused case for now, and add QLDoc.
2024-02-01 15:51:50 +00:00
Tamas Vajk
7b554636ae
C#: Improve messages in buildless extraction logs
2024-02-01 16:45:59 +01:00
Koen Vlaswinkel
8853acb4dd
Ruby: Add query for access paths in model editor
2024-02-01 16:20:00 +01:00
Jeroen Ketema
6db68c067f
C++: Update stats file
2024-02-01 16:12:53 +01:00
Jeroen Ketema
05e78f14a4
C++: Add upgrade and downgrade scripts
2024-02-01 16:12:53 +01:00
Jeroen Ketema
a79754b696
C++: Resolve functions using complete mangled names
2024-02-01 16:12:53 +01:00
Jeroen Ketema
972d86c0a0
C++: Add column to mangled_name table with completeness information
2024-02-01 16:12:53 +01:00
Mathias Vorreiter Pedersen
1ac75def2b
C++: Add another testcase with spurious summary flow.
2024-02-01 15:11:52 +00:00
Joe Farebrother
9098428c2a
Add security severity
2024-02-01 14:28:14 +00:00
Michael Nebel
551a7f9577
C#: Update expected test output.
2024-02-01 15:04:06 +01:00
Michael Nebel
9191acc412
C#: Prevent flow out of non ref fields in ref structs used as arguments.
2024-02-01 15:04:06 +01:00
Michael Nebel
4a89cbe8ea
C#: Add postupdate nodes for arguments of struct type.
2024-02-01 15:04:06 +01:00
Michael Nebel
4dfeff38f9
C#: Add dataflow field test for ref structs with ref and ordinary fields.
2024-02-01 15:04:06 +01:00
Mathias Vorreiter Pedersen
2bea0adb92
C++: Solve non-monotonic issue by unfolding dataflow-related predicates until we get to the SSA implementations of them.
2024-02-01 13:14:02 +00:00
Geoffrey White
cfc1a3db22
C++: Document Node0Impl, remove a debug change.
2024-02-01 13:13:50 +00:00
Michael B. Gale
73d0b7ef49
Merge pull request #15492 from github/mbg/go/include-versions-in-newer-diagnostic
...
Go: Include versions in newer Go version needed diagnostic
2024-02-01 12:22:27 +00:00
Tom Hvitved
8972133d4b
Merge pull request #15498 from hvitved/ruby/ctx-sensitivity-test
...
Ruby: Add another dataflow test
2024-02-01 12:46:53 +01:00
