fix: [pull] main from github:main#10

Open

pull[bot] wants to merge 552 commits intomajacQ:mainfrom

This pull request is big! We're only showing the most recent 250 commits

Commits on Apr 14, 2021

C++: Make sure missingGuardAgainstOverflow (and underflow) holds when range analysis fails to deduce a bound.
MathiasVP
committed
C++: Fix duplicate names.
MathiasVP
committed
Merge pull request #5578 from MathiasVP/ast-flow-smart-pointers
jbj
authored
C++: Make exprMightOverflowPositively/exprMightOverFlowNegatively hold for unanalyzable expressions. This hopefully means that expressions that do not satisfy these predicates will never overflow/u…
MathiasVP
committed
Merge pull request #5677 from MathiasVP/fix-duplicate-ids-in-experimental
geoffw0
authored
Fix formatting
Dave Bartolomeo
committed
Workflows: Remove dry-run flag for labeller
aeisenberg
authored
Python: Fix bad join in `total_cost`
tausbn
authored
Merge pull request #5659 from github/aeisenberg/mark-as-stale
aeisenberg
authored
Added comments for tests
artem-smotrakov
committed
Python: Prevent bad join in `isinstanceEvaluatesTo`
tausbn
authored
Merge pull request #5643 from dbartol/smart-pointers/side-effect-refactor
Robert Marsh
authored
Update InsufficientControlFlowManagementAfterRefactoringTheCode.ql
ihsinme
authored
Merge pull request #5675 from erik-krogh/libXss
codeql-ci
authored

Commits on Apr 15, 2021

Commits on Apr 16, 2021

Commits on Apr 17, 2021

Java: Fix invalid id in experimental query
MathiasVP
authored

Commits on Apr 18, 2021

Merge branch 'main' into ihsinme-patch-259
ihsinme
authored

Commits on Apr 19, 2021

Commits on Apr 20, 2021

Commits on Apr 21, 2021

Commits on Apr 22, 2021

Commits on Apr 23, 2021

Commits on Apr 26, 2021

Commits on Apr 27, 2021

Commits on Apr 28, 2021