Geoffrey White
|
6427e9658b
|
CPP: Remove successor edges from non-returning functions from the control flow graph.
|
2018-10-30 14:25:32 +00:00 |
|
Geoffrey White
|
44f5e26fb0
|
CPP: More test cases.
|
2018-10-30 14:20:48 +00:00 |
|
Geoffrey White
|
a346f412bc
|
CPP: Add test cases.
|
2018-10-30 14:11:36 +00:00 |
|
Jonas Jensen
|
3340e79aad
|
Merge pull request #371 from ian-semmle/av85
C++: Fix AV Rule 85
|
2018-10-30 08:40:43 +01:00 |
|
Ian Lynagh
|
94347aef9b
|
C++: AV Rule 85: Check templates rather than instantiations
|
2018-10-29 15:04:30 +00:00 |
|
Aditya Sharad
|
56ee5ff99a
|
Merge master into next.
`master` up to and including cfe0b8803a.
|
2018-10-25 15:32:47 +01:00 |
|
Ian Lynagh
|
eef8719a40
|
C++: Fix AV Rule 85
We have to be careful to avoid giving alerts to functions that might be
correctly defined, but we can't see the definition as it wasn't
instantiated.
|
2018-10-25 14:26:31 +01:00 |
|
Jonas Jensen
|
5cbfdd1029
|
C++: Cover more cases of returning *this
|
2018-10-25 10:41:56 +02:00 |
|
Jonas Jensen
|
d144f0d154
|
C++: Test for unreachable return statement
This test shows that the previous fix did not solve the problem where a
bad return statement exists but is unreachable.
|
2018-10-25 09:42:15 +02:00 |
|
Jonas Jensen
|
3c6bed4de6
|
C++: FP fix for "operator= doesn't return *this"
|
2018-10-24 15:44:00 +02:00 |
|
Jonas Jensen
|
47a548f564
|
C++: FP test for "operator= doesn't return *this"
This rule should not apply to functions that never return.
|
2018-10-24 15:42:39 +02:00 |
|
Jonas Jensen
|
7affbe4a7d
|
Merge pull request #341 from geoffw0/av_114
CPP: Improve AV Rule 114.ql's understanding of return types.
|
2018-10-24 09:39:51 +02:00 |
|
Geoffrey White
|
dda7069890
|
CPP: Look for destructors in the template.
|
2018-10-23 13:05:43 +01:00 |
|
Geoffrey White
|
76a5072c8b
|
CPP: Change in results presumed to result from discover_walk extractor changes.
|
2018-10-23 13:05:43 +01:00 |
|
Geoffrey White
|
b861df0887
|
CPP: Fix issue when destructor body is missing.
|
2018-10-23 13:05:42 +01:00 |
|
Geoffrey White
|
5931a978dc
|
CPP: Add a test of a template instantiation where the destructor is never called.
|
2018-10-23 13:05:42 +01:00 |
|
Geoffrey White
|
f20af4906b
|
CPP: Add a test of a Shutdown / Clear method.
|
2018-10-23 13:05:42 +01:00 |
|
Geoffrey White
|
5158984613
|
CPP: Fix the issue.
|
2018-10-19 22:51:35 +01:00 |
|
Geoffrey White
|
c97a5ed292
|
CPP: Add tests of AV Rule 114.ql with non-trivial return types.
|
2018-10-19 22:49:53 +01:00 |
|
Ian Lynagh
|
894a37ccda
|
C++: Accept test changes
|
2018-10-18 12:36:42 +01:00 |
|
Dave Bartolomeo
|
aa267c8302
|
C++: Force LF for .c,.cpp,.h,.hpp
|
2018-09-23 16:23:52 -07:00 |
|
Geoffrey White
|
3922082e7d
|
CPP: Tidy and simplify AV Rule 79.ql.
|
2018-09-21 19:35:23 +01:00 |
|
Geoffrey White
|
d5a48ad63e
|
CPP: Additional test cases.
|
2018-09-21 15:55:29 +01:00 |
|
Geoffrey White
|
84f9900c8c
|
CPP: Exclude placement new.
|
2018-09-21 10:53:42 +01:00 |
|
Geoffrey White
|
c7aa5c169b
|
CPP: Add a test of placement new for AV Rule 79.ql.
|
2018-09-21 10:47:00 +01:00 |
|
Ian Lynagh
|
d2b4265b73
|
C++: Improve the JSF 3.02 rule 1 message, and add a test
|
2018-08-15 15:26:18 +01:00 |
|
Pavel Avgustinov
|
b55526aa58
|
QL code and tests for C#/C++/JavaScript.
|
2018-08-02 17:53:23 +01:00 |
|