Geoffrey White
cd13e5877f
CPP: Performance improvement.
2019-02-21 11:31:44 +00:00
Geoffrey White
d30bcb6fcf
CPP: Widen allocReachedVariable slightly.
2019-02-20 10:19:57 +00:00
Geoffrey White
8b2405b267
CPP: Update severity/precision of LargeParameter.ql.
2019-02-08 15:23:57 +00:00
Patrik Schönfeldt
ac249cdbbe
Fix reccomendation for LargeParameter (C++)
...
The previous reccomentation changed the behaviour of the code.
A user following the advice might have broken her/his code:
With call-by-value, the original parameter is not changed.
With a call-by-reference, however, it may be changed. To be sure,
nothing breaks by blindly following the advice, suggest to pass a
const reference.
2019-02-03 15:44:13 +01:00
Jonas Jensen
08db4cd959
Merge pull request #744 from geoffw0/format
...
CPP: Autoformat some untidy files
2019-01-14 21:31:17 +01:00
Jonas Jensen
1cc36dd969
C++: Exclude copy assignment in LargeParameter.ql
...
The purpose of the copy assignment operator is to copy the object, so we
should not complain that a copy happens when passing the parameter. See
https://en.wikibooks.org/wiki/More_C++_Idioms/Copy-and-swap for details.
2019-01-11 12:00:02 +01:00
Geoffrey White
87569d14b9
CPP: QLDoc comments.
2019-01-10 17:38:42 +00:00
Geoffrey White
ba3bc1596b
CPP: Manual fixup.
2019-01-10 15:28:13 +00:00
Geoffrey White
346bc1ac62
CPP: Autoformat some code from Critical.
2019-01-10 10:40:39 +00:00
Aditya Sharad
c20b688a3f
Merge master into next.
2018-11-23 16:36:31 +00:00
Geoffrey White
cb609f4be0
CPP: Be conservative where there are multiple flow sources.
2018-11-22 15:50:13 +00:00
Geoffrey White
d57574e92c
CPP: localFlowStep* -> localFlow.
2018-11-22 15:50:13 +00:00
Geoffrey White
ea56a5d9ce
CPP: Add local dataflow to (one bit of) OverflowStatic.ql.
2018-11-22 15:49:13 +00:00
Pavel Avgustinov
16ec9f1aa4
Merge remote-tracking branch 'origin/next' into bump/master-next
2018-11-19 10:37:07 +00:00
Felicity Chapman
5c924307ca
Remove incorrect comment from query
2018-11-17 13:03:46 +00:00
Geoffrey White
0d7c5eaa6e
Merge pull request #441 from felicity-semmle/cpp/SD-2777-cwe-qhelp
...
C++: Bring qhelp inline with current guidelines, part 1 (SD-2777)
2018-11-15 11:38:23 +00:00
Felicity Chapman
1776ebd991
Fix typo in code tag
2018-11-15 08:14:08 +00:00
Felicity Chapman
fbf5a052ed
Remove stray </p> tag
2018-11-15 07:09:11 +00:00
Felicity Chapman
6312f31f59
Remove the duplicate overview tag
2018-11-14 22:08:59 +00:00
Felicity Chapman
c6af79979c
Update for feedback
2018-11-13 16:50:00 +00:00
Felicity Chapman
2e8f51a545
Update to bring into line with current guidelines
2018-11-12 15:30:19 +00:00
Felicity Chapman
978fc4928f
Fix syntax errors in qhelp files
2018-11-12 10:55:13 +00:00
Felicity Chapman
72ac2e5498
Fix typos
2018-11-12 09:52:00 +00:00
Jonas Jensen
e9dac22cfd
Merge pull request #446 from geoffw0/minor-corrections
...
CPP: Minor corrections to examples
2018-11-12 09:30:39 +01:00
Geoffrey White
e645166fee
CPP: Make InconsistentNullnessTest.cpp example plausible.
2018-11-09 11:41:02 +00:00
Geoffrey White
d5c6f4fd64
CPP: Correct typo in OverflowCalculated.cpp example.
2018-11-09 11:38:33 +00:00
Felicity Chapman
3d779ddebb
Bring qhelp inline with current guidelines
2018-11-08 18:37:41 +00:00
Dave Bartolomeo
5bf88f0f0a
C++: Fix mixed tabs and spaces in non-test code
2018-11-07 11:32:17 -08:00
semmledocs-ac
1f390f2f77
Merge pull request #326 from rdmarsh2/rdmarsh/cpp/dead-code-goto
...
C++: new query for dead code after goto or break
2018-10-23 16:55:14 +01:00
Robert Marsh
7bcc4379fc
C++: accept loops with arbitrary labels or cases
2018-10-22 09:59:49 -07:00
Robert Marsh
b40219bb01
C++: add good example for DeadCodeGoto
2018-10-17 11:58:51 -07:00
Robert Marsh
17537bb88b
C++: respond to doc comments
2018-10-17 11:57:54 -07:00
Geoffrey White
757107660f
CPP: Give the query a precision.
2018-10-17 13:25:44 +01:00
Geoffrey White
48c56cf744
CPP: Remove PointsTo.
2018-10-17 13:25:43 +01:00
Geoffrey White
99374301b8
CPP: Use taint library.
2018-10-17 13:25:43 +01:00
Geoffrey White
e77f3eb5b8
CPP: Simplify slightly.
2018-10-17 13:25:43 +01:00
Geoffrey White
939a836393
CPP: Add some comments.
2018-10-17 13:25:43 +01:00
Geoffrey White
f85889d052
CPP: Fix the example code.
2018-10-17 13:25:43 +01:00
Robert Marsh
61f338449c
C++: Change note and precision for DeadCodeGoto.ql
2018-10-16 15:40:59 -07:00
Robert Marsh
73cae5390e
C++: new query for dead code after goto or break
2018-10-16 15:37:06 -07:00
Dave Bartolomeo
aa267c8302
C++: Force LF for .c,.cpp,.h,.hpp
2018-09-23 16:23:52 -07:00
Geoffrey White
3e18a9b885
CPP: Improve the special case for realloc in MemoryMayNotBeFreed.ql.
2018-09-03 08:30:05 +01:00
Robert Marsh
f280de7ae3
C++: add security tags to more queries
2018-08-08 13:55:36 -07:00
Pavel Avgustinov
b55526aa58
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
