Geoffrey White
|
2b349b3024
|
Merge pull request #7295 from geoffw0/cwe260
C++: Add CWE tags to some queries.
|
2021-12-02 14:41:34 +00:00 |
|
Geoffrey White
|
3043ac850c
|
C++: Update security-severity tags.
|
2021-12-02 14:04:49 +00:00 |
|
Geoffrey White
|
eccba57536
|
C++: Add CWE-327 tag to cpp/boost/use-of-deprecated-hardcoded-security-protocol.
|
2021-12-02 12:32:14 +00:00 |
|
Geoffrey White
|
7aa6c62050
|
C++: Add CWE-326 tag to cpp/boost/tls-settings-misconfiguration.
|
2021-12-02 12:29:42 +00:00 |
|
Geoffrey White
|
913d8361ba
|
C++: Add CWE-260 tag to cpp/cleartext-storage-file.
|
2021-12-02 11:54:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
9f8326a3fa
|
Merge pull request #7243 from geoffw0/sslquery2
C++: New query for SSL certificates not checked
|
2021-12-01 15:02:19 +00:00 |
|
Anders Schack-Mulligen
|
cde853c095
|
Merge pull request #7270 from aschackmull/dataflow/stage2-refactor
Dataflow: Stage 2 refactor
|
2021-12-01 11:09:08 +01:00 |
|
Geoffrey White
|
4b221bd964
|
C++: Use guard.controls.
|
2021-11-30 15:44:48 +00:00 |
|
Anders Schack-Mulligen
|
3e914ef2ff
|
Dataflow: Sync.
|
2021-11-30 13:52:52 +01:00 |
|
Paolo Tranquilli
|
3f218c903b
|
C++: add some more range analysis tests
Add more covering for integer conversions and some unsigned bit
manipulation.
|
2021-11-30 11:29:02 +00:00 |
|
Geoffrey White
|
8f270b665c
|
C++: Fix test comments.
|
2021-11-30 08:56:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
f4555ed1a2
|
Merge pull request #7242 from geoffw0/sslquery
|
2021-11-30 07:01:33 +00:00 |
|
Geoffrey White
|
88fb1a18cb
|
C++: Correct the doc.
|
2021-11-29 13:09:12 +00:00 |
|
Geoffrey White
|
d79337774d
|
Update cpp/ql/src/Security/CWE/CWE-295/SSLResultNotChecked.qhelp
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-11-29 12:33:05 +00:00 |
|
Anders Schack-Mulligen
|
00ee34c0a0
|
Merge pull request #7237 from hvitved/dataflow/consistency-config
Data flow: Introduce `ConsistencyConfiguration` class
|
2021-11-26 12:49:25 +01:00 |
|
Geoffrey White
|
f96968975b
|
C++: Change note.
|
2021-11-25 15:49:41 +00:00 |
|
Geoffrey White
|
e98ab5d2c2
|
C++: Add security-severity tag and provisional precision.
|
2021-11-25 15:49:40 +00:00 |
|
Geoffrey White
|
e9ce29664e
|
C++: Qldoc.
|
2021-11-25 15:48:12 +00:00 |
|
Geoffrey White
|
1d358c5f77
|
C++: Change note.
|
2021-11-25 14:04:47 +00:00 |
|
Anders Schack-Mulligen
|
a06642944f
|
Merge pull request #7232 from aschackmull/dataflow/perf
Data flow: Performance tuning
|
2021-11-25 15:01:01 +01:00 |
|
Geoffrey White
|
f5b40731d6
|
C++: Add security-severity tag and provisional precision.
|
2021-11-25 13:59:21 +00:00 |
|
Tom Hvitved
|
6cb00992e8
|
Data flow: Introduce ConsistencyConfiguration class
|
2021-11-25 10:01:47 +01:00 |
|
Geoffrey White
|
4c5faaf985
|
C++: Autoformat result not checked query.
|
2021-11-24 18:26:39 +00:00 |
|
Geoffrey White
|
8abaf1247a
|
C++: Clean up result not checked query.
|
2021-11-24 18:26:39 +00:00 |
|
Geoffrey White
|
5ffbf563b8
|
C++: Add metadata for result not checked query.
|
2021-11-24 18:26:38 +00:00 |
|
Geoffrey White
|
72a03257e7
|
C++: Add qhelp for result not checked query.
|
2021-11-24 18:26:38 +00:00 |
|
Geoffrey White
|
5eb814fd8b
|
C++: Prototype SSL result not checked query.
|
2021-11-24 18:26:37 +00:00 |
|
Geoffrey White
|
7869733ab5
|
C++: Autoformat result conflation query.
|
2021-11-24 18:25:58 +00:00 |
|
Geoffrey White
|
88b6bd9478
|
C++: Switch result conflation query to a slightly simpler dataflow-only approach.
|
2021-11-24 18:25:57 +00:00 |
|
Geoffrey White
|
ce2b86b9e3
|
C++: Add metadata for result conflation query.
|
2021-11-24 18:25:57 +00:00 |
|
Geoffrey White
|
2eae6a3e9a
|
C++: Add qhelp for result conflation query.
|
2021-11-24 18:25:56 +00:00 |
|
Geoffrey White
|
6afcbce421
|
C++: Prototype SSL result conflation query.
|
2021-11-24 18:22:24 +00:00 |
|
Anders Schack-Mulligen
|
7ca3407c86
|
Dataflow: Sync.
|
2021-11-24 14:43:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c7a01d3d5
|
C++: Add some comments to the two 'flowThrough' predicates.
|
2021-11-24 10:50:44 +00:00 |
|
Mathias Vorreiter Pedersen
|
2e7ddb479e
|
C++: Accept test changes.
|
2021-11-24 09:41:00 +00:00 |
|
Mathias Vorreiter Pedersen
|
4cbfc306ac
|
C++: Hide dataflow nodes if they're just used for flow-through for read steps or store steps.
|
2021-11-24 08:01:44 +00:00 |
|
Paolo Tranquilli
|
055017de49
|
fix how non existing locations are accounted for
|
2021-11-23 15:28:16 +00:00 |
|
Paolo Tranquilli
|
9538ac73e4
|
account for non-existing locations
|
2021-11-23 15:28:16 +00:00 |
|
Paolo Tranquilli
|
d626745ab1
|
fix ThisArgumentOperand location
The correct check to do to choose between using `getAnyDef` and `getUse`
is to check whether the location is an instance of UknonwnLocation.
|
2021-11-23 15:28:16 +00:00 |
|
Paolo Tranquilli
|
e99a040884
|
implement review suggestions
|
2021-11-23 15:28:16 +00:00 |
|
Paolo Tranquilli
|
8b44d5c39e
|
sync files
|
2021-11-23 15:28:15 +00:00 |
|
Paolo Tranquilli
|
30805d964c
|
add ThisArgumentOperand special case
|
2021-11-23 15:28:15 +00:00 |
|
Paolo Tranquilli
|
9b818a04f2
|
sync
|
2021-11-23 15:28:15 +00:00 |
|
Paolo Tranquilli
|
0bb11fa371
|
fix PrintAST test run
The refactored shouldDumpFunction was now rejecting functions without a
location. This is fixed now.
|
2021-11-23 15:28:15 +00:00 |
|
Paolo Tranquilli
|
0547e4ccf2
|
update further test with new locations
|
2021-11-23 15:28:15 +00:00 |
|
Paolo Tranquilli
|
d4e80c664e
|
replace shouldDump -> shouldDumpLocation
|
2021-11-23 15:28:15 +00:00 |
|
Paolo Tranquilli
|
4498657384
|
Apply suggestions from code review
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-11-23 15:28:15 +00:00 |
|
Paolo Tranquilli
|
28806fe5f4
|
update test results after operand location changes
|
2021-11-23 15:28:15 +00:00 |
|
Paolo Tranquilli
|
6072ccd81d
|
auto-format
|
2021-11-23 15:28:15 +00:00 |
|
Paolo Tranquilli
|
0ff9520575
|
...and syncing files again
|
2021-11-23 15:28:15 +00:00 |
|