Tom Hvitved
|
a10bde5795
|
Merge pull request #6872 from hvitved/dataflow/path-into-callable0-join
Data flow: Performance tweaks
|
2021-10-18 16:25:10 +02:00 |
|
Tom Hvitved
|
e6954292aa
|
Address review comments
|
2021-10-18 14:09:44 +02:00 |
|
Anders Schack-Mulligen
|
91ea064980
|
Sync
|
2021-10-18 14:04:50 +02:00 |
|
Mathias Vorreiter Pedersen
|
ea67ca22a9
|
C++: Undo changes to shared dataflow files.
|
2021-10-18 09:00:00 +01:00 |
|
Geoffrey White
|
5cbf632573
|
C++: Inline and simplify 'Assignment to another stack variable' case in NullTermination.qll.
|
2021-10-15 17:54:26 +01:00 |
|
Erik Krogh Kristensen
|
fe891746bf
|
C++: fix implicit this
|
2021-10-15 14:59:48 +01:00 |
|
Geoffrey White
|
8f30b8b586
|
Autoformat.
|
2021-10-14 16:00:23 +01:00 |
|
Anders Schack-Mulligen
|
f6a517c998
|
Merge pull request #6882 from MathiasVP/fix-unnecessary-exists
C++/Python: Remove unnecessary `exists`
|
2021-10-14 16:44:05 +02:00 |
|
Geoffrey White
|
f08d2ee759
|
Merge branch 'main' into setliterals
|
2021-10-14 14:39:39 +01:00 |
|
Anders Schack-Mulligen
|
8b6baa250c
|
Merge pull request #6878 from aschackmull/remove-singleton-setliteral
C++/C#/Java/JavaScript/Python: Remove singleton set literals.
|
2021-10-14 14:53:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
69ed7c543f
|
C++: Remove unnecessary 'exists'.
|
2021-10-14 11:59:59 +01:00 |
|
Tom Hvitved
|
f5420333e2
|
Sync shared files
|
2021-10-14 11:49:02 +02:00 |
|
Anders Schack-Mulligen
|
57cb300759
|
C++/C#/Java/JavaScript/Python: Remove singleton set literals.
|
2021-10-14 11:34:22 +02:00 |
|
Mathias Vorreiter Pedersen
|
a2371370ff
|
Merge pull request #6865 from MathiasVP/fix-if-none
C++/C#/JS/Python: Replace 'if p() then q() else none()' with a conjunction
|
2021-10-13 19:47:55 +01:00 |
|
Tom Hvitved
|
c14dcfbfe4
|
Data flow: Sync
|
2021-10-13 20:13:28 +02:00 |
|
Andrew Eisenberg
|
878203f1d0
|
Merge pull request #6862 from github/aeisenberg/tutorial
Move tutorial directly into each qlpack
|
2021-10-13 09:29:37 -07:00 |
|
Andrew Eisenberg
|
0d1632a5d2
|
Move tutorial directly into each qlpack
Previously, the tutorial was injected during build time. This is much
simpler.
|
2021-10-13 08:37:04 -07:00 |
|
Geoffrey White
|
2e61ae244a
|
C++: Set literals.
|
2021-10-13 16:12:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
ba981c525b
|
C++: Replace 'if p() then q() else none()' with a conjunction.
|
2021-10-13 12:11:42 +01:00 |
|
Philip Ginsbach
|
d0ecabad19
|
DataFlowCall non-extending subtype of Call
|
2021-10-13 11:39:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
6853f491f4
|
Merge pull request #6794 from geoffw0/impropnullfp
C++: Improvements to cpp/improper-null-termination
|
2021-10-12 14:47:02 +01:00 |
|
Geoffrey White
|
ac6acfb660
|
C++: Use data flow.
|
2021-10-11 15:36:00 +01:00 |
|
Anders Schack-Mulligen
|
446c738f20
|
Merge pull request #6790 from aschackmull/dataflow/force-precision
Dataflow: Force high precision of certain Contents.
|
2021-10-08 11:44:26 +02:00 |
|
Anders Schack-Mulligen
|
1bec58dee5
|
Dataflow: Fix more qldoc: s/accesspath/access path/.
|
2021-10-08 09:41:26 +02:00 |
|
Anders Schack-Mulligen
|
2b88a2aa0c
|
Dataflow: Fix qldoc: s/accesspath/access path/.
|
2021-10-07 14:46:24 +02:00 |
|
Mathias Vorreiter Pedersen
|
b089e6d84e
|
C++/C#: Fix QLDoc of 'CopyInstruction'.
|
2021-10-05 09:14:20 +01:00 |
|
Geoffrey White
|
2c64fa50d2
|
Merge branch 'main' into impropnullfp
|
2021-10-04 16:51:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
cca77ed65c
|
Merge branch 'main' into add-return-value-deref-to-model-util
|
2021-10-01 22:02:06 +02:00 |
|
Geoffrey White
|
b9a1a451a9
|
C++: Autoformat.
|
2021-10-01 19:21:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
3463c28e24
|
C++: Add return value dereference to 'callOutput'. This will need to be modified once we get return value side effects in the IR.
|
2021-10-01 18:27:46 +02:00 |
|
Geoffrey White
|
ada30800c9
|
C++: Exclude results where identity-like functions obscure operations on a variable.
|
2021-10-01 16:16:06 +01:00 |
|
Geoffrey White
|
d41e517757
|
C++: Simplify mayAddNullTerminator.
|
2021-10-01 14:15:05 +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 |
|
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 Fugmann
|
79549c2285
|
Merge remote-tracking branch 'upstream/main' into refactor_use_of_isGuardPhi
|
2021-09-28 09:38:16 +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 |
|
Geoffrey White
|
7e7dfe2cc4
|
C++: Understand format arguments.
|
2021-09-24 19:25:43 +01:00 |
|
Geoffrey White
|
6901d9d9c2
|
C++: Add and use getRemoteSocket predicates.
|
2021-09-24 15:16:48 +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 |
|