Skip to content

Revert "C++: Range analysis measure bounds" #20774

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
esteffin wants to merge 74 commits into from
Closed

Revert "C++: Range analysis measure bounds" #20774

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
74 commits
Select commit Hold shift + click to select a range
7ad570b
Pretty print models in test
owen-mc Oct 29, 2025
fef08af
Python: Remove points-to to from `ControlFlowNode`
tausbn Oct 29, 2025
b434ce4
Python: Get rid of `getLiteralValue`
tausbn Oct 30, 2025
b93ce98
Python: Remove points-to from `Expr`
tausbn Oct 30, 2025
820d8e7
Python: Remove points-to from `Module`
tausbn Oct 30, 2025
e702d3b
Python: Add change note
tausbn Oct 30, 2025
f410c3c
C#: Update Microsft.Build, Roslyn and Binlog dependencies.
michaelnebel Oct 31, 2025
0484be6
C#: Update lock files.
michaelnebel Oct 31, 2025
ad02559
C#: Fix Binlog API breaking change.
michaelnebel Oct 31, 2025
ee6dd0f
C#: Update integration tests expected output.
michaelnebel Oct 31, 2025
09bef0f
Initial plan
Copilot Oct 31, 2025
6011ecb
Add ConstAccess class with getConst() predicate and test cases
Copilot Oct 31, 2025
ad51b61
Fix trailing whitespace in documentation comments
Copilot Oct 31, 2025
ab2c2ef
C#: Update isUnreachableInCall in dataflow to use Guards library.
aschackmull Oct 31, 2025
f6dfcf1
C#: Delete splitting-aware controls implementation.
aschackmull Oct 29, 2025
4de564e
C#: Replace reference to controlsBlock and simplify.
aschackmull Oct 31, 2025
eb93e8e
C#: Deprecate controlsBlock.
aschackmull Oct 31, 2025
aaa3b1b
Rust: Add a couple of new test cases.
geoffw0 Oct 31, 2025
47019f7
Rust: Define NumericType, IntegralType and FloatingPointType in Built…
geoffw0 Oct 30, 2025
6433bec
Rust: Add a test for BuiltinTypes.
geoffw0 Oct 30, 2025
52397f0
Rust: Add numeric type barrier for SQL injection.
geoffw0 Oct 31, 2025
2d4369a
Rust: Add numeric type barrier for log injection.
geoffw0 Oct 31, 2025
33efed9
Rust: Add integral type barrier for Regex injection.
geoffw0 Oct 31, 2025
34f7595
Rust: Change note.
geoffw0 Oct 31, 2025
8548c16
Rust: Autoformat.
geoffw0 Oct 31, 2025
c381153
Apply suggestions from code review
geoffw0 Nov 3, 2025
c1ede51
C#: Add change note.
michaelnebel Nov 3, 2025
0ca62ca
Fix copilot implementation
hvitved Nov 3, 2025
4b3a1c5
Rust: Move a model file into subdirectory.
geoffw0 Nov 3, 2025
1b435ed
Rust: Move another model file into subdirectory.
geoffw0 Nov 3, 2025
8a2c117
Rust: Move models between core.model.yml and alloc.model.yml.
geoffw0 Nov 3, 2025
144fa7d
Rust: Deduplicate some models.
geoffw0 Nov 3, 2025
5af8378
Rust: Move a few more models.
geoffw0 Nov 3, 2025
687cc6f
Rust: Re-arrange models slightly.
geoffw0 Nov 3, 2025
5059768
Add 'code-quality-extended' to query packs list
felickz Nov 3, 2025
4346c61
Initial plan
Copilot Nov 3, 2025
7b6b703
Add quality tag to Actions maintainability query
Copilot Nov 3, 2025
0fc2502
Revert query file change and fix script to handle empty code-quality-…
Copilot Nov 3, 2025
20e23f8
Merge pull request #2 from felickz/copilot/fix-1760475-601388369-59cd…
felickz Nov 3, 2025
56e98c4
Rust: Accept trivial changes to test .expected files.
geoffw0 Nov 3, 2025
c4d23d1
Actions: dont fail if no JS/TS code was found
asgerf Nov 4, 2025
105213d
Update javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
asgerf Nov 4, 2025
077bcf6
Merge pull request #20740 from geoffw0/rustbarriers
geoffw0 Nov 4, 2025
81bb07a
JS: Fix check to account for override in tests
asgerf Nov 4, 2025
d297dcd
Merge pull request #20752 from asgerf/actions/dont-fail-if-no-js
asgerf Nov 4, 2025
f6eabc2
Merge pull request #20722 from github/tausbn/python-move-points-to-pr…
yoff Nov 4, 2025
7ab25b5
C#: Change note.
aschackmull Nov 4, 2025
41bf910
Swift: Update supported versions in the documentation
jketema Nov 4, 2025
a29c9af
Update swift/third_party/resources/updating.md
jketema Nov 4, 2025
4014df9
Post-release preparation for codeql-cli-2.23.4
invalid-email-address Nov 4, 2025
aac10c1
Merge branch 'main' into patch-4
felickz Nov 4, 2025
5d9d6b9
Merge pull request #20757 from jketema/swift-doc-update
jketema Nov 5, 2025
68cd9ab
Swift: Update to Swift 6.2.1
jketema Nov 5, 2025
51475df
CODEOWNERS: Add code-scanning-language-coverage team to all extractors
IdrissRio Nov 5, 2025
02fd1dc
Merge pull request #20738 from aschackmull/csharp/guards-misc
aschackmull Nov 5, 2025
85175f6
Merge pull request #20714 from owen-mc/java/pretty-print-models-quant…
owen-mc Nov 5, 2025
046db04
Merge pull request #20758 from github/post-release-prep/codeql-cli-2.…
mbg Nov 5, 2025
5ec0494
Merge pull request #20731 from michaelnebel/csharp/updatedependencies
michaelnebel Nov 5, 2025
db7b187
Rust: Add more variables tests
hvitved Nov 5, 2025
a19f49b
Swift: Update resources
jketema Nov 5, 2025
6476f60
Swift: Add change note
jketema Nov 5, 2025
a79c383
Swift: update `load.bzl`
jketema Nov 5, 2025
62e7768
Rust: Move async_std::io models.
geoffw0 Nov 5, 2025
5eac0f7
Merge pull request #20759 from jketema/swift-6.2.1
jketema Nov 5, 2025
c80301d
Rust: Handle variables introduced in if-let guards
hvitved Nov 5, 2025
1ce787a
Merge branch 'main' into mv3
geoffw0 Nov 6, 2025
f8cde74
Merge pull request #20736 from github/copilot/add-constaccess-class
hvitved Nov 6, 2025
680870d
Rust: Fix after merge.
geoffw0 Nov 6, 2025
b4b444d
Merge pull request #20746 from geoffw0/mv3
geoffw0 Nov 6, 2025
0d76d58
CODEOWNERS: Add Go-related folders for extractor and autobuilder
IdrissRio Nov 6, 2025
000f33f
Merge pull request #20765 from hvitved/rust/variable-if-let-guard
hvitved Nov 6, 2025
7c2b1a2
Merge pull request #20760 from github/idrissrio/codeowners-lang-coverage
IdrissRio Nov 7, 2025
3c20b95
Merge pull request #20747 from felickz/patch-4
RasmusWL Nov 7, 2025
0a81700
Revert "C++: Range analysis measure bounds"
esteffin Nov 7, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 13 additions & 3 deletions CODEOWNERS
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,19 +5,29 @@
/actions/ @github/codeql-dynamic
/cpp/ @github/codeql-c-analysis
/csharp/ @github/codeql-csharp
/csharp/autobuilder/Semmle.Autobuild.Cpp @github/codeql-c-extractor
/csharp/autobuilder/Semmle.Autobuild.Cpp.Tests @github/codeql-c-extractor
/csharp/autobuilder/Semmle.Autobuild.Cpp @github/codeql-c-extractor @github/code-scanning-language-coverage
/csharp/autobuilder/Semmle.Autobuild.Cpp.Tests @github/codeql-c-extractor @github/code-scanning-language-coverage
/go/ @github/codeql-go
/go/codeql-tools/ @github/codeql-go @github/code-scanning-language-coverage
/go/downgrades/ @github/codeql-go @github/code-scanning-language-coverage
/go/extractor/ @github/codeql-go @github/code-scanning-language-coverage
/go/extractor-smoke-test/ @github/codeql-go @github/code-scanning-language-coverage
/go/ql/test/extractor-tests/ @github/codeql-go @github/code-scanning-language-coverage
/java/ @github/codeql-java
/javascript/ @github/codeql-javascript
/javascript/extractor/ @github/codeql-javascript @github/code-scanning-language-coverage
/python/ @github/codeql-python
/python/extractor/ @github/codeql-python @github/code-scanning-language-coverage
/ql/ @github/codeql-ql-for-ql-reviewers
/ruby/ @github/codeql-ruby
/ruby/extractor/ @github/codeql-ruby @github/code-scanning-language-coverage
/rust/ @github/codeql-rust
/rust/extractor/ @github/codeql-rust @github/code-scanning-language-coverage
/shared/ @github/codeql-shared-libraries-reviewers
/swift/ @github/codeql-swift
/swift/extractor/ @github/codeql-swift @github/code-scanning-language-coverage
/misc/codegen/ @github/codeql-swift
/java/kotlin-extractor/ @github/codeql-kotlin
/java/kotlin-extractor/ @github/codeql-kotlin @github/code-scanning-language-coverage
/java/ql/test-kotlin1/ @github/codeql-kotlin
/java/ql/test-kotlin2/ @github/codeql-kotlin

Expand Down
2 changes: 1 addition & 1 deletion actions/ql/lib/qlpack.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: codeql/actions-all
version: 0.4.20
version: 0.4.21-dev
library: true
warnOnImplicitThis: true
dependencies:
Expand Down
2 changes: 1 addition & 1 deletion actions/ql/src/qlpack.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: codeql/actions-queries
version: 0.6.12
version: 0.6.13-dev
library: false
warnOnImplicitThis: true
groups: [actions, queries]
Expand Down
2 changes: 1 addition & 1 deletion cpp/ql/lib/qlpack.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: codeql/cpp-all
version: 6.0.1
version: 6.0.2-dev
groups: cpp
dbscheme: semmlecode.cpp.dbscheme
extractor: cpp
Expand Down
Loading
Loading