Jonas Jensen
a4bd586907
Merge pull request #456 from geoffw0/query-tags
...
CPP: Query tags 1
2018-11-21 16:13:23 +01:00
ian-semmle
366934f884
Merge pull request #350 from geoffw0/cpp-205-detail
...
CPP: Add detail to the CPP-205 test
2018-11-21 13:30:53 +00:00
Jonas Jensen
4e2d40aad8
Merge pull request #484 from geoffw0/limitedscopefile
...
CPP: Fix Limitedscopefile.ql
2018-11-21 14:30:48 +01:00
Geoffrey White
b4846dc995
CPP: Modify NVIHub.ql.
2018-11-21 13:11:08 +00:00
Jonas Jensen
f177e348bd
Merge pull request #471 from geoffw0/query-tags-2
...
CPP: Query tags 2 (JSF queries)
2018-11-21 11:43:29 +01:00
Dave Bartolomeo
3715215b3f
C++: Add IR support for ConditionalDeclExpr
...
Also fixes several places in the library that weren't handling `ConditionalDeclExpr` correctly.
2018-11-21 00:14:44 -08:00
Dave Bartolomeo
07f9fe6ee4
C++: Add Uninitialized instruction for list-initialized variables
...
This commit inserts an `Uninitialized` instruction to "initialize" a local variable when that variable is initialized with an initializer list. This ensures that there is always a definition of the whole variable before any read or write to part of that variable.
This change appears in a different form in @rdmarsh2's Chi node PR, but I needed to refactor the initialization code anyway to handle ConditionDeclExpr.
2018-11-20 16:12:44 -08:00
Geoffrey White
3c7ed9b7ab
CPP: Fix typo.
2018-11-20 17:13:23 +00:00
Geoffrey White
8aeaf0bc8e
CPP: Add an external/jsf tag as well.
2018-11-20 17:13:23 +00:00
Geoffrey White
bb7da78c95
CPP: Tag the JSF queries.
2018-11-20 17:13:22 +00:00
Geoffrey White
9922e36590
CPP: Add missing file.
2018-11-20 16:55:10 +00:00
Geoffrey White
0493b68b50
Merge pull request #497 from jbj/disable-no-virtual-destructor
...
C++: Remove @precision from AV Rule 78
2018-11-20 16:44:36 +00:00
Jonas Jensen
33111b6b27
Merge pull request #498 from geoffw0/test-cleanup
...
CPP: Clean up some test code.
2018-11-20 14:44:52 +01:00
Geoffrey White
342164ff71
CPP: Clean up / normalize some test code.
2018-11-20 09:50:59 +00:00
Jonas Jensen
6c0305cb80
Merge pull request #495 from geoffw0/returnvalue
...
CPP: Fix 'Missing return statement'
2018-11-20 10:16:30 +01:00
Jonas Jensen
d7c2f9d185
C++: Remove @precision from AV Rule 78
...
This rule, named "No virtual destructor", was supposed to be superseded
by `cpp/virtual-destructor` in 0c796de83
2018-11-20 09:43:54 +01:00
Jonas Jensen
cc28d04ba7
Merge pull request #405 from geoffw0/selfcompare
...
CPP: Fix false positives in PointlessSelfComparison.ql
2018-11-20 09:25:10 +01:00
Geoffrey White
5cae65295d
CPP: Fix FPs from AV Rule 114.ql.
2018-11-19 16:09:40 +00:00
Geoffrey White
d18a7012f5
CPP: Add a test case.
2018-11-19 16:08:32 +00:00
Geoffrey White
33130b9800
CPP: Apply recommended fix.
2018-11-19 14:39:28 +00:00
Geoffrey White
6a14748af8
CPP: Add recommended test.
2018-11-19 14:25:11 +00:00
Jonas Jensen
111df470c3
Merge pull request #485 from geoffw0/limitedscopefunction
...
CPP: Fix Limitedscopefunction.ql
2018-11-19 14:51:20 +01:00
Jonas Jensen
6d17642240
Merge pull request #476 from geoffw0/av_165
...
CPP: Fix AV Rule 165
2018-11-19 14:32:02 +01:00
Jonas Jensen
2ce2c0a876
Merge pull request #475 from geoffw0/av_164
...
CPP: Fix AV Rule 164
2018-11-19 14:23:36 +01:00
Geoffrey White
cf27978325
CPP: Give OffsetUseBeforeRangeCheck.ql a precision.
2018-11-19 11:56:07 +00:00
Geoffrey White
e72505707b
CPP: Check for a range check before the use.
2018-11-19 11:49:22 +00:00
Geoffrey White
6cdfaeea3c
CPP: getAChild() -> getAChild*().
2018-11-19 11:47:14 +00:00
Geoffrey White
01611d4d96
CPP: Add a test for OffsetUseBeforeRangeCheck.ql.
2018-11-19 11:47:14 +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
d4bcc1e9d4
Add note to further file
2018-11-17 13:03:48 +00:00
Felicity Chapman
5c924307ca
Remove incorrect comment from query
2018-11-17 13:03:46 +00:00
Felicity Chapman
9ce1a2a040
Add JSF note to qhelp for sub-set of JSF queries
2018-11-17 13:03:45 +00:00
Geoffrey White
a51b9847b2
CPP: Modify similar query as well.
2018-11-16 22:49:35 +00:00
Geoffrey White
9f688eb7e2
CPP: Exclude variables that have non-function accesses.
2018-11-16 22:48:30 +00:00
Geoffrey White
2d07410f97
CPP: Exclude variables that are part of an interface.
2018-11-16 22:46:11 +00:00
Geoffrey White
b70c572e34
CPP: Add a test for LimitedScopeFunction.
2018-11-16 22:44:41 +00:00
Geoffrey White
1cba1d0b1a
CPP: Modify similar query as well.
2018-11-16 22:38:20 +00:00
Geoffrey White
e253ab54d7
CPP: Exclude variables that are part of an interface.
2018-11-16 22:38:16 +00:00
Geoffrey White
0e5d23e78b
CPP: Add a test of LimitedScopeFile.
2018-11-16 22:37:30 +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
Geoffrey White
d1adc0e3ec
CPP: Fix for explicitly cast expressions.
2018-11-14 19:43:24 +00:00
Geoffrey White
3028e85457
CPP: Add a test of AV Rule 164.
2018-11-14 19:40:29 +00:00
Geoffrey White
3f428a8876
CPP: Fix for explicitly cast expressions.
2018-11-14 19:11:56 +00:00
Geoffrey White
5cddabb1fd
CPP: Add a test of AV Rule 165.
2018-11-14 19:05:35 +00:00
Geoffrey White
01de4160c6
Merge pull request #453 from felicity-semmle/cpp/SD-2777-cwe-qhelp-2
...
C++: Update to bring into line with current guidelines, part 2 (SD-2777)
2018-11-14 17:27:25 +00:00
Geoffrey White
77ca0cf9cb
Merge pull request #438 from felicity-semmle/cpp/SD-2777-delete-poor-qhelp
...
C++: Delete qhelp files with little useful content (SD-2777)
2018-11-14 14:21:24 +00:00
Aditya Sharad
f0715b09e1
Merge master into next.
2018-11-14 10:06:27 +00:00
