Geoffrey White
|
b296b0150a
|
C++: Some enhancements to SensitiveExprs.qll as well, inspired by csharp.
|
2022-03-31 10:24:17 +01:00 |
|
Geoffrey White
|
146318dbc1
|
Merge pull request #8580 from geoffw0/privdata
C++: Port PrivateData.qll from C# and use it in cpp/cleartext-transmission
|
2022-03-31 10:12:46 +01:00 |
|
Robert Marsh
|
3ce7c521d1
|
C++: fix IR global var init for string constants
|
2022-03-30 14:01:59 -04:00 |
|
Robert Marsh
|
fb0a848e5a
|
C++: fix inconsistency with global var constructor
|
2022-03-30 13:32:02 -04:00 |
|
Dave Bartolomeo
|
19789fa738
|
Merge remote-tracking branch 'upstream/main' into semantic-scratch
|
2022-03-30 06:39:14 -04:00 |
|
Robert Marsh
|
9442be1a27
|
Autoformat
|
2022-03-29 16:23:57 -04:00 |
|
Geoffrey White
|
e04298d532
|
C++: Delete experimental PrivateData.qll.
|
2022-03-29 15:26:46 +01:00 |
|
Dave Bartolomeo
|
c9f79047b3
|
Improve QLDoc
|
2022-03-29 07:27:45 -04:00 |
|
Dave Bartolomeo
|
01c747ccb7
|
Remove debugging code
|
2022-03-29 07:14:51 -04:00 |
|
Geoffrey White
|
b94ade3bdd
|
C++: Improve the regexps.
|
2022-03-29 10:03:58 +01:00 |
|
Geoffrey White
|
393819837c
|
C++: Convert to regexp.
|
2022-03-29 09:33:16 +01:00 |
|
Robert Marsh
|
3c1ec5a595
|
Merge branch 'main' into rdmarsh2/ir-global-vars
|
2022-03-28 16:06:17 -04:00 |
|
Robert Marsh
|
af6a4f31e7
|
C++: TranslatedInstructionContainer to RootElement
|
2022-03-28 15:20:48 -04:00 |
|
Robert Marsh
|
5811d0b2ad
|
C++: add AliasedDefinition to IR global var inits
|
2022-03-28 14:53:43 -04:00 |
|
Geoffrey White
|
611b820cbc
|
C++: Change notes.
|
2022-03-28 14:27:21 +01:00 |
|
Geoffrey White
|
18f80eb3e3
|
C++: Loosen a few constraints slightly.
|
2022-03-28 11:16:57 +01:00 |
|
Geoffrey White
|
850646b8ba
|
C++: Deprecate the experimental version, forward to the new one.
|
2022-03-28 11:16:56 +01:00 |
|
Geoffrey White
|
202b6d44a5
|
C++: Update SensitiveExprs.qll to clarify the relationship.
|
2022-03-28 10:54:56 +01:00 |
|
Geoffrey White
|
0453c0f0a1
|
C++: Convert to C++ and make it look more like SensitiveExprs.qll.
|
2022-03-28 10:54:55 +01:00 |
|
Geoffrey White
|
ec98269a24
|
C++: Copy PrivateData.qll from csharp.
|
2022-03-28 10:54:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
c115c68247
|
Merge pull request #8542 from MathiasVP/public-iterated-dominance-frontier
C++: Use `iterated (post)dominance frontier` algorithm in `IRBlock`
|
2022-03-25 11:51:15 +00:00 |
|
Jeroen Ketema
|
b18b86b2e2
|
C++: Remove check for value-less literals in constructors
|
2022-03-25 11:43:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
80630972b1
|
Merge branch 'main' into public-iterated-dominance-frontier
|
2022-03-24 12:50:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
c76a323246
|
C++/C#: Sync identical files.
|
2022-03-23 17:27:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
1b4fb45089
|
C++: Use the iterated (post)dominance frontier algorithm in the public '(post)dominanceFrontier' predicate on 'IRBlocks'.
|
2022-03-23 17:27:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
8b8f0ca6e5
|
Merge pull request #8479 from geoffw0/widecharperf
C++: Fix expensive getWideCharType().
|
2022-03-23 14:22:17 +00:00 |
|
Geoffrey White
|
9ae1ec69dc
|
C++: Autoformat.
|
2022-03-23 13:37:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
a81024a485
|
Merge pull request #8525 from MathiasVP/more-precise-is-before
C++: Consider columns in `Location.isBefore`
|
2022-03-23 11:04:34 +00:00 |
|
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 |
|