Jonas Jensen
|
b1745f588c
|
Merge pull request #2402 from geoffw0/nospace
CPP: Make NoSpaceForZeroTerminator.ql more conservative.
|
2019-11-26 13:36:05 +01:00 |
|
semmle-qlci
|
d58a6b02bf
|
Merge pull request #2396 from hvitved/dataflow/erased-type-class
Approved by aschackmull, jbj
|
2019-11-25 15:22:13 +00:00 |
|
Tom Hvitved
|
a26efdf4c1
|
Java/C++/C#: Rename DataFlowErasedType back to DataFlowType
|
2019-11-25 11:43:58 +01:00 |
|
Jonas Jensen
|
8f3998915b
|
Merge pull request #2376 from geoffw0/qhelpms2
CPP: Recommendations and examples for TlsSettingsMisconfiguration.qhelp and UseOfDeprecatedHardCodedProtocol.qhelp
|
2019-11-25 08:17:32 +01:00 |
|
Geoffrey White
|
cdbe920067
|
CPP: Remove second overview paragraph.
|
2019-11-22 16:22:08 +00:00 |
|
Geoffrey White
|
5a346c357b
|
Update cpp/ql/src/Likely Bugs/Protocols/UseOfDeprecatedHardcodedProtocolGood.cpp
Co-Authored-By: Jonas Jensen <jbj@github.com>
|
2019-11-22 16:21:24 +00:00 |
|
Geoffrey White
|
0c07fa44a1
|
Update cpp/ql/src/Likely Bugs/Protocols/UseOfDeprecatedHardcodedProtocol.qhelp
Co-Authored-By: Alistair <54933897+hubwriter@users.noreply.github.com>
|
2019-11-22 16:21:05 +00:00 |
|
Geoffrey White
|
ac1010872b
|
Update cpp/ql/src/Likely Bugs/Protocols/UseOfDeprecatedHardcodedProtocol.qhelp
Co-Authored-By: Alistair <54933897+hubwriter@users.noreply.github.com>
|
2019-11-22 16:20:54 +00:00 |
|
Geoffrey White
|
e274e01432
|
CPP: More consistency.
|
2019-11-22 16:08:00 +00:00 |
|
Geoffrey White
|
d4f75c1c2a
|
CPP: Consistency.
|
2019-11-22 16:07:59 +00:00 |
|
Geoffrey White
|
384cf4b233
|
CPP: Recommendation and example for UseOfDeprecatedHardcodedProtocol.qhelp.
|
2019-11-22 16:07:59 +00:00 |
|
Geoffrey White
|
8fc59ebac4
|
CPP: I believe these BUG labels were incorrect.
|
2019-11-22 16:07:59 +00:00 |
|
Geoffrey White
|
21d8264d80
|
CPP: Fix typo.
|
2019-11-22 16:07:59 +00:00 |
|
Geoffrey White
|
a1b603e73c
|
CPP: Add the examples to the test.
|
2019-11-22 16:07:59 +00:00 |
|
Geoffrey White
|
3cd545d186
|
CPP: Recommendation and example for TlsSettingsMisconfiguration.qhelp.
|
2019-11-22 16:07:59 +00:00 |
|
Geoffrey White
|
794a3deba9
|
CPP: Break up a long sentence in query description.
|
2019-11-22 16:07:59 +00:00 |
|
Geoffrey White
|
d6cbc674b6
|
CPP: Autoformat.
|
2019-11-22 15:13:06 +00:00 |
|
Geoffrey White
|
bbe6a1aa76
|
CPP: Additional test case.
|
2019-11-22 15:13:05 +00:00 |
|
Robert Marsh
|
dbe885fd38
|
Merge pull request #1926 from jbj/ir-dataflow-toString
C++: DataFlow::Node.toString consistency
|
2019-11-21 10:20:35 -08:00 |
|
Geoffrey White
|
676e8a2c2e
|
Merge pull request #2399 from jbj/ExprHasNoEffect-templates
C++: Suppress ExprHasNoEffect on template code
|
2019-11-21 18:01:41 +00:00 |
|
Geoffrey White
|
403899ecbc
|
Merge pull request #2391 from jbj/CompareWhereAssignMeant-decltype
C++: Fix FP for expression SFINAE with decltype
|
2019-11-20 17:34:09 +00:00 |
|
Geoffrey White
|
2212c47db2
|
CPP: Use dataflow more consistently.
|
2019-11-20 15:34:40 +00:00 |
|
Geoffrey White
|
e6ea705ff2
|
CPP: Switch from a blacklist to whitelist approach for determining null termination.
|
2019-11-20 15:34:38 +00:00 |
|
Geoffrey White
|
fbd9d9bdab
|
CPP: Add a test case involving the std::string constructor.
|
2019-11-20 15:20:21 +00:00 |
|
Jonas Jensen
|
ff96e3a8ea
|
C++: Also suppress ExprHasNoEffect in declspec etc
|
2019-11-20 15:44:39 +01:00 |
|
Geoffrey White
|
6fc9cc5952
|
CPP: Add a test case using 'new'.
|
2019-11-20 14:27:19 +00:00 |
|
Geoffrey White
|
57c7a87af9
|
CPP: Add tests with different proof of zero-termination.
|
2019-11-20 14:27:19 +00:00 |
|
Geoffrey White
|
3c9fe91581
|
CPP: Add proof of zero-termination to tests.
|
2019-11-20 14:27:19 +00:00 |
|
Jonas Jensen
|
b325427d29
|
C++: Suppress ExprHasNoEffect on template code
|
2019-11-20 15:12:25 +01:00 |
|
Tom Hvitved
|
acc7d5298d
|
Data flow: Sync files
|
2019-11-20 14:10:02 +01:00 |
|
Tom Hvitved
|
6c0dbcfca2
|
Java/C++: Add DataFlowErasedType aliases
|
2019-11-20 14:09:53 +01:00 |
|
Jonas Jensen
|
4dafa16572
|
C++: Fix FP on unevaluated code
This fixes false positives on tenzir/vast.
|
2019-11-20 10:42:36 +01:00 |
|
Geoffrey White
|
9cf819929d
|
Merge pull request #2383 from jbj/field-isStatic
C++: Don't check if a Field is static
|
2019-11-20 09:05:03 +00:00 |
|
Jonas Jensen
|
a1af96e521
|
C++: Reproduce a reported FP
|
2019-11-19 16:17:49 +01:00 |
|
Jonas Jensen
|
c41114334f
|
Merge remote-tracking branch 'upstream/master' into ir-dataflow-toString
Solved conflicts in `*.expected` by re-running the tests.
|
2019-11-19 14:27:27 +01:00 |
|
Jonas Jensen
|
fbf2ef8625
|
C++: Don't check if a Field is static
A `Field` in the C++ QL libraries can't be static, but I'd for some
reason written two checks for `Field`s being static in the data-flow
library.
|
2019-11-19 13:20:21 +01:00 |
|
Jonas Jensen
|
b43cbeb17f
|
Merge pull request #2372 from geoffw0/qhelpms
CPP: Improve TlsSettingsMisconfiguration qhelp
|
2019-11-19 13:05:52 +01:00 |
|
Calum Grant
|
b9d1c38753
|
Merge pull request #2371 from max-schaefer/rc/1.23
Merge rc/1.23 into master
|
2019-11-18 14:15:31 +00:00 |
|
Nick Rolfe
|
9828315b6e
|
Merge pull request #2033 from ian-semmle/edg
C++: Changes following EDG upgrade
|
2019-11-18 12:46:11 +00:00 |
|
Geoffrey White
|
ff15c01ab9
|
CPP: Comma.
|
2019-11-18 11:51:54 +00:00 |
|
Geoffrey White
|
9a53706e87
|
CPP: Reword TlsSettingsMisconfiguration.qhelp.
|
2019-11-18 11:49:28 +00:00 |
|
Geoffrey White
|
2789c2dbac
|
CPP: Fix typos.
|
2019-11-18 11:48:13 +00:00 |
|
Jonas Jensen
|
74ca0e428d
|
Merge pull request #2334 from rdmarsh2/rdmarsh/cpp/reword-pointeroverflow-qhelp
C++: simplify PointerOverflow.qhelp
|
2019-11-18 08:37:19 +01:00 |
|
Robert Marsh
|
85314c42a9
|
Update cpp/ql/src/Likely Bugs/Memory Management/PointerOverflow.qhelp
Co-Authored-By: Jonas Jensen <jbj@github.com>
|
2019-11-15 10:38:58 -08:00 |
|
yh-semmle
|
de65f023d6
|
Merge pull request #2167 from aschackmull/java/dataflow-out-of-arg-refactor
Java/C++/C#: Refactor dataflow to simplify return flow.
|
2019-11-15 11:10:06 -05:00 |
|
Ian Lynagh
|
4442fd8407
|
C++: Accept changes to syntax-zoo tests
|
2019-11-15 14:42:36 +00:00 |
|
Ian Lynagh
|
2cf714a923
|
C++: Follow changes in lambda locations
|
2019-11-15 14:42:36 +00:00 |
|
Ian Lynagh
|
8e00516ecf
|
C++: Accept changes in ir test
|
2019-11-15 14:42:36 +00:00 |
|
Jonas Jensen
|
73d9cc2e7b
|
Merge pull request #2309 from geoffw0/cpp418
CPP: QLDoc enhancements
|
2019-11-15 08:46:08 +01:00 |
|
Robert Marsh
|
562f62879f
|
C++: rename variables in PointerOverflow examples
|
2019-11-14 15:21:26 -08:00 |
|