Cornelius Riemenschneider
|
fa3ac30894
|
C++: Update query to latest spec.
|
2021-03-16 09:56:38 +00:00 |
|
Cornelius Riemenschneider
|
f75b969ffc
|
C++: Only include sum of LoC in the new non-alert summary queries for now.
|
2021-03-15 11:32:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
0ffb80e3b1
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-15 09:42:32 +01:00 |
|
Anders Schack-Mulligen
|
5aa9c2bd19
|
Dataflow: One more pragma.
|
2021-03-12 15:59:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
5667901a2a
|
C++: Accept test changes after merge from main (which changed the path explanations).
|
2021-03-11 21:16:57 +01:00 |
|
Ian Lynagh
|
75ebb348a0
|
C++: Add name/description to FailedExtractions.ql
|
2021-03-11 18:44:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
a2d75c4fed
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-11 18:06:37 +01:00 |
|
Ian Lynagh
|
6ef8fb667f
|
C++: Autoformat FailedExtractions.ql
|
2021-03-11 14:48:27 +00:00 |
|
Ian Lynagh
|
3c1e445a59
|
C++: Add a changenote for cpp/diagnostics/failed-extractions.
|
2021-03-11 14:33:04 +00:00 |
|
Ian Lynagh
|
2341c653f7
|
C++: Add FailedExtractions.ql
|
2021-03-11 14:08:55 +00:00 |
|
Cornelius Riemenschneider
|
97ab842010
|
C++: Update summary queries.
|
2021-03-11 12:44:30 +00:00 |
|
Cornelius Riemenschneider
|
288ee92d52
|
C++: Add clang-cl.exe to compiledAsMicrosoft().
|
2021-03-11 12:15:27 +00:00 |
|
Mathias Vorreiter Pedersen
|
01cc2f2c77
|
Merge pull request #5366 from MathiasVP/better-path-explanation-for-this-indirection
C++: Replace 'Argument -1 indirection' with 'This indirection'
|
2021-03-11 10:48:44 +01:00 |
|
Jonas Jensen
|
e1adf5e8b0
|
Merge pull request #5218 from MathiasVP/no-write-side-effects-for-const-pointer-params
C++: Don't generate write side effects for const parameter indirections
|
2021-03-11 09:48:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
9439ed49c1
|
Merge branch 'main' into better-path-explanation-for-this-indirection
|
2021-03-11 09:39:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
55da16c4a9
|
C++: Accept test changes.
|
2021-03-11 09:27:45 +01:00 |
|
Anders Schack-Mulligen
|
674886a17d
|
Dataflow: Sync.
|
2021-03-10 16:53:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
bc36e0db43
|
C++: Accept more test changes.
|
2021-03-10 16:51:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
cc592b124b
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-10 15:59:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b6589c8be
|
C++: Accept test changes.
|
2021-03-10 15:47:06 +01:00 |
|
Geoffrey White
|
a2660e5996
|
Merge pull request #5326 from ihsinme/ihsinme-patch-244
CPP: Add query for CWE-20 Improper Input Validation
|
2021-03-10 13:53:26 +00:00 |
|
Tom Hvitved
|
fc5158c41c
|
Merge pull request #5338 from hvitved/dataflow/performance-tweaks
Data flow: Performance tweaks
|
2021-03-10 13:56:57 +01:00 |
|
Cornelius Riemenschneider
|
16a3dfa30a
|
C++: Update summary metrics query format.
|
2021-03-10 11:15:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
0f6c56ad74
|
C++: Use names that better match the AST dataflow library.
|
2021-03-10 11:44:19 +01:00 |
|
ihsinme
|
c281820f0f
|
Update LateCheckOfFunctionArgument.ql
|
2021-03-09 18:22:11 +03:00 |
|
ihsinme
|
07769c7322
|
Update LateCheckOfFunctionArgument.expected
|
2021-03-09 18:21:08 +03:00 |
|
Tom Hvitved
|
fe6efde449
|
Address review comments
|
2021-03-09 14:30:12 +01:00 |
|
Taus
|
19b74e6e01
|
Merge pull request #5367 from tausbn/mergeback-rc/3.1-to-main
Merge rc/3.1 into main
|
2021-03-09 12:46:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
19d08d7b40
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-09 12:35:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
d14b993aba
|
C++: Replace 'Argument -1 indirection' with 'This indirection'.
|
2021-03-09 10:22:21 +01:00 |
|
Jonas Jensen
|
2a9f7a966c
|
Merge pull request #5361 from MathiasVP/arguments-in-path-explanations
C++: Show arguments in path explanations
|
2021-03-09 09:35:03 +01:00 |
|
Taus Brock-Nannestad
|
3d0d280972
|
Merge remote-tracking branch 'upstream/rc/3.1' into mergeback-rc/3.1-to-main
|
2021-03-08 22:15:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
7207a17f6f
|
C++: Accept more tests.
|
2021-03-08 16:50:12 +01:00 |
|
Anders Schack-Mulligen
|
aeb13146d2
|
Merge pull request #5275 from Marcono1234/marcono1234/included-qhelp-files
Use `.inc.qhelp` extension for included help files
|
2021-03-08 16:26:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
e2c0bf3cc0
|
C++: Show arguments in path explanations and accept test changes.
|
2021-03-08 12:44:05 +01:00 |
|
ihsinme
|
921c41d710
|
Apply suggestions from code review
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2021-03-08 14:23:42 +03:00 |
|
Mathias Vorreiter Pedersen
|
bb53780ba9
|
C++: Add flow through unary instructions and pointer/indirection conflation for parameters. These rules are copy/pasted from DefaultTaintTracking. The conflation rules will hopefully be removed as part of #5089.
|
2021-03-08 09:42:47 +01:00 |
|
Rasmus Lerchedahl Petersen
|
cc9a938054
|
InlineExpectationTest: clarify the nedd for an
empty `.expected` file
|
2021-03-08 09:18:47 +01:00 |
|
ihsinme
|
2b1b94835e
|
Update LateCheckOfFunctionArgument.ql
|
2021-03-07 16:10:32 +03:00 |
|
Dave Bartolomeo
|
863497c695
|
C++: Update naming of queries and paths to use "summary" instead of "metrics"
|
2021-03-05 14:36:26 -05:00 |
|
Tom Hvitved
|
6e5af1a9f8
|
Data flow: Sync files
|
2021-03-05 14:56:40 +01:00 |
|
Jonas Jensen
|
32f1da7455
|
Merge pull request #5327 from MathiasVP/less-field-to-obj-flow
C++: Remove more field-to-object flow
|
2021-03-05 13:16:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
2d7f15cc8a
|
C++: Fix join-order in cpp/memset-may-be-deleted.
|
2021-03-05 11:38:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
c86fc223b9
|
C++: Fix comment and prevent false positives on chiOnlyPartiallyUpdatesLocation when Alias::getEndBitOffset doesn't have known value.
|
2021-03-05 08:53:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
bd842403c8
|
C++: Add testcase
|
2021-03-05 08:06:22 +01:00 |
|
Marcono1234
|
5a8ffa5a85
|
Use .inc.qhelp extension for included help files
|
2021-03-04 22:04:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
b399246d7f
|
C++/C#: Sync identical files.
|
2021-03-04 16:34:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
23876cb581
|
C++: Only allow taint to a FieldAddressInstruction if it's a union type.
|
2021-03-04 16:29:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
31690dee58
|
Fix comment.
|
2021-03-04 16:11:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c14288fa7
|
C++: Use new predicate and accept test changes.
|
2021-03-04 16:05:38 +01:00 |
|