Geoffrey White
|
ec2e4f432a
|
C++: Add more test cases, inspired by FPs on LGTM with the query.
|
2021-10-01 14:03:41 +01:00 |
|
Geoffrey White
|
74957dcb2e
|
C++: Test spacing.
|
2021-10-01 13:59:34 +01:00 |
|
Anders Schack-Mulligen
|
98f68cb053
|
Dataflow: Sync.
|
2021-10-01 13:11:43 +02:00 |
|
Anders Schack-Mulligen
|
490df2027b
|
Dataflow: Add language-specific predicate forceHighPrecision().
|
2021-10-01 13:11:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
a3cf721b9e
|
Merge pull request #6713 from geoffw0/cwe139
C++: New query for 'Cleartext transmission of sensitive information'
|
2021-10-01 11:10:36 +02:00 |
|
Geoffrey White
|
679b0f9b73
|
C++: Autoformat.
|
2021-10-01 09:40:16 +01:00 |
|
Jonas Jensen
|
45cf6344cd
|
Merge pull request #6184 from github/rdmarsh2/improve-exec-tainted
C++: Refactor ExecTainted.ql to only report results after string concatenation
|
2021-09-29 19:21:13 +02:00 |
|
Rasmus Wriedt Larsen
|
987b573709
|
Fix hasLocationInfo URL reference
Follow up to https://github.com/github/codeql/pull/5830
|
2021-09-29 13:47:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
8dcf7926de
|
Merge pull request #6760 from andersfugmann/relax_memberMayBeVarSize
Increase precision to high for cpp/static-buffer-overflow
|
2021-09-29 10:09:11 +02:00 |
|
Geoffrey White
|
89098f54be
|
C++: Correct comment.
|
2021-09-28 20:03:42 +01:00 |
|
Geoffrey White
|
10323ac819
|
Update cpp/ql/src/Security/CWE/CWE-311/CleartextStorage.inc.qhelp
Co-authored-by: Jonas Jensen <jbj@github.com>
|
2021-09-28 15:13:29 +01:00 |
|
Anders Fugmann
|
ba98c0c1cb
|
Merge remote-tracking branch 'upstream/main' into relax_memberMayBeVarSize
|
2021-09-28 11:15:11 +02:00 |
|
Anders Peter Fugmann
|
a358ea8667
|
C++: Apply documentation change suggestion
Co-authored-by: Jonas Jensen <jbj@github.com>
|
2021-09-28 10:38:02 +02:00 |
|
Anders Peter Fugmann
|
c7ea7ca5cd
|
C++: Apply documentation change suggestion
Co-authored-by: Jonas Jensen <jbj@github.com>
|
2021-09-28 09:40:25 +02:00 |
|
Anders Peter Fugmann
|
49c656d904
|
C++: Apply documentation change suggestion
Co-authored-by: Jonas Jensen <jbj@github.com>
|
2021-09-28 09:40:07 +02:00 |
|
Anders Fugmann
|
79549c2285
|
Merge remote-tracking branch 'upstream/main' into refactor_use_of_isGuardPhi
|
2021-09-28 09:38:16 +02:00 |
|
Robert Marsh
|
d47c4732e2
|
C++: Update change note date
|
2021-09-27 17:36:14 -07:00 |
|
Robert Marsh
|
dfb27d170c
|
C++ fix test compilation errors
|
2021-09-27 13:58:54 -07:00 |
|
Anders Fugmann
|
03bd7d7f96
|
C++: Update test results from OverflowStatic
|
2021-09-27 11:23:08 +02:00 |
|
Jonas Jensen
|
b0836a620c
|
Merge pull request #6757 from geoffw0/impropnulltest2
C++: Small improvement to cpp/improper-null-termination
|
2021-09-27 10:52:49 +02:00 |
|
Jonas Jensen
|
06b36f742e
|
Merge pull request #6745 from andersfugmann/handle_overflow_for_upperbound
C++: Handle overflow for upperbound
|
2021-09-27 10:32:49 +02:00 |
|
Anders Fugmann
|
e0921ac983
|
C++: Increase precision of cpp/static-buffer-overflow to high
|
2021-09-27 09:06:36 +02:00 |
|
Geoffrey White
|
7e7dfe2cc4
|
C++: Understand format arguments.
|
2021-09-24 19:25:43 +01:00 |
|
Geoffrey White
|
91a8b9fdd9
|
C++: Add suggested test (and a good variant).
|
2021-09-24 18:34:28 +01:00 |
|
Geoffrey White
|
6901d9d9c2
|
C++: Add and use getRemoteSocket predicates.
|
2021-09-24 15:16:48 +01:00 |
|
Geoffrey White
|
9f59bc8f7b
|
C++: Naive translation to use RemoteFlow*Function.
|
2021-09-24 15:12:14 +01:00 |
|
Geoffrey White
|
3e1bc66984
|
Merge pull request #6733 from MathiasVP/fix-qldoc-in-initialize-dynamic-allocation-instruction
C++/C#: Fix QLDoc on `InitializeDynamicAllocationInstruction`.{`getAllocationAddressOperand` and `getAllocationAddress`}
|
2021-09-24 14:30:03 +01:00 |
|
Anders Peter Fugmann
|
aebde189f8
|
C++: Apply peer review suggestion
Co-authored-by: Jonas Jensen <jbj@github.com>
|
2021-09-24 15:09:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
24214002a1
|
C#/C++: Sync identical files.
|
2021-09-24 13:13:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
eba1b0bc15
|
Respond to review comments.
|
2021-09-24 13:12:58 +01:00 |
|
Anders Fugmann
|
cbdabe35de
|
C++: Update test results to reflect changes
|
2021-09-24 12:29:28 +02:00 |
|
Anders Fugmann
|
c9c41252e3
|
C++: Update test results in SimpleRangeAnalysis
|
2021-09-24 12:23:48 +02:00 |
|
Anders Fugmann
|
3437cf2909
|
C++: only use upperbound if there are no overflows in the guard
|
2021-09-24 11:46:58 +02:00 |
|
Anders Fugmann
|
d7afd86a27
|
C++: Add test case exposing problem with overflows for upperBound predicate
|
2021-09-24 11:44:05 +02:00 |
|
Anders Fugmann
|
032ac50034
|
C++: Do not warn on static buffer overflow using loop counters, if the loop counter has been widened
|
2021-09-24 08:31:36 +02:00 |
|
Anders Fugmann
|
3e5f7d0db5
|
C++: using buildin offsetof for an array member indexed after end is legal
|
2021-09-24 08:31:35 +02:00 |
|
Anders Fugmann
|
b08eabec68
|
C++: Relax predicate memberMayBeVarSize to mark all members of size 0 or 1 as variable sized
|
2021-09-24 08:31:35 +02:00 |
|
Anders Fugmann
|
a4a9e2aa96
|
C++: Weaken wording on overflow static alert text
|
2021-09-24 08:31:35 +02:00 |
|
Robert Marsh
|
3189c578a4
|
C++: Add QLDoc to subpaths in DefaultTaintTracking
|
2021-09-23 22:42:38 -07:00 |
|
Robert Marsh
|
c2b356ab08
|
C++: add subpaths to DefaultTaintTracking
|
2021-09-23 21:00:45 -07:00 |
|
ihsinme
|
13741ba137
|
Update FindWrapperFunctions.ql
|
2021-09-23 12:55:03 +03:00 |
|
ihsinme
|
18de9f0aa3
|
Update FindWrapperFunctions.expected
|
2021-09-23 12:53:16 +03:00 |
|
Robert Marsh
|
49f8fd2164
|
C++: whitespace fix
|
2021-09-22 16:54:03 -07:00 |
|
Robert Marsh
|
0c5d642489
|
C++: Rename SystemFunction and restore QLDoc
|
2021-09-22 14:22:57 -07:00 |
|
Robert Marsh
|
6f03c3e252
|
C++: Accept command injection test changes
Making the DefaultTaintTracking configurations inactive removed many
unneeded nodes and edges from the PathGraph predicates.
|
2021-09-22 14:19:23 -07:00 |
|
Robert Marsh
|
8faeab18b9
|
C++: move ResolveCall.qll out of internal directory
|
2021-09-22 11:54:47 -07:00 |
|
Robert Marsh
|
21ed5c430d
|
Merge branch 'main' into rdmarsh2/improve-exec-tainted
Manual fix for conflict in Models.qll
|
2021-09-22 11:51:18 -07:00 |
|
Mathias Vorreiter Pedersen
|
35baff8bac
|
C#/C++: Sync identical files.
|
2021-09-22 13:32:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
5969c227ab
|
C++: Fix QLDoc on 'getAllocationAddressOperand' and 'getAllocationAddress'.
|
2021-09-22 13:32:20 +01:00 |
|
Robert Marsh
|
3108817717
|
C++: Add additional functions to the SQL models
|
2021-09-21 17:34:01 -07:00 |
|