Mathias Vorreiter Pedersen
c5038ed281
Merge pull request #11883 from MathiasVP/fold-definitions
...
C++: Fix bad join in `definitionOf`
2023-01-13 16:28:26 +00:00
Mathias Vorreiter Pedersen
6e6f2115c0
Merge pull request #11857 from MathiasVP/speedup-missing-check-scanf
...
C++: Speedup `cpp/missing-check-scanf`
2023-01-13 16:11:16 +00:00
Geoffrey White
2c35af51cd
Swift: Move logic into Ssa::WriteDefinition.assigns.
2023-01-13 15:19:33 +00:00
Geoffrey White
8a77906296
Swift: Use Ssa::Definition rather than ConcreteVarDecl.
2023-01-13 15:01:20 +00:00
Mathias Vorreiter Pedersen
2aace0df2c
Merge pull request #11743 from MathiasVP/fix-pointer-to-const-nodes
...
C++: `PostUpdateNode`s for const-pointer arguments
2023-01-13 14:03:21 +00:00
Mathias Vorreiter Pedersen
cdd9567062
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2023-01-13 13:54:07 +00:00
Michael Nebel
2d46272295
Merge pull request #11881 from michaelnebel/java/modeldiffignore
...
Java: Ignore missing html artifacts in the Model Diff workflow.
2023-01-13 14:11:19 +01:00
Michael Nebel
b36be009d4
Merge pull request #11834 from michaelnebel/csharp/operators
...
C# 11: Extractor and library support for Unsigned right shift.
2023-01-13 13:21:02 +01:00
erik-krogh
71af8ab022
simplifications inspired by review
2023-01-13 13:18:52 +01:00
Mathias Vorreiter Pedersen
2283eacc0b
C++: Fix bad join in 'definitionOf'.
2023-01-13 11:42:15 +00:00
Mathias Vorreiter Pedersen
59072f9e81
C++: Improve QLDoc.
2023-01-13 11:01:23 +00:00
Mathias Vorreiter Pedersen
dd8bead21a
C++: Fix spurious backticks.
2023-01-13 10:57:44 +00:00
Mathias Vorreiter Pedersen
cf9998b932
Merge pull request #5 from geoffw0/integraltypes
...
Swift: Work on integral type classes
2023-01-13 10:01:23 +00:00
Arthur Baars
5865b51a94
Ruby: build extractor using cross
2023-01-13 10:25:27 +01:00
Arthur Baars
dc6f5f60d1
Ruby: update stats
2023-01-13 10:22:42 +01:00
Arthur Baars
28c9b52dce
Ruby: add change note
2023-01-13 10:22:42 +01:00
Arthur Baars
46063c7d04
Ruby: update expected output
2023-01-13 10:22:41 +01:00
Arthur Baars
c4ec674057
Ruby: support anonymous (hash)splat parameters/arguments
2023-01-13 10:22:41 +01:00
Arthur Baars
4d3e2bb814
Ruby: upgrade/downgrade scripts
2023-01-13 10:22:41 +01:00
Arthur Baars
290167e1a3
Ruby: re-generated dbscheme/library
2023-01-13 10:22:41 +01:00
Arthur Baars
3a887d1c92
Ruby: update tree-sitter-{ruby, embedded-template}
2023-01-13 10:22:41 +01:00
Charis Kyriakou
792d4a83f9
Rename VS Code Extension Run Query command
2023-01-13 08:46:35 +00:00
Michael Nebel
600412db48
Java: Ignore missing html artifacts.
2023-01-13 08:58:53 +01:00
Michael Nebel
3b15f2359b
Merge pull request #11861 from michaelnebel/java/testmodeldiff
...
Java: Update the Model Difference workflow to use the `gh api`.
2023-01-13 08:20:18 +01:00
Jami Cogswell
a43f3cf95f
Java: remove Supplier.get model
2023-01-12 17:09:13 -05:00
Jami Cogswell
f040ff2d8d
Java: undo change to Function.apply test case
2023-01-12 17:01:58 -05:00
Robert Marsh
337a747bde
C++: cleanup some unneeded code
2023-01-12 16:38:58 -05:00
Robert Marsh
b2b45237c6
C++: use rounding to prevent float wobble in range analysis
2023-01-12 16:38:57 -05:00
Robert Marsh
31b61b1aa6
C++: fix a join order in range analysis
2023-01-12 16:38:57 -05:00
Robert Marsh
938176c9da
C++: update test QL for modulus and sign analysis
...
These now instantiate their respective parameterized modules. No
results change.
2023-01-12 16:38:56 -05:00
Robert Marsh
7586762b10
C++: fix ambiguous import warnings
2023-01-12 16:38:56 -05:00
Robert Marsh
488368ecde
C++: private import for module params
2023-01-12 16:38:55 -05:00
Robert Marsh
23281410e3
C++: Make bounds import private to preserve API
2023-01-12 16:38:54 -05:00
Robert Marsh
6db728190e
C++: autoformat
2023-01-12 16:38:36 -05:00
Robert Marsh
02f1957919
C++: make SemBound a RangeAnalysis parameter
2023-01-12 16:38:11 -05:00
Robert Marsh
71b93d125e
C++: Make RangeAnalysis.qll expose the old API
2023-01-12 16:38:11 -05:00
Robert Marsh
fb1ef07e9f
C++: more parameterized modules in range analysis
...
This makes the modulus analysis and sign analysis into parameterized
modules which are instantiated in the main range analysis module, and
makes RangeAnalysisSpecific and RangeUtils into parameters to the main
range analysis.
Some classes also need to be moved and made into `instanceof` extensions
because they'd otherwise be extending across parameterized module
boundaries.
2023-01-12 16:38:10 -05:00
Robert Marsh
c062d5e206
C++: move language specific predicates to LangParam
2023-01-12 16:38:10 -05:00
Robert Marsh
c10733f926
C++: fix float binding issue in range analysis
2023-01-12 16:38:09 -05:00
Robert Marsh
b8c43d7a71
C++: convert RangeAnalysis to float
2023-01-12 16:38:09 -05:00
Robert Marsh
eebada46b1
C++: rename to RagneAnalysisStage.qll
2023-01-12 16:38:08 -05:00
Robert Marsh
edbe95837f
Convert RangeAnalysis to trivial parameterized mod
2023-01-12 16:38:08 -05:00
Jami Cogswell
c3a1d088ac
Java: update change note
2023-01-12 16:32:52 -05:00
Jami Cogswell
a39b2aaaac
Java: remove endsWith test case
2023-01-12 16:24:57 -05:00
Jami Cogswell
ffb267937a
Java: add endsWith additionalTaintStep to ConditionalBypassFlowConfig
2023-01-12 16:24:05 -05:00
Sarita Iyer
4acd1ababe
Update docs/codeql/CONTRIBUTING.MD
...
Co-authored-by: Felicity Chapman <felicitymay@github.com >
2023-01-12 15:57:43 -05:00
Arthur Baars
af8cb65b2e
Merge pull request #11877 from aibaars/ql-ql-cross
...
QL/Ruby: include OS version in cache keys for Rust binaries
2023-01-12 20:02:25 +01:00
Michael Nebel
fd80974210
Java: Download databases using the gh api instead of lgtm.
2023-01-12 19:30:12 +01:00
Michael Nebel
c1c0ff4308
C#: Update database stats.
2023-01-12 19:06:29 +01:00
Michael Nebel
1384aa669b
C#: Add change note.
2023-01-12 19:06:29 +01:00
