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 |
|
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
|
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 |
|
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
|
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 |
|
Mathias Vorreiter Pedersen
|
8a4cc3b5c2
|
C++: Sync identical files.
|
2021-03-04 15:38:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
200d94777a
|
C++: Add isPartialUpdate member predicate to ChiInstructions.
|
2021-03-04 15:37:47 +01:00 |
|
Anders Schack-Mulligen
|
45f52289ea
|
Merge branch 'main' into java/merge-5226
|
2021-03-04 11:36:16 +01:00 |
|
Anders Schack-Mulligen
|
fe07630e40
|
Merge pull request #5219 from smowton/smowton/feature/backward-dataflow-for-fluent-methods
Java: Add backward dataflow edges through fluent function invocations.
|
2021-03-04 11:13:32 +01:00 |
|
Marcono1234
|
b9c0193022
|
Sync .qhelp file renaming to other languages
|
2021-03-03 15:38:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
721ba5e2c5
|
Merge pull request #4825 from rdmarsh2/rdmarsh2/cpp/operand-reuse
C++: share `TOperand` across IR stages
|
2021-03-03 08:55:44 +01:00 |
|
Robert Marsh
|
dbd8432884
|
C++: autoformat
|
2021-03-02 12:11:12 -08:00 |
|
Andrew Eisenberg
|
9982112b61
|
Documentation: Update C/C++ Element::fromSource() docs
The previous documentation was not correct. This
documentation is adapted from File::fromSource().
|
2021-03-02 08:57:17 -08:00 |
|
Robert Marsh
|
2b382d588a
|
C++: autoformat Operand.qll
|
2021-03-01 11:13:04 -08:00 |
|
Chris Smowton
|
cdccc1a064
|
Remove needless typecasts
|
2021-03-01 16:47:34 +00:00 |
|
Chris Smowton
|
c32514bf66
|
Sync dataflow library files
|
2021-03-01 10:27:28 +00:00 |
|
Jonas Jensen
|
208a374c58
|
Merge pull request #5256 from MathiasVP/promote-insecure-memset-query
C++: Promote insecure removal of memset query
|
2021-03-01 08:30:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
0f7256752a
|
Update cpp/ql/src/Security/CWE/CWE-014/MemsetMayBeDeleted.qhelp
Co-authored-by: Shati Patel <42641846+shati-patel@users.noreply.github.com>
|
2021-02-26 19:16:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
42d2a673c7
|
C++: Respond to review comments.
|
2021-02-26 10:06:05 +01:00 |
|
Robert Marsh
|
290b1c624e
|
C++: cache the IR stage Operand class
|
2021-02-25 13:10:39 -08:00 |
|
Mathias Vorreiter Pedersen
|
faadcd913e
|
C++: Exclude memsets that clear a variable that has no other uses.
|
2021-02-25 21:27:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
2777ca445e
|
Update cpp/ql/src/Security/CWE/CWE-014/MemsetMayBeDeleted.ql
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
|
2021-02-25 19:49:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
9e7c9d0ea0
|
C++: Respond to review comments. Relax the escaping requirements on the local variable being used in memset.
|
2021-02-25 18:22:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
3f26b2940d
|
Update cpp/ql/src/Security/CWE/CWE-014/MemsetMayBeDeleted.ql
Co-authored-by: Jonas Jensen <jbj@github.com>
|
2021-02-25 15:48:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
d33209388d
|
C++: Fix test annotations. Also exclude static locals from the query and add a testcase for this.
|
2021-02-25 13:25:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
c44fbaaf3c
|
C++: Promote memset query out of experimental.
|
2021-02-24 18:01:41 +01:00 |
|
Geoffrey White
|
358a8fee7d
|
C++: 'side-effect free'.
|
2021-02-24 09:25:11 +00:00 |
|
Geoffrey White
|
431a004127
|
C++: QLDoc.
|
2021-02-23 19:10:03 +00:00 |
|
Robert Marsh
|
0b2daf7679
|
C++: filter operands of removed IR instructions
|
2021-02-22 14:41:21 -08:00 |
|
Geoffrey White
|
362c12caea
|
Merge pull request #5217 from MathiasVP/model-bsd-sockets-part-3
C++: Implement models for poll, accept and select
|
2021-02-22 18:34:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
f908d2f1de
|
C++: Remove hasTaintFlow from poll and select functions.
|
2021-02-22 08:54:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
576a872316
|
C++: Address review comments.
|
2021-02-19 20:24:02 +01:00 |
|
Geoffrey White
|
79338052ad
|
C++: Add CWE-676 tag.
|
2021-02-19 14:55:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
fef824c37a
|
C++: Implement models for poll, accept and select.
|
2021-02-19 14:03:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
3082d70345
|
Merge branch 'main' into fix-dataflow-regression-const-member-function
|
2021-02-18 09:34:51 +01:00 |
|
Cornelius Riemenschneider
|
ebcecca9f1
|
Merge pull request #5157 from geoffw0/modelsbsl2
C++: Improve Iterator models
|
2021-02-17 18:04:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
908f24d23f
|
C++: Fix missing AST flow.
|
2021-02-17 14:33:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
e0dca2be20
|
Merge pull request #5185 from MathiasVP/block-integral-types-in-cgixss-query
C++: Add isBarrier to cpp/cgi-xss
|
2021-02-17 12:44:45 +01:00 |
|
Geoffrey White
|
c07a60818c
|
C++: Simplify IteratorAssignArithmeticOperator.
|
2021-02-17 10:49:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
e1c4406fd4
|
Merge pull request #5187 from geoffw0/modelsbsl5
C++: Support BSL in Allocation.qll, Deallocation.qll.
|
2021-02-17 11:48:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
6db75df943
|
Merge pull request #5186 from geoffw0/modelsbsl4
C++: More models work
|
2021-02-17 11:46:23 +01:00 |
|
Robert Marsh
|
6aeec5872d
|
Merge branch 'main' into rdmarsh2/cpp/operand-reuse
|
2021-02-16 15:42:58 -08:00 |
|
Geoffrey White
|
3323683ab2
|
C++: Support BSL in Allocation.qll, Deallocation.qll.
|
2021-02-16 19:19:06 +00:00 |
|
Geoffrey White
|
d068ede65b
|
Merge pull request #5180 from criemen/bsl-stdcontainer
C++: Refactor StdContainer.qll.
|
2021-02-16 18:53:08 +00:00 |
|
Geoffrey White
|
58230d6d0a
|
C++: Model BSL in Fread.qll.
|
2021-02-16 18:00:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
fa44cedd38
|
C++: Add isBarrier to CgiXss.ql.
|
2021-02-16 18:58:28 +01:00 |
|
Geoffrey White
|
e17d539883
|
C++: Model BSL in Getenv.qll.
|
2021-02-16 17:56:48 +00:00 |
|
Geoffrey White
|
735e014b43
|
C++: Model BSL in Gets.qll.
|
2021-02-16 17:22:59 +00:00 |
|