Geoffrey White
|
493b80c44d
|
C++: Fix incorrect translations to hasQualifiedName.
|
2020-10-08 17:56:57 +01:00 |
|
Dave Bartolomeo
|
e4bfb75f90
|
C++: Fix pointer flow through temporary objects
|
2020-10-08 12:24:59 -04:00 |
|
Geoffrey White
|
c555cfa22a
|
C++: Replace isParameterDeref(_).
|
2020-10-08 16:55:45 +01:00 |
|
Geoffrey White
|
e01e4b5bde
|
C++: Fix QLDoc comments.
|
2020-10-08 14:29:08 +01:00 |
|
Geoffrey White
|
5c1a510e4a
|
C++: Model map::lower_bound, upper_bound and equal_range.
|
2020-10-08 14:22:43 +01:00 |
|
Geoffrey White
|
ef9a7c8cdb
|
C++: Model map::merge.
|
2020-10-08 14:22:43 +01:00 |
|
Geoffrey White
|
b7ab89c892
|
C++: Model map::emplace, emplace_hint and map::try_emplace.
|
2020-10-08 14:22:43 +01:00 |
|
Jonas Jensen
|
b409cf6cea
|
Merge pull request #4389 from gsingh93/bitwise-and
Improve range analysis for bitwise and
|
2020-10-08 15:18:15 +02:00 |
|
Gulshan Singh
|
662736eb2d
|
Fix compiler error after removing getLOp/getROp
|
2020-10-07 12:45:08 -07:00 |
|
Gulshan Singh
|
7233ffa50f
|
Address review comments
|
2020-10-07 00:21:06 -07:00 |
|
Dave Bartolomeo
|
22638fdfc7
|
Merge remote-tracking branch 'upstream/main' into work
|
2020-10-06 18:33:14 -04:00 |
|
Jonas Jensen
|
984194d308
|
Merge pull request #4406 from geoffw0/set
C++: Models for std::set and std::unordered_set
|
2020-10-06 15:43:12 +02:00 |
|
Dave Bartolomeo
|
badb11750a
|
AST and IR support for TemporaryObjectExpr
|
2020-10-05 17:53:35 -04:00 |
|
Jonas Jensen
|
6b2ae5d1ad
|
Merge pull request #4393 from MathiasVP/no-more-flow-into-read-side-effect
C++: No more flow into ReadSideEffect instructions
|
2020-10-05 19:46:32 +02:00 |
|
Robert Marsh
|
b7dcd5c557
|
Merge pull request #4395 from geoffw0/modelbeginend
C++: Merge StdSequenceContainerBeginEnd into the general BeginOrEndFunction
|
2020-10-05 12:22:27 -04:00 |
|
Geoffrey White
|
4db964fca9
|
Merge branch 'main' into set
|
2020-10-05 15:16:42 +01:00 |
|
Geoffrey White
|
d93b37d5c5
|
C++: Autoformat some more files.
|
2020-10-05 15:11:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
a6d7b1f9d9
|
Update cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Jonas Jensen <jbj@github.com>
|
2020-10-05 15:21:15 +02:00 |
|
Mathias Vorreiter Pedersen
|
e95aefe0b2
|
C++: Now that PrimaryArgumentNode is an OperandNode we want a specialized toString on it
|
2020-10-05 15:13:33 +02:00 |
|
Geoffrey White
|
c757813d65
|
Merge branch 'main' into map
|
2020-10-05 12:32:49 +01:00 |
|
Geoffrey White
|
591c17d7cf
|
C++: Rearrange comments.
|
2020-10-05 12:22:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c87b08c69
|
C++: Respond to review comments:
- ArgumentNode is now abstract
- PrimaryArgumentNode is now an OperandNode.
- ArgumentIndirectionNode is now merged into SideEffectArgumentNode.
|
2020-10-05 12:54:11 +02:00 |
|
Geoffrey White
|
488a55b9dd
|
C++: Autoformat.
|
2020-10-05 10:39:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
4c14f5dbb7
|
Merge branch 'main' into no-more-flow-into-read-side-effect
|
2020-10-05 11:03:42 +02:00 |
|
Alexander Eyers-Taylor
|
30ed6a0dac
|
Merge pull request #4385 from aibaars/drop-queries
Drop 'tech-inventory' and 'code duplication' queries from the standard query suites
|
2020-10-02 18:31:25 +01:00 |
|
Geoffrey White
|
3536d84bdf
|
C++: Use [, ...] syntax more widely.
|
2020-10-02 18:04:03 +01:00 |
|
Geoffrey White
|
1efe461a98
|
C++: Move the rest of of StdSequenceContainerBeginEnd into BeginOrEndFunction.
|
2020-10-02 18:03:46 +01:00 |
|
Geoffrey White
|
8d5bd2289b
|
C++: Remove parts of StdSequenceContainerBeginEnd in favour of BeginOrEndFunction.
|
2020-10-02 18:03:46 +01:00 |
|
Geoffrey White
|
2dc8fba7fe
|
C++: Remove StdMapBeginEnd as we now have a general model BeginOrEndFunction in main.
|
2020-10-02 16:39:23 +01:00 |
|
Geoffrey White
|
0d6bd6facb
|
Merge branch 'main' into map
|
2020-10-02 16:24:03 +01:00 |
|
Geoffrey White
|
d4a1acedde
|
C++: Remove StdSetBeginEnd as we now have a general model BeginOrEndFunction in main.
|
2020-10-02 16:23:48 +01:00 |
|
Arthur Baars
|
daa1bcc06e
|
Also mark 'tech inventory' queries as deprecated
|
2020-10-02 17:23:11 +02:00 |
|
Arthur Baars
|
fc45b6cd3c
|
Drop 'tech-inventory' and 'code duplication' queries from the standard query suites
|
2020-10-02 17:22:04 +02:00 |
|
Geoffrey White
|
88a93964a7
|
Merge branch 'main' into set
|
2020-10-02 16:17:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
8f4982d3f5
|
C++: Remove flow into ReadSideEffect instructions in simpleInstructionLocalFlowStep
|
2020-10-02 14:10:28 +02:00 |
|
Geoffrey White
|
4b0e9a4fb1
|
C++: Remove the model of make_pair.
|
2020-10-02 10:55:13 +01:00 |
|
Chris Smowton
|
aa707e9370
|
Merge pull request #4381 from smowton/smowton/admin/fix-owasp-broken-links
Fix OWASP broken links
|
2020-10-02 08:51:36 +01:00 |
|
Gulshan Singh
|
f026d3a1e6
|
C++: Improve bitwise and range analysis
|
2020-10-01 23:30:51 -07:00 |
|
Jonas Jensen
|
48c6f34f91
|
Merge pull request #4372 from matt-gretton-dann/cpp20-constinit
Add support for Variable.is_constinit()
|
2020-10-01 20:19:56 +02:00 |
|
Geoffrey White
|
ad9f306352
|
C++: Model taint flow only when the second component of a pair would be tainted.
|
2020-10-01 17:38:09 +01:00 |
|
Chris Smowton
|
578ea1ae43
|
Fix OWASP broken links
|
2020-10-01 13:09:52 +01:00 |
|
Geoffrey White
|
fb9a3b323d
|
C++: Modernize MemcpyFunction.
|
2020-10-01 10:53:18 +01:00 |
|
Geoffrey White
|
ce9abe071d
|
C++: Remove taint flow from size parameter.
|
2020-10-01 10:51:01 +01:00 |
|
Geoffrey White
|
ed5c3b321f
|
C++: Repair callDereferences for failing test.
|
2020-10-01 10:38:12 +01:00 |
|
Geoffrey White
|
ff78f50a03
|
Merge branch 'main' into callderef
|
2020-10-01 09:40:36 +01:00 |
|
Geoffrey White
|
cafd320953
|
C++: Add set/map constructor models.
|
2020-09-30 17:41:06 +01:00 |
|
Geoffrey White
|
6520f9d0fb
|
C++: Add basic std::set models.
|
2020-09-30 17:23:56 +01:00 |
|
Matthew Gretton-Dann
|
e0ca4dafb8
|
Add support for Variable.is_constinit()
|
2020-09-30 16:31:45 +01:00 |
|
Geoffrey White
|
282d3e8f7e
|
Merge pull request #4322 from jbj/range-analysis-custom-defs
C++: Support custom defs in SimpleRangeAnalysis
|
2020-09-30 15:43:32 +01:00 |
|
Jonas Jensen
|
b1c826e5c0
|
Merge pull request #4135 from rdmarsh2/rdmarsh2/cpp/output-iterators-1
C++: Output iterators in AST taint tracking
|
2020-09-30 12:54:55 +02:00 |
|