Mathias Vorreiter Pedersen
|
c35b385383
|
C++: Fix 'implicit this' warning.
|
2022-03-22 13:32:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
93346a574f
|
C++: Add a new 'Location.isBefore' predicate that also considers columns.
|
2022-03-22 12:16:53 +00:00 |
|
Mathias Vorreiter Pedersen
|
5cdf0b5ee2
|
Merge pull request #8507 from geoffw0/sde-perf
C++: Make getUnderlyingType nomagic
|
2022-03-22 11:12:44 +00:00 |
|
Geoffrey White
|
5d5904d6c8
|
C++: Autoformat.
|
2022-03-22 10:55:04 +00:00 |
|
Robert Marsh
|
23e9963a19
|
Merge branch 'main' into rdmarsh2/ir-global-vars
|
2022-03-21 16:13:40 -04:00 |
|
Robert Marsh
|
5bb6441047
|
C++: Fix consistency issues with aggregate inits
|
2022-03-21 16:01:24 -04:00 |
|
github-actions[bot]
|
a3e74efc21
|
Post-release preparation for codeql-cli-2.8.4
|
2022-03-21 19:36:47 +00:00 |
|
Robert Marsh
|
a36c6f2dab
|
C++: restrict IR generation to global vars w inits
|
2022-03-21 14:26:29 -04:00 |
|
Robert Marsh
|
c27dfb5120
|
C++: IR translation for global variable inits
|
2022-03-21 13:17:05 -04:00 |
|
github-actions[bot]
|
dedc8c2254
|
Release preparation for version 2.8.4
|
2022-03-21 13:25:49 +00:00 |
|
Geoffrey White
|
97fef4b3a5
|
C++: Switch strategy to nomagic.
|
2022-03-21 12:58:06 +00:00 |
|
Geoffrey White
|
7f825c12eb
|
C++: Make getUnderlyingType 'nomagic'.
|
2022-03-21 11:12:18 +00:00 |
|
Geoffrey White
|
ff3bedcab9
|
C++: Fix expensive getWideCharType().
|
2022-03-17 14:41:57 +00:00 |
|
Tom Hvitved
|
79ea2a3a9c
|
Data flow: Sync files
|
2022-03-17 14:03:58 +01:00 |
|
Dave Bartolomeo
|
606e015afb
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysis.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:35 -04:00 |
|
Dave Bartolomeo
|
e275ab3951
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:15 -04:00 |
|
Dave Bartolomeo
|
6adc11b10e
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:08 -04:00 |
|
Dave Bartolomeo
|
b36281dd8c
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:02 -04:00 |
|
Dave Bartolomeo
|
db4963ada0
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:06:54 -04:00 |
|
Jeroen Ketema
|
7a9a9d833a
|
Merge pull request #8435 from jketema/all-the-barriers
Add flow state versions of isBarrierIn, isBarrierOut, and isBarrierGuard
|
2022-03-16 15:50:19 +01:00 |
|
Dave Bartolomeo
|
571c034549
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 10:14:45 -04:00 |
|
Jeroen Ketema
|
2894bb0933
|
C++: Use correct change note file name format
|
2022-03-15 23:21:14 +01:00 |
|
Jeroen Ketema
|
638b2cac04
|
C++: Add change note on _Noreturn/noreturn in C11
|
2022-03-15 23:21:14 +01:00 |
|
Jeroen Ketema
|
1a1c34e1be
|
C++: Handle C11 _Noreturn in DefaultOptions
|
2022-03-15 23:21:14 +01:00 |
|
Dave Bartolomeo
|
62553ab089
|
Merge remote-tracking branch 'upstream/main' into semantic-scratch
|
2022-03-15 15:53:50 -04:00 |
|
Erik Krogh Kristensen
|
b45f56ac08
|
Merge pull request #8431 from erik-krogh/deadCode
Delete dead code
|
2022-03-15 20:09:06 +01:00 |
|
Dave Bartolomeo
|
f22c91b762
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeUtils.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-15 15:01:32 -04:00 |
|
Dave Bartolomeo
|
c8a0a86354
|
Fix Code Scanning warning
|
2022-03-15 14:53:43 -04:00 |
|
Dave Bartolomeo
|
7623b3d04d
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticType.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-15 14:49:20 -04:00 |
|
Dave Bartolomeo
|
ea9a5b782c
|
Don't bother hiding toString() and getLocation()
|
2022-03-15 14:47:26 -04:00 |
|
Mathias Vorreiter Pedersen
|
05758181bb
|
Merge pull request #7884 from rdmarsh2/rdmarsh2/template-implicit-copy-constructor
C++: fix hasImplicitCopyConstructor for templates
|
2022-03-15 15:32:05 +00:00 |
|
Jeroen Ketema
|
157a36bc4f
|
Use node variable in all disjuncts
|
2022-03-15 11:55:35 +01:00 |
|
Jeroen Ketema
|
9a0e94f389
|
Add flow state versions of isBarrierIn, isBarrierOut, and isBarrierGuard
|
2022-03-15 11:55:34 +01:00 |
|
Dave Bartolomeo
|
c9fbf83c1c
|
Working range analysis for C++
|
2022-03-15 06:02:54 -04:00 |
|
Dave Bartolomeo
|
f53a66b52a
|
Add working sign and modulus analysis
|
2022-03-15 05:16:23 -04:00 |
|
Erik Krogh Kristensen
|
c7509c4dd3
|
Merge branch 'main' into deadCode
|
2022-03-15 09:19:14 +01:00 |
|
Robert Marsh
|
143b79c0cc
|
C++/WIP: Generate IR for global variables
|
2022-03-14 17:12:30 -04:00 |
|
Arthur Baars
|
6a74e761c8
|
Merge pull request #8398 from github/post-release-prep/codeql-cli-2.8.3
Post-release preparation for codeql-cli-2.8.3
|
2022-03-14 21:05:09 +01:00 |
|
Erik Krogh Kristensen
|
3bf5e06d53
|
delete all dead code
|
2022-03-14 13:03:31 +01:00 |
|
Jeroen Ketema
|
4c2081b7fc
|
Merge pull request #8401 from jketema/taint-flow
Extend taint tracking interface with flow states
|
2022-03-14 12:06:10 +01:00 |
|
Erik Krogh Kristensen
|
bbb2847ec1
|
Merge pull request #8323 from erik-krogh/acronyms
Enforcing consistent casing of acronyms
|
2022-03-14 11:38:25 +01:00 |
|
Jeroen Ketema
|
c832b21fbe
|
Add change notes for changes to the taint tracking library
|
2022-03-14 10:38:48 +01:00 |
|
Robert Marsh
|
5c04516179
|
Merge pull request #8390 from redsun82/remove-unique-from-uuid
C++: Remove uniqueness constraint from uuid
|
2022-03-11 11:08:34 -05:00 |
|
Erik Krogh Kristensen
|
1e365611fc
|
fix all other implicit-this warnings introduced by the acronym patch
|
2022-03-11 13:22:07 +01:00 |
|
Erik Krogh Kristensen
|
2e2970128e
|
fix typo in change-note
|
2022-03-11 13:16:34 +01:00 |
|
Jeroen Ketema
|
cd28f09ae0
|
Extend taint tracking interface with flow states
|
2022-03-11 11:50:35 +01:00 |
|
Jeroen Ketema
|
80c6253a57
|
C++: Remove private imports unused after deprecated cleanup
|
2022-03-11 11:47:44 +01:00 |
|
Erik Krogh Kristensen
|
1a275a32f7
|
add change-notes
|
2022-03-11 11:18:14 +01:00 |
|
Erik Krogh Kristensen
|
69353bb014
|
patch upper-case acronyms to be PascalCase
|
2022-03-11 11:10:33 +01:00 |
|
Erik Krogh Kristensen
|
122ab6e6d8
|
C#: fix some ql/non-doc-block warnings
|
2022-03-11 11:02:58 +01:00 |
|