Mathias Vorreiter Pedersen
|
472363b86e
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-01 11:08:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
9de570b300
|
C++: Use the newly added predicates in field flow. This commit also adds a Class column to the FieldContent branch so FieldContent has a pretty toString implementation again.
|
2020-09-01 10:54:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
1e13a39932
|
C++: Add getUpdatedInterval predicate to ChiInstructions, and getUsedInterval predicate to NonPhiMemoryOperands.
|
2020-09-01 10:53:48 +02:00 |
|
Rasmus Lerchedahl Petersen
|
6b8d9f2a77
|
Merge branch 'main' of github.com:github/codeql into SharedDataflow_PostUpdateNodes
|
2020-08-28 13:01:14 +02:00 |
|
Rasmus Lerchedahl Petersen
|
9503c5d8bb
|
Python: Add post-update nodes
|
2020-08-28 12:59:11 +02:00 |
|
Jonas Jensen
|
55d7ac88f9
|
Merge pull request #4148 from geoffw0/vecextra
C++: Improvements to string and vector models.
|
2020-08-28 10:05:42 +02:00 |
|
Geoffrey White
|
9b3da1f6c7
|
C++: Autoformat.
|
2020-08-27 16:55:45 +01:00 |
|
Geoffrey White
|
927a4faa58
|
C++: Remove the non-reference case that we shouldn't need.
|
2020-08-27 15:42:40 +01:00 |
|
Geoffrey White
|
071b303ea0
|
C++: Make the other versions consistent with this.
|
2020-08-27 15:24:48 +01:00 |
|
Geoffrey White
|
865d91de80
|
C++: Fix getAValueTypeParameterIndex().
|
2020-08-27 15:08:58 +01:00 |
|
Jonas Jensen
|
c507b337f2
|
Merge pull request #3921 from catenacyber/NullCheckParam
C++: Adds another redundant null check rule
|
2020-08-27 16:07:13 +02:00 |
|
Geoffrey White
|
111da4c352
|
C++: Add a model of std::vector::assign.
|
2020-08-27 10:22:31 +01:00 |
|
Geoffrey White
|
0952fb9777
|
C++: Minor correction in one of the string models.
|
2020-08-27 10:13:12 +01:00 |
|
Geoffrey White
|
fbac4ce44f
|
C++: Split StdStringCStr and allow reverse flow on data.
|
2020-08-27 10:11:03 +01:00 |
|
Geoffrey White
|
fbff44ea45
|
C++: Add reverse taint as well.
|
2020-08-27 10:09:51 +01:00 |
|
Geoffrey White
|
6ae96baaf6
|
C++: Model std::vector::data.
|
2020-08-27 10:08:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
dd8984dfc5
|
C++: Keep ExplicitFieldStoreQualifierNode private
|
2020-08-26 16:14:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
9d9c78c9f6
|
C++: Use the information provided by the IR alias analysis to detect dataflow read and store steps.
|
2020-08-26 15:51:03 +02:00 |
|
Geoffrey White
|
3f04530d84
|
C++: Autoformat.
|
2020-08-26 09:34:06 +01:00 |
|
Geoffrey White
|
fdf45f02f1
|
C++: Autoformat.
|
2020-08-25 18:53:19 +01:00 |
|
Geoffrey White
|
c083c6235d
|
C++: Explicitly model data flow in through reference return values.
|
2020-08-25 16:20:12 +01:00 |
|
Geoffrey White
|
76a07f7292
|
C++: Use [, ...] syntax.
|
2020-08-25 12:30:06 +01:00 |
|
Geoffrey White
|
d31987d496
|
C++: Additional QLDoc.
|
2020-08-25 12:21:06 +01:00 |
|
Geoffrey White
|
ae807f7f33
|
C++: Autoformat.
|
2020-08-24 17:36:07 +01:00 |
|
Geoffrey White
|
1c38a4d5d6
|
Update cpp/ql/src/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
|
2020-08-24 14:33:51 +01:00 |
|
Geoffrey White
|
d3c8ffb995
|
C++: Clean up, comment, and restrict the new flow to the post-update node of the returned reference.
|
2020-08-24 14:07:06 +01:00 |
|
Geoffrey White
|
f2caa8a2b0
|
C++: Reverse taint through function models returning a reference.
|
2020-08-24 14:05:04 +01:00 |
|
Geoffrey White
|
f25ef26c37
|
C++: Permit taint flow to the left side of an assignment.
|
2020-08-24 14:01:49 +01:00 |
|
Geoffrey White
|
1da78ada14
|
C++: Model 'operator[]' and 'at' for std::string, std::vector and other containers.
|
2020-08-24 13:58:43 +01:00 |
|
Philippe Antoine
|
07610e0899
|
Format document
|
2020-08-24 13:12:54 +02:00 |
|
Geoffrey White
|
3d171f358a
|
Merge remote-tracking branch 'upstream/main' into vecmethods
|
2020-08-20 13:29:28 +01:00 |
|
Geoffrey White
|
258b61c5f8
|
Update cpp/ql/src/semmle/code/cpp/models/implementations/StdContainer.qll
Co-authored-by: Jonas Jensen <jbj@github.com>
|
2020-08-20 12:53:23 +01:00 |
|
Geoffrey White
|
689c637d48
|
C++: Rename things.
|
2020-08-20 12:52:40 +01:00 |
|
Geoffrey White
|
61158e759b
|
C++: Improve StdContainerConstructor model.
|
2020-08-20 11:04:59 +01:00 |
|
Geoffrey White
|
f2ac4fa94a
|
C++: Autoformat.
|
2020-08-20 10:44:54 +01:00 |
|
Geoffrey White
|
cda9fd250b
|
C++: Model vector methods.
|
2020-08-20 10:30:01 +01:00 |
|
Geoffrey White
|
43c8efdf63
|
C++: Repair the range based for test.
|
2020-08-20 10:19:54 +01:00 |
|
Jonas Jensen
|
b1c0e6f626
|
Merge remote-tracking branch 'upstream/main' into SimpleRangeAnalysis-mul-constant
|
2020-08-20 08:20:31 +02:00 |
|
Robert Marsh
|
a457d54ad1
|
Merge pull request #4078 from jbj/SimpleRangeAnalysis-AssignMulExpr
C++: Range analysis for unsigned AssignMulExpr
|
2020-08-19 14:42:04 -04:00 |
|
Jonas Jensen
|
b14bc42756
|
Merge pull request #4090 from geoffw0/strmethods
C++: Model taint through many more methods in std::string
|
2020-08-19 16:40:46 +02:00 |
|
Jonas Jensen
|
21d16d13fc
|
Merge remote-tracking branch 'upstream/main' into SimpleRangeAnalysis-AssignMulExpr
|
2020-08-19 14:50:40 +02:00 |
|
Jonas Jensen
|
01a226bdcf
|
C++: Rename multipliesBy->effectivelyMultipliesBy
From code review of #4098.
|
2020-08-18 16:53:29 +02:00 |
|
Jonas Jensen
|
b65f82210f
|
Merge remote-tracking branch 'upstream/main' into SimpleRangeAnalysis-mul-constant
|
2020-08-18 16:51:56 +02:00 |
|
Jonas Jensen
|
f79c140dc1
|
C++: Cosmetic: use [0, 1] instead of [0 .. 1]
|
2020-08-18 16:48:23 +02:00 |
|
Jonas Jensen
|
dd5b561f08
|
C++: Use getValue(e) instead of e.getValue()
|
2020-08-18 16:45:24 +02:00 |
|
Jonas Jensen
|
b316644ac2
|
C++: SimpleRangeAnalysis for *= by constant
|
2020-08-18 15:07:20 +02:00 |
|
Jonas Jensen
|
ca1f5317b3
|
Merge pull request #4068 from geoffw0/uncontrolled-alloc-size
C++: Downgrade `cpp/uncontrolled-allocation-size` query precision.
|
2020-08-18 13:59:53 +02:00 |
|
Anders Schack-Mulligen
|
f75f5ab125
|
Merge pull request #3838 from hvitved/dataflow/flow-fwd-ctx
Data flow: Use precise call contexts in `flowFwd()`
|
2020-08-18 13:06:11 +02:00 |
|
Jonas Jensen
|
b6b72729f6
|
C++: SimpleRangeAnalysis for MulExpr by constant
|
2020-08-18 11:37:59 +02:00 |
|
Jonas Jensen
|
a7d9715fd9
|
C++: BinaryOperation.hasOperands
QLDoc borrowed from JavaScript. Implementation borrowed from Java.
Parameter names changed.
|
2020-08-18 10:28:59 +02:00 |
|