Files

.devcontainer
.github
.vscode
actions
change-notes
config
cpp
- autobuilder
- config
- downgrades
- old-change-notes
  - 2020-09-29-range-analysis-rollup.md
  - 2020-10-21-erroneous-types.md
  - 2020-10-21-size-check-queries.md
  - 2020-11-02-unused-local-variable.md
  - 2020-11-05-formatting-function.md
  - 2020-11-05-private-models.md
  - 2020-11-12-unsafe-use-of-this.md
  - 2020-11-27-downgrade-to-recommendation.md
  - 2021-02-04-unsigned-difference-expression-compared-zero.md
  - 2021-02-24-memset-may-be-deleted.md
  - 2021-03-01-fluent-interface-data-flow.md
  - 2021-03-11-failed-extractions.md
  - 2021-03-11-overflow-abs.md
  - 2021-03-17-av-rule-79.md
  - 2021-04-06-assign-where-compare-meant.md
  - 2021-04-09-unsigned-difference-expression-compared-zero.md
  - 2021-04-13-arithmetic-queries.md
  - 2021-04-21-return-stack-allocated-object.md
  - 2021-04-26-more-sound-expr-might-overflow.md
  - 2021-05-10-comparison-with-wider-type.md
  - 2021-05-12-uncontrolled-arithmetic.md
  - 2021-05-14-uncontrolled-allocation-size.md
  - 2021-05-18-static-buffer-overflow.md
  - 2021-05-19-weak-cryptographic-algorithm.md
  - 2021-05-20-incorrect-allocation-error-handling.md
  - 2021-05-20-ref-qualifiers.md
  - 2021-05-21-unsafe-strncat.md
  - 2021-06-10-cleartext-transmission.md
  - 2021-06-10-std-types.md
  - 2021-06-21-weak-cryptographic-algorithm.md
  - 2021-06-22-sql-tainted.md
  - 2021-06-24-dataflow-implicit-reads.md
  - 2021-06-24-uncontrolled-arithmetic.md
  - 2021-06-30-wrong-type-format-argument.md
  - 2021-07-13-cleartext-storage-file.md
  - 2021-07-20-toctou-race-condition.md
  - 2021-07-27-uncontrolled-arithmetic.md
  - 2021-07-29-virtual-function-declaration-specifiers.md
  - 2021-08-10-has-trailing-return-type.md
  - 2021-08-17-has-c-linkage.md
  - 2021-08-23-ctime-weaken-claims.md
  - 2021-08-23-getPrimaryQlClasses.md
  - 2021-08-24-implicit-downcast-from-bitfield.md
  - 2021-08-31-range-analysis-upper-bound.md
  - 2021-09-13-overflow-static.md
  - 2021-09-27-command-line-injection.md
  - 2021-09-27-overflow-static.md
  - 2021-10-01-improper-null-termination.md
  - 2021-10-07-cleartext-transmission.md
  - 2021-10-07-extraction-errors.md
- ql
- BUILD.bazel
csharp
docs
go
java
javascript
misc
python
ql
ruby
rust
shared
swift
.bazelrc
.bazelrc.internal
.bazelversion
.clang-format
.editorconfig
.git-blame-ignore-revs
.gitattributes
.gitignore
.lfsconfig
.lgtm.yml
.pre-commit-config.yaml
BUILD.bazel
CODEOWNERS
CODE_OF_CONDUCT.md
CONTRIBUTING.md
Cargo.lock
Cargo.toml
LICENSE
MODULE.bazel
README.md
codeql-workspace.yml
conftest.py
defs.bzl
rust-toolchain.toml

2021-04-26-more-sound-expr-might-overflow.md

Cannot retrieve latest commit at this time.

lgtm,codescanning

The exprMightOverflowPositively and exprMightOverflowNegatively predicates from the SimpleRangeAnalysis library now recognize more expressions that might overflow.