Mathias Vorreiter Pedersen
|
5aff5c3254
|
C++: Add AliasFunction model to MemcpyFunction.
|
2021-01-27 18:12:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
066f83630d
|
C++: bcopy can never be in the std namespace.
|
2021-01-27 18:07:14 +01:00 |
|
Ian Lynagh
|
307bef0ec3
|
C++: decltypes may have multiple expressions
|
2021-01-27 16:06:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
32b5c7fe06
|
C++: Model implied dataflow
|
2021-01-27 16:53:21 +01:00 |
|
Geoffrey White
|
a4d7bfbb2b
|
Merge pull request #5031 from MathiasVP/remove-linear-scan-of-functions-2
C++: Remove more linear scans
|
2021-01-27 14:29:27 +00:00 |
|
ihsinme
|
bdfdcbd673
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.ql
|
2021-01-27 15:48:18 +03:00 |
|
Mathias Vorreiter Pedersen
|
c61dec1dff
|
C++: Remove more linear scans.
|
2021-01-27 13:17:47 +01:00 |
|
ihsinme
|
16d058f498
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.ql
|
2021-01-27 15:06:57 +03:00 |
|
ihsinme
|
5d163b4c15
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.qhelp
|
2021-01-27 15:05:58 +03:00 |
|
ihsinme
|
25de82c78c
|
Apply suggestions from code review
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2021-01-27 15:05:01 +03:00 |
|
ihsinme
|
8737c1442b
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.cpp
|
2021-01-27 14:48:23 +03:00 |
|
Mathias Vorreiter Pedersen
|
3604557e62
|
C++: Remove linear scan in isSVariant.
|
2021-01-27 11:47:45 +01:00 |
|
ihsinme
|
68eba11dbf
|
Update AccessOfMemoryLocationAfterEndOfBufferUsingStrncat.ql
|
2021-01-27 13:16:56 +03:00 |
|
Robert Marsh
|
8919e5546b
|
C++ Use dontcare instead of one-use exists
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-01-26 14:12:49 -08:00 |
|
ihsinme
|
5d5cd4fde5
|
Update AccessOfMemoryLocationAfterEndOfBufferUsingStrncat.ql
|
2021-01-27 00:10:04 +03:00 |
|
ihsinme
|
f074564dc1
|
Apply suggestions from code review
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-01-27 00:00:18 +03:00 |
|
ihsinme
|
636fe73f40
|
Update AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.ql
|
2021-01-26 23:52:18 +03:00 |
|
ihsinme
|
fc9d219057
|
Update AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.ql
|
2021-01-26 23:50:54 +03:00 |
|
ihsinme
|
de0bbc8826
|
Apply suggestions from code review
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-01-26 23:47:07 +03:00 |
|
Mathias Vorreiter Pedersen
|
04a3c3d29c
|
Merge pull request #4953 from ihsinme/ihsinme-patch-207
CPP: Add query for CWE-14 compiler removal of code to clear buffers.
|
2021-01-26 18:13:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
416aa49d99
|
C++: Capitalize alert message.
|
2021-01-26 17:24:03 +01:00 |
|
Remco Vermeulen
|
1834403148
|
Replace HTTP entity
The code formatting operator correctly translate to HTTP entities.
|
2021-01-26 14:14:42 +01:00 |
|
Remco Vermeulen
|
8c09032d1d
|
Correct access specifier
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-01-26 13:23:43 +01:00 |
|
Remco Vermeulen
|
932ee968e0
|
Correct pointer to data member example
The class `PointerToMemberType` is preceded by an example that doesn't define the variable `c` used to access a data member.
|
2021-01-26 13:08:28 +01:00 |
|
Robert Marsh
|
44bc6d7fdb
|
C++/C#: add NonPhiMemoryOperand union type
This fixes a performance issue where the whole MemoryOperand table was
scanned in some predicates that used only NonPhiMemoryOperand
|
2021-01-25 17:03:19 -08:00 |
|
Tom Hvitved
|
1c84455a6d
|
Merge pull request #5003 from hvitved/csharp/remove-getaqlclass
C#: Remove uses of `getAQlClass()`
|
2021-01-25 10:57:04 +01:00 |
|
Jonas Jensen
|
1b3d69d617
|
Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3
C++: Support longer access paths in IR field flow
|
2021-01-25 10:36:03 +01:00 |
|
Tom Hvitved
|
c235462f7d
|
C++: Sync IRType.qll
|
2021-01-25 09:43:57 +01:00 |
|
ihsinme
|
9ae503a5a8
|
Add files via upload
|
2021-01-25 00:30:35 +03:00 |
|
ihsinme
|
9071ba2f99
|
Add files via upload
|
2021-01-25 00:06:19 +03:00 |
|
ihsinme
|
20d1b24e9c
|
Add files via upload
|
2021-01-24 22:35:11 +03:00 |
|
Mathias Vorreiter Pedersen
|
b4f9b1590d
|
C++: Restore lost result on git/git. We lost the result in a00bd7ae02 because the added check for type T to type T* conversion didn't handle const qualifiers.
|
2021-01-22 14:20:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
682b246441
|
C++: Fix path-problem format.
|
2021-01-22 13:40:44 +01:00 |
|
ihsinme
|
9c53e39394
|
Update CompilerRemovalOfCodeToClearBuffers.ql
|
2021-01-21 16:52:00 +03:00 |
|
Geoffrey White
|
d5d8b48218
|
C++: More accurate solution using Guards library.
|
2021-01-20 17:15:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
b0e255eb16
|
C++: Encapsulate skipSkippableInstructions in a module.
|
2021-01-20 15:45:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
f12ebe88e6
|
Revert "C++: Replace SkippableInstruction with local flow steps."
This reverts commit 258d04178f. This
change caused a ~20% performance regression.
|
2021-01-20 15:43:24 +01:00 |
|
ihsinme
|
4c9de4574a
|
Update CompilerRemovalOfCodeToClearBuffers.ql
|
2021-01-20 16:24:43 +03:00 |
|
Geoffrey White
|
fe4ae7e975
|
C++: General solution for functions that may exit.
|
2021-01-19 16:56:19 +00:00 |
|
Jonas Jensen
|
24947f27b4
|
Merge pull request #4750 from geoffw0/modelclasses
C++: Model classes in StdString.qll.
|
2021-01-19 12:51:30 +01:00 |
|
Geoffrey White
|
cff56350e0
|
C++: Fix getClassAndName parameter name.
|
2021-01-19 10:34:25 +00:00 |
|
Geoffrey White
|
b4a5346dc3
|
C++: It turns out .getTemplate() is not necessary.
|
2021-01-19 08:46:53 +00:00 |
|
Geoffrey White
|
f8a1fb1c35
|
C++: Apply the new pattern where it doesn't matter for performance as well, for consistency.
|
2021-01-19 08:46:53 +00:00 |
|
Geoffrey White
|
bfef1a200e
|
C++: Apply the new pattern in other parts of StdString.qll where it matters.
|
2021-01-19 08:46:53 +00:00 |
|
Geoffrey White
|
b8e6ad8922
|
C++: Introduce new predicate for better performance in models.
|
2021-01-19 08:46:52 +00:00 |
|
Geoffrey White
|
a5632b272e
|
C++: Fix performance issue in hasTaintFlow / hasDataFlow.
|
2021-01-19 08:46:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
dcbae8b22b
|
Fix code tag.
|
2021-01-15 19:47:09 +01:00 |
|
Geoffrey White
|
15089c4117
|
Merge branch 'main' into modelclasses
|
2021-01-14 15:57:02 +00:00 |
|
Geoffrey White
|
7012bc05a2
|
C++: Simplification.
|
2021-01-14 15:21:26 +00:00 |
|
Geoffrey White
|
54bd36def2
|
C++: Correct QLDoc comments.
|
2021-01-14 15:20:29 +00:00 |
|