Robert Brignull
|
6e0552c074
|
add more code-scanning suites
|
2020-06-01 11:45:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
cd574e8569
|
Merge pull request #3589 from rdmarsh2/ir-placement-new-consistency
C++: fix IR control flow for cast in placement new
|
2020-05-30 13:27:34 +02:00 |
|
Robert Marsh
|
e17adf14dc
|
C++: autoformat
|
2020-05-29 16:13:40 -07:00 |
|
Robert Marsh
|
f8b6e07391
|
C++: Added QLDoc for Element.qll-Include.qll
|
2020-05-29 16:09:19 -07:00 |
|
Robert Marsh
|
1c20714c62
|
C++: file QLDoc for AutogeneratedFile-Diagnostics
|
2020-05-29 14:58:01 -07:00 |
|
Robert Marsh
|
45e555cff0
|
C++: accept inconsistency with unreachable exit block
|
2020-05-29 14:43:48 -07:00 |
|
Robert Marsh
|
5ee37bcd5a
|
Merge branch 'master' into ir-this-parameter-2
Bring in fix for duplicate virtual variables for parameter indirections
|
2020-05-29 14:40:45 -07:00 |
|
Jonas Jensen
|
91da0d5567
|
Merge pull request #3592 from geoffw0/strlen
CPP: Don't taint the return value of strlen
|
2020-05-29 19:23:47 +02:00 |
|
Robert Marsh
|
f8cfcef9c9
|
C++/C#: document isThisIndirection and sync files
|
2020-05-29 09:52:03 -07:00 |
|
Robert Marsh
|
6c9051ae6f
|
C++: accept consistency fixes
|
2020-05-29 09:49:28 -07:00 |
|
Mathias Vorreiter Pedersen
|
3adc10fdb4
|
C++: Accept tests
|
2020-05-29 15:33:55 +02:00 |
|
Geoffrey White
|
f534f09784
|
C++: Autoformat.
|
2020-05-29 14:05:08 +01:00 |
|
Geoffrey White
|
19c33ab41c
|
C++: Refine StrLenFunction, including removal of taint flow.
|
2020-05-29 14:04:27 +01:00 |
|
Geoffrey White
|
705529cdf7
|
C++: Split StrLenFunction from PureStrFunction (without changes).
|
2020-05-29 14:04:27 +01:00 |
|
Geoffrey White
|
59cb5f9b1e
|
C++: Remove a special case for strlen in DefaultTaintTracking.
|
2020-05-29 14:04:26 +01:00 |
|
Geoffrey White
|
408e38a4d4
|
C++: Clarify which taint tracking libraries should be used somewhat.
|
2020-05-29 14:04:26 +01:00 |
|
Geoffrey White
|
d77092c931
|
C++: Add taint tests for strlen.
|
2020-05-29 13:39:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
a0603692cb
|
C++: Add LoadChain and StoreChain nodes to handle reverse reads in dataflow
|
2020-05-29 13:53:53 +02:00 |
|
Jonas Jensen
|
453de6bf4e
|
Merge pull request #3583 from MathiasVP/qldoc-for-unix-constants
C++: QLDoc for Constants
|
2020-05-29 12:27:59 +02:00 |
|
Mathias Vorreiter Pedersen
|
335baaef73
|
C++: Add testcases for partial definitions with long access paths
|
2020-05-29 12:15:39 +02:00 |
|
Jonas Jensen
|
7d4d435f25
|
Merge remote-tracking branch 'upstream/master' into Expr-location-workaround
Conflicts:
cpp/ql/test/library-tests/dataflow/fields/dataflow-ir-consistency.expected
|
2020-05-29 10:04:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
a305d39111
|
Merge pull request #3577 from dbartol/github/codeql-c-analysis-team/69
C++: Fix `MemoryLocation` with multiple `VirtualVariables`
|
2020-05-29 09:40:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
0467995f4f
|
C++: Make explicit that O_CREAT and O_EXCL are Linux-specific
|
2020-05-29 09:36:08 +02:00 |
|
Jonas Jensen
|
9813258a3e
|
Merge remote-tracking branch 'upstream/master' into Expr-location-workaround
Conflicts and semantic conflicts in `library-tests/dataflow/fields` and
`library-tests/ir/ir`.
|
2020-05-29 08:44:37 +02:00 |
|
Jonas Jensen
|
87ad519541
|
Merge pull request #3569 from geoffw0/strftime
C++: Taint flow consistency change for strftime
|
2020-05-29 08:05:25 +02:00 |
|
Robert Marsh
|
a638a08bc5
|
C++: autoformat
|
2020-05-28 17:06:14 -07:00 |
|
Robert Marsh
|
f82c97b84a
|
C++: fix IR control flow for cast in placement new
|
2020-05-28 16:53:21 -07:00 |
|
Robert Marsh
|
56d0762380
|
C++: add test for placement new with cast
|
2020-05-28 16:36:26 -07:00 |
|
Robert Marsh
|
732da9cc4c
|
Merge pull request #3586 from MathiasVP/qldoc-for-remaining-controlflow
C++: QLDoc for the remaining elements in the controlflow directory
|
2020-05-28 15:59:19 -07:00 |
|
Robert Marsh
|
a897caec76
|
C++: outbound dataflow via this indirections
|
2020-05-28 15:30:41 -07:00 |
|
Robert Marsh
|
7dc30e3fdc
|
C++: add output indirections for this
|
2020-05-28 15:30:41 -07:00 |
|
Dave Bartolomeo
|
476f27e427
|
Merge from master
|
2020-05-28 17:27:08 -04:00 |
|
Dave Bartolomeo
|
01ef8795bf
|
C++: Updated fixed test expectation
|
2020-05-28 17:24:38 -04:00 |
|
Robert Marsh
|
d8b5d3bce8
|
C++: accept test fixes
|
2020-05-28 08:45:01 -07:00 |
|
Robert Marsh
|
693789c2cc
|
Merge branch 'master' into ir-this-parameter
Bring in new tests so their output can be fixed
|
2020-05-28 08:32:10 -07:00 |
|
Mathias Vorreiter Pedersen
|
7b2c9c5aed
|
C++: Add quotes to improve readability.
|
2020-05-28 16:48:48 +02:00 |
|
Mathias Vorreiter Pedersen
|
5fb79cde9a
|
C++: Sync identical files
|
2020-05-28 16:45:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
0671586aac
|
C++: QLDoc for the remaining elements in the controlflow directory
|
2020-05-28 16:35:46 +02:00 |
|
Geoffrey White
|
6fcfd0310f
|
C++: Autoformat.
|
2020-05-28 15:23:48 +01:00 |
|
Geoffrey White
|
c9e1ccf320
|
Merge branch 'master' into strftime
|
2020-05-28 15:22:16 +01:00 |
|
Jonas Jensen
|
688f540843
|
Merge pull request #3582 from MathiasVP/qldoc-for-controlflow
C++: QLDoc for BasicBlock, ControlFlowGraph and Dataflow
|
2020-05-28 13:52:43 +02:00 |
|
Mathias Vorreiter Pedersen
|
1ef0643b60
|
C++: QLDoc for Constants
|
2020-05-28 12:24:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
52da5755b3
|
C++: Respond to review comments.
|
2020-05-28 11:20:13 +02:00 |
|
Jonas Jensen
|
1b23f3ec90
|
C++: Accept two more changed tests
|
2020-05-28 11:18:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
3d27b6bbde
|
C++: QLDoc for BasicBlock, ControlFlowGraph and Dataflow
|
2020-05-28 10:10:26 +02:00 |
|
Jonas Jensen
|
9153f568be
|
C++: Accept test results with location fixes
|
2020-05-28 09:42:49 +02:00 |
|
Jonas Jensen
|
6eaf64c896
|
Merge remote-tracking branch 'upstream/master' into Expr-location-workaround
|
2020-05-28 09:37:15 +02:00 |
|
Robert Marsh
|
54ed5d647a
|
C++:autoformat
|
2020-05-27 19:30:02 -07:00 |
|
Robert Marsh
|
58673c449a
|
C++: switch to TranslatedThisParameter
|
2020-05-27 19:29:29 -07:00 |
|
Robert Marsh
|
593d4c0f32
|
Merge pull request #3567 from MathiasVP/ir-partial-definition
Implement `asPartialDefinition` for IR dataflow nodes
|
2020-05-27 13:51:41 -07:00 |
|