Mathias Vorreiter Pedersen
|
2e2913b921
|
Merge pull request #7839 from rdmarsh2/rdmarsh2/ir-initializer-inheritance-fix
C++: fix IR generation for constructor base inits when no constructor is present.
|
2022-02-04 10:32:57 +00:00 |
|
Robert Marsh
|
55cbff7614
|
C++: fix for constructor init without constructor
|
2022-02-03 13:44:02 -05:00 |
|
Jeroen Ketema
|
0b9b6d7b98
|
Address review comments
|
2022-02-03 12:09:18 +01:00 |
|
Jeroen Ketema
|
e1ca5dd120
|
Simplify text in change note
|
2022-02-03 10:36:30 +01:00 |
|
Tom Hvitved
|
6bb71f051b
|
Merge pull request #7791 from hvitved/dataflow/inline-local-flow-star
Data flow: Inline `local(Expr|Instruction)?(Flow|Taint)`
|
2022-02-03 09:02:43 +01:00 |
|
Jeroen Ketema
|
f32500306a
|
Address review comments
|
2022-02-02 17:24:55 +01:00 |
|
Arthur Baars
|
33b97f3e0c
|
Update synchronized files
|
2022-02-02 13:30:45 +01:00 |
|
Jeroen Ketema
|
5b8f56dcc6
|
Add change notes
|
2022-02-02 10:07:38 +01:00 |
|
Tom Hvitved
|
f2352d8272
|
Data flow: Inline local(Expr|Instruction)?(Flow|Taint)
Computing a full transitive closure is often bad; by inlining all calls we are
providing more context to the QL optimizer.
|
2022-01-31 14:33:41 +01:00 |
|
Geoffrey White
|
0396a84c3c
|
C++: Remove empty predicate / extends.
|
2022-01-28 17:11:38 +00:00 |
|
Geoffrey White
|
af09dd8af1
|
C++: Fixes to gets models.
|
2022-01-28 16:04:23 +00:00 |
|
Geoffrey White
|
036e1495b8
|
Merge branch 'main' into getslocal
|
2022-01-28 15:58:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
b3f4357dc8
|
Merge pull request #7742 from geoffw0/clrtxt6
C++: Upgrade cpp/cleartext-storage-buffer
|
2022-01-27 14:40:40 +00:00 |
|
Geoffrey White
|
47528dd8c0
|
C++: Autoformat.
|
2022-01-27 12:56:16 +00:00 |
|
Geoffrey White
|
f090a3b440
|
C++: Add to and clarify some taint library QLDoc.
|
2022-01-27 11:26:00 +00:00 |
|
github-actions[bot]
|
634134f283
|
Release preparation for version 2.8.0
|
2022-01-27 10:40:20 +00:00 |
|
Dave Bartolomeo
|
d069d91bf5
|
Merge pull request #6601 from dbartol/dbartol/side-effect-reorder/work
Fix order of IR call side effects
|
2022-01-26 17:02:02 -05:00 |
|
Edoardo Pirovano
|
1b539eb4dc
|
Merge branch rc/3.4 into main
|
2022-01-25 16:22:01 +00:00 |
|
Dave Bartolomeo
|
9183a4d7e7
|
Merge remote-tracking branch 'upstream/main' into dbartol/side-effect-reorder/work
|
2022-01-24 15:56:38 -05:00 |
|
Geoffrey White
|
588447d596
|
C++: Fix up isParameterDeref.
|
2022-01-24 11:06:24 +00:00 |
|
Geoffrey White
|
4326e6f706
|
C++: Split 'gets' model and make it a local source.
|
2022-01-21 17:29:49 +00:00 |
|
Erik Krogh Kristensen
|
f500bccbe4
|
add explicit this to member call
|
2022-01-21 11:46:33 +01:00 |
|
Erik Krogh Kristensen
|
a77b2b0209
|
Merge pull request #7668 from erik-krogh/simplify-casts
simplify expressions that could be type-casts
|
2022-01-20 15:20:18 +01:00 |
|
Geoffrey White
|
b230681bc8
|
Merge pull request #7650 from geoffw0/clrtxt3
C++: Improve cpp/cleartext-transmission
|
2022-01-20 13:21:54 +00:00 |
|
github-actions[bot]
|
ab218421da
|
Post-release preparation for codeql-cli-2.7.6
|
2022-01-20 12:59:20 +00:00 |
|
Erik Krogh Kristensen
|
4e8e3a7420
|
simplify expressions that could be type-casts
|
2022-01-20 10:41:35 +01:00 |
|
github-actions[bot]
|
4ce8ccc52b
|
Release preparation for version 2.7.6
|
2022-01-20 08:21:18 +00:00 |
|
Geoffrey White
|
330b4c3704
|
C++: Generalize hasSocketInput a little to include fgets and friends.
|
2022-01-19 13:00:35 +00:00 |
|
Robert Marsh
|
024bd27485
|
Merge pull request #7578 from MathiasVP/store-dest-should-not-be-use
C++: Store destinations should not be uses for dataflow SSA
|
2022-01-18 11:36:15 -05:00 |
|
Mathias Vorreiter Pedersen
|
cb0cc8d859
|
Merge pull request #7625 from geoffw0/nullterm4
C++: Fix some code duplication.
|
2022-01-18 11:18:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
e1598aba5e
|
C++: Fix spelling.
|
2022-01-18 09:44:36 +00:00 |
|
Anders Schack-Mulligen
|
fff3b5c5b4
|
Dataflow: Add qldoc.
|
2022-01-18 10:39:55 +01:00 |
|
Anders Schack-Mulligen
|
71e39353ca
|
Dataflow: Sync.
|
2022-01-18 10:36:52 +01:00 |
|
Anders Schack-Mulligen
|
dfa79f6119
|
Dataflow: Sync.
|
2022-01-18 10:30:09 +01:00 |
|
Chris Smowton
|
2c37885f6e
|
Sync dataflow
|
2022-01-18 10:30:09 +01:00 |
|
Geoffrey White
|
d475101286
|
C++: Fix some code duplication.
|
2022-01-17 16:26:22 +00:00 |
|
Tom Hvitved
|
3c837c322b
|
Merge pull request #7514 from github/post-release-prep/codeql-cli-2.7.5
Post-release preparation for codeql-cli-2.7.5
|
2022-01-17 12:40:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
78642aaae2
|
Merge pull request #7593 from MathiasVP/fix-join-order-in-get-conversion-type
C++: Fix join order in 'getConversionType4'
|
2022-01-17 11:01:08 +00:00 |
|
Robert Marsh
|
5df6bcf952
|
C++: change note for hex format range analysis
|
2022-01-14 13:18:58 -05:00 |
|
Robert Marsh
|
9de63b2812
|
Merge branch 'main' into rdmarsh2/cpp/hex-format-range-analysis
Accept test changes from query split
|
2022-01-14 12:53:52 -05:00 |
|
Andrew Eisenberg
|
fbb5d7196f
|
Merge branch 'main' into post-release-prep/codeql-cli-2.7.5
|
2022-01-14 08:23:43 -08:00 |
|
Mathias Vorreiter Pedersen
|
25253c7b8d
|
C++: Don't count write operations as uses for IR dataflow. Accept test changes.
|
2022-01-14 13:39:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
6d95d47467
|
Merge branch 'main' into fix-join-order-in-get-conversion-type
|
2022-01-14 09:53:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
68385dfab5
|
Merge pull request #7386 from github/redsun82/cpp-overrunning-write-precision-split
C++: split `cpp/overrunning-write` into two
|
2022-01-14 09:11:39 +00:00 |
|
Anders Schack-Mulligen
|
0b24af901d
|
Merge pull request #7349 from aschackmull/dataflow/state
Dataflow: Add support for flow state
|
2022-01-14 09:12:38 +01:00 |
|
Andrew Eisenberg
|
4ffd8c62ac
|
Merge pull request #7579 from github/aeisenberg/changenote-upgrades-removal
Changenotes: Add changenotes for upgrades refactoring
|
2022-01-13 09:09:06 -08:00 |
|
Anders Schack-Mulligen
|
c44cf29992
|
Merge pull request #7587 from owen-mc/add-default-taint-sanitizer-guard
Dataflow: Add default taint sanitizer guard
|
2022-01-13 14:44:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
6148af4621
|
C++: Fix join order in 'getConversionType4'.
|
2022-01-13 13:28:36 +00:00 |
|
Anders Schack-Mulligen
|
f7cf327e71
|
Dataflow: Sync
|
2022-01-13 13:28:43 +01:00 |
|
Paolo Tranquilli
|
e6763c858d
|
C++: add bindingset to private Printf predicate
That predicate turned out to create a lot of tuples, of which only a
minimal part was then used in the query.
|
2022-01-13 11:59:48 +00:00 |
|