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
Michael Nebel
5e89119b3d
C#: Add upgrade- and downgrade scripts for unsigned right shift operators.
2023-01-12 19:06:29 +01:00
Michael Nebel
529be7ef18
C++: Sync files.
2023-01-12 19:06:29 +01:00
Michael Nebel
5c466f3319
Java: Sync files and update other relavant files related to the new naming of shift.
2023-01-12 19:06:29 +01:00
Michael Nebel
49a87e152a
C#: Add unsigned right shift operator test case.
2023-01-12 19:06:28 +01:00
Michael Nebel
30738103f0
C#: Add unsigned right shift operator class.
2023-01-12 19:06:28 +01:00
Michael Nebel
148dc6de5a
C#: Rename shift operator classes.
2023-01-12 19:06:28 +01:00
Michael Nebel
f48eda829f
C#: Rename some of the TBinarySignOperation constructors.
2023-01-12 19:06:28 +01:00
Michael Nebel
d92b226041
C#: Add test example for unsigned right shift assignment in intermediate representation.
2023-01-12 19:06:28 +01:00
Michael Nebel
5bb8f8ed5c
C#: Support for unsigned shift right in the experimental intermediate representation.
2023-01-12 19:06:28 +01:00
Michael Nebel
f74c7c28ae
C#: Auto format test file and update expected test output.
2023-01-12 19:06:28 +01:00
Michael Nebel
0f032c5be9
C#: Sign analysis testcase for unsigned right shift.
2023-01-12 19:06:28 +01:00
Michael Nebel
2568318460
C#: Sign analysis support for unsigned right shift.
2023-01-12 19:06:28 +01:00
Michael Nebel
d06a877709
C#: Introduce test cases and expected result for unsigned right shift.
2023-01-12 19:06:28 +01:00
Michael Nebel
9eb7933778
C#: Implement library support for unsigned right shift.
2023-01-12 19:06:28 +01:00
Michael Nebel
99b7bc3b73
C#: Implement extractor support for unsigned right shift.
2023-01-12 19:06:28 +01:00
Michael Nebel
14c92e6eb3
C#: Add expressions kind including dummy stats for unsigned right shift and unsigned right shift assigment.
2023-01-12 19:06:28 +01:00
Michael Nebel
902b0a60d0
C#: Fixup ShiftExpr rename.
2023-01-12 19:06:28 +01:00
Michael Nebel
36980bbf42
C#: Rename shift expression classes.
2023-01-12 19:06:27 +01:00
Michael Nebel
a9f1c95513
C#: Rename shift assignment expression classes.
2023-01-12 19:06:27 +01:00
Chris Smowton
8aa2c23ba8
Merge pull request #11700 from JLLeitschuh/doc/JLL/improve-java-unsafe-deserialization-documentation
...
[Java] Document fixes for deserialization vulnerabilities by framework
2023-01-12 18:04:13 +00:00
Chris Smowton
09d8a50494
Spelling
2023-01-12 17:46:00 +00:00
Michael Nebel
aefb43324b
Merge pull request #11738 from michaelnebel/go/maddataextensions
...
Go: Models as Data using extensions.
2023-01-12 18:42:35 +01:00
Erik Krogh Kristensen
8f9ad1f5ba
Merge pull request #11872 from erik-krogh/jsAst
...
JS: Fixup some problems in PrintAST
2023-01-12 16:56:56 +01:00
