Geoffrey White
|
0534c69c76
|
C++: Autoformat.
|
2020-08-06 19:11:46 +01:00 |
|
Geoffrey White
|
0b5b7fa095
|
C++: Fix another edge case.
|
2020-08-06 19:06:42 +01:00 |
|
Geoffrey White
|
b3f3f6d95a
|
C++: Fix edge case.
|
2020-08-06 19:03:43 +01:00 |
|
Geoffrey White
|
cbf30e37ed
|
C++: Fix the issue.
|
2020-08-06 18:50:18 +01:00 |
|
Geoffrey White
|
a7564c9e0e
|
C++: Add a test of unsigned count-down loops.
|
2020-08-06 18:44:22 +01:00 |
|
Jonas Jensen
|
7cc877cbbb
|
C++: Taint through RangeBasedForStmt (AST only)
|
2020-08-06 15:37:41 +02:00 |
|
Jonas Jensen
|
5f635aca36
|
Merge pull request #3768 from geoffw0/copymove
C++: Clean up ConversionConstructor.
|
2020-08-05 14:35:05 +02:00 |
|
Jonas Jensen
|
ea0896c78b
|
Merge pull request #3999 from MathiasVP/mathiasvp/range-based-for-loop-taint-tests
C++: Add tests for taint through range-based for loops
|
2020-08-05 09:11:53 +02:00 |
|
Geoffrey White
|
9f5c37ccaa
|
Merge branch 'master' into copymove
|
2020-08-04 15:41:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
4990d00498
|
C++: Add taint tests demonstrating lack of taint through range based for loops
|
2020-07-31 09:57:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
b88ef56cb4
|
C++: Add basic iterator definition that matches STL
|
2020-07-31 09:45:32 +02:00 |
|
Arthur Baars
|
7e72ef350e
|
Merge pull request #3975 from aibaars/lgtm-suites
CodeQL: complete LGTM suites
|
2020-07-30 18:39:01 +02:00 |
|
Robert Marsh
|
ddbec50c07
|
Merge pull request #3990 from MathiasVP/mathiasvp/fix-qldoc-SemanticStackVariable
C++: Fix QLDoc for `SemanticStackVariable`
|
2020-07-29 12:27:29 -07:00 |
|
Arthur Baars
|
5bad003c0c
|
Add qlpack.yml files for example queries
|
2020-07-29 16:57:04 +02:00 |
|
Mathias Vorreiter Pedersen
|
978bf3aefc
|
C++: Make QLDoc comment represent a valid C++ template
|
2020-07-29 15:59:19 +02:00 |
|
Arthur Baars
|
c4041e55ba
|
CodeQL: complete LGTM suites
|
2020-07-28 20:40:44 +02:00 |
|
Mathias Vorreiter Pedersen
|
a4242bcb5d
|
Merge pull request #3962 from rdmarsh2/ir-barrierguard-checks-expr
C++: make IR BarrierGuard::checks match AST
|
2020-07-23 09:21:37 +02:00 |
|
Robert Marsh
|
0bb6d0c7ca
|
C++: make IR BarrierGuard::checks match AST
|
2020-07-17 15:43:57 -07:00 |
|
Geoffrey White
|
2e5af67626
|
Merge pull request #3952 from MathiasVP/output-parameter-index-for-UserDefinedFormattingFunction
C++: Add getOutputParameterIndex override to UserDefinedFormattingFunction class.
|
2020-07-15 18:11:09 +01:00 |
|
Nick Rolfe
|
c7b668193b
|
Merge pull request #3929 from igfoo/static_assert
C++: Give static assertions an enclosing element
|
2020-07-15 18:03:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
289a908eb8
|
C++: Update qldoc in reponse to PR comments
|
2020-07-15 16:24:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
c4b97a3a62
|
C++: Accept more test changes
|
2020-07-15 16:19:51 +02:00 |
|
Geoffrey White
|
c4940aaa86
|
Merge branch 'master' into copymove
|
2020-07-15 15:01:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
edc33b6516
|
C++: Add getOutputParameterIndex override to UserDefinedFormattingFunction and accept test changes
|
2020-07-15 14:46:08 +02:00 |
|
Mathias Vorreiter Pedersen
|
d711c22cd2
|
C++: Add testcase demonstrating lost query results
|
2020-07-15 14:42:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
174b30461a
|
C++: Fix syntax error in testfile
|
2020-07-14 19:47:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
834ad92453
|
C++: Add test cases for unsigned multiplication and fix missing return value in existing tests
|
2020-07-14 16:57:47 +02:00 |
|
Geoffrey White
|
37158f46ed
|
C++: Remove deprecated class from test.
|
2020-07-14 15:36:48 +01:00 |
|
Geoffrey White
|
3f6d8490e0
|
C++: Autoformat.
|
2020-07-14 15:09:12 +01:00 |
|
Ian Lynagh
|
616bad7b5c
|
C++: Add an upgrade script
|
2020-07-14 13:53:46 +01:00 |
|
Ian Lynagh
|
c254de464a
|
C++: Update stats following static_asserts change
|
2020-07-14 13:53:01 +01:00 |
|
Geoffrey White
|
646efe2a20
|
C++: Deprecate ConversionConstructor.
|
2020-07-13 15:04:39 +01:00 |
|
Geoffrey White
|
61178c5330
|
Merge branch 'master' into copymove
|
2020-07-13 14:11:12 +01:00 |
|
Geoffrey White
|
6519629472
|
Merge pull request #3942 from MathiasVP/remove-abstract-preprocessor
C++: Remove abstract classes from Preprocessor.qll
|
2020-07-13 10:00:50 +01:00 |
|
dilanbhalla
|
48e540fa9a
|
minor fixes
|
2020-07-13 01:25:42 -07:00 |
|
dilanbhalla
|
db6d5c329f
|
file/buffer write dataflow queries complete
|
2020-07-13 00:57:05 -07:00 |
|
Mathias Vorreiter Pedersen
|
d6da318645
|
C++: Remove abstract classes from Preprocessor.qll
|
2020-07-10 21:55:14 +02:00 |
|
Dave Bartolomeo
|
912c50a881
|
Merge pull request #3937 from MathiasVP/replace-result-type-with-ir-result-type
C++: Replace getResultType() with getResultIRType()
|
2020-07-10 13:37:30 -04:00 |
|
Geoffrey White
|
456a05ecd5
|
Merge pull request #3940 from MathiasVP/remove-abstract-stmt
C++: Remove abstract classes and predicates from Stmt.qll
|
2020-07-10 16:41:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
7cc83da97a
|
C++: Remove @stmt_while from the TConditionalStmt union type.
|
2020-07-10 15:51:34 +02:00 |
|
Geoffrey White
|
2941f413f9
|
Merge pull request #3931 from aeisenberg/aeisenberg/cpp-print-ast
Add the printAst.ql contextual query for C++
|
2020-07-10 14:08:25 +01:00 |
|
Philippe Antoine
|
bf7e3a004e
|
Reverting to enclosing block logic
|
2020-07-10 14:58:00 +02:00 |
|
Philippe Antoine
|
50b2b12ce2
|
put back missing condition
|
2020-07-10 14:41:35 +02:00 |
|
Philippe Antoine
|
3117c67a66
|
Updates result message to be more precise
|
2020-07-10 14:26:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
567984af3d
|
C++: Remove abstract classes from Stmt.qll
|
2020-07-10 14:21:56 +02:00 |
|
Mathias Vorreiter Pedersen
|
2e9c0fc6a5
|
C++: Cache the TIRDataFlowNode newtype
|
2020-07-10 11:10:41 +02:00 |
|
Robert Marsh
|
05685cc896
|
Merge pull request #3919 from dbartol/dbartol/IgnoreAutoBuilder
C++: Add `.gitignore` for autobuilder
|
2020-07-09 15:02:52 -07:00 |
|
Andrew Eisenberg
|
782759d58e
|
Add the printAst.ql contextual query for C++
This query will be used by the VS Code extension for viewing
ASTs of C/C++ files.
|
2020-07-09 08:28:49 -07:00 |
|
Philippe Antoine
|
50f2f69f5f
|
indent comments
|
2020-07-09 16:14:26 +02:00 |
|
Philippe Antoine
|
06c8a0bf20
|
move to experimental
|
2020-07-09 16:09:57 +02:00 |
|