hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 23:35:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix bug introduced in an earlier commit and accept test changes. They all look good.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-11-27 19:04:25 +00:00
parent 02428745bd
commit 3c0af498db
2 changed files with 2 additions and 195 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
View File

@@ -437,13 +437,13 @@ private predicate elementSpec(
private predicate isClassConstructedFrom(Class c, Class templateClass) {
c.isConstructedFrom(templateClass)
or
not any(Class c_).isConstructedFrom(templateClass) and c = templateClass
not c.isConstructedFrom(_) and c = templateClass
}
private predicate isFunctionConstructedFrom(Function f, Function templateFunc) {
f.isConstructedFrom(templateFunc)
or
not any(Function f_).isConstructedFrom(templateFunc) and f = templateFunc
not f.isConstructedFrom(_) and f = templateFunc
}
/** Gets the fully templated version of `f`. */

193
cpp/ql/test/library-tests/dataflow/taint-tests/test_mad-signatures.expected
View File

@@ -76,15 +76,6 @@ signatureMatches
| constructor_delegation.cpp:10:2:10:8 | MyValue | (LPCOLESTR,int) | CComBSTR | Append | 1 |
| constructor_delegation.cpp:19:2:19:15 | MyDerivedValue | (LPCOLESTR,int) | CComBSTR | Append | 1 |
| standalone_iterators.cpp:103:27:103:36 | operator+= | (LPCOLESTR,int) | CComBSTR | Append | 1 |
| stl.h:165:8:165:16 | push_back | (char) | CComBSTR | Append | 0 |
| stl.h:181:47:181:52 | append | (InputIt,InputIt) | deque | assign<InputIt> | 0 |
| stl.h:181:47:181:52 | append | (InputIt,InputIt) | deque | assign<InputIt> | 1 |
| stl.h:181:47:181:52 | append | (InputIt,InputIt) | forward_list | assign<InputIt> | 0 |
| stl.h:181:47:181:52 | append | (InputIt,InputIt) | forward_list | assign<InputIt> | 1 |
| stl.h:181:47:181:52 | append | (InputIt,InputIt) | list | assign<InputIt> | 0 |
| stl.h:181:47:181:52 | append | (InputIt,InputIt) | list | assign<InputIt> | 1 |
| stl.h:181:47:181:52 | append | (InputIt,InputIt) | vector | assign<InputIt> | 0 |
| stl.h:181:47:181:52 | append | (InputIt,InputIt) | vector | assign<InputIt> | 1 |
| stl.h:182:17:182:22 | assign | (InputIt,InputIt) | deque | assign<InputIt> | 0 |
| stl.h:182:17:182:22 | assign | (InputIt,InputIt) | deque | assign<InputIt> | 1 |
| stl.h:182:17:182:22 | assign | (InputIt,InputIt) | forward_list | assign<InputIt> | 0 |
@@ -93,14 +84,6 @@ signatureMatches
| stl.h:182:17:182:22 | assign | (InputIt,InputIt) | list | assign<InputIt> | 1 |
| stl.h:182:17:182:22 | assign | (InputIt,InputIt) | vector | assign<InputIt> | 0 |
| stl.h:182:17:182:22 | assign | (InputIt,InputIt) | vector | assign<InputIt> | 1 |
| stl.h:184:47:184:52 | assign | (InputIt,InputIt) | deque | assign<InputIt> | 0 |
| stl.h:184:47:184:52 | assign | (InputIt,InputIt) | deque | assign<InputIt> | 1 |
| stl.h:184:47:184:52 | assign | (InputIt,InputIt) | forward_list | assign<InputIt> | 0 |
| stl.h:184:47:184:52 | assign | (InputIt,InputIt) | forward_list | assign<InputIt> | 1 |
| stl.h:184:47:184:52 | assign | (InputIt,InputIt) | list | assign<InputIt> | 0 |
| stl.h:184:47:184:52 | assign | (InputIt,InputIt) | list | assign<InputIt> | 1 |
| stl.h:184:47:184:52 | assign | (InputIt,InputIt) | vector | assign<InputIt> | 0 |
| stl.h:184:47:184:52 | assign | (InputIt,InputIt) | vector | assign<InputIt> | 1 |
| stl.h:185:17:185:22 | insert | (InputIt,InputIt) | deque | assign<InputIt> | 0 |
| stl.h:185:17:185:22 | insert | (InputIt,InputIt) | deque | assign<InputIt> | 1 |
| stl.h:185:17:185:22 | insert | (InputIt,InputIt) | forward_list | assign<InputIt> | 0 |
@@ -109,18 +92,6 @@ signatureMatches
| stl.h:185:17:185:22 | insert | (InputIt,InputIt) | list | assign<InputIt> | 1 |
| stl.h:185:17:185:22 | insert | (InputIt,InputIt) | vector | assign<InputIt> | 0 |
| stl.h:185:17:185:22 | insert | (InputIt,InputIt) | vector | assign<InputIt> | 1 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | deque | insert<InputIt> | 0 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | deque | insert<InputIt> | 1 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | deque | insert<InputIt> | 2 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | forward_list | insert_after<InputIt> | 0 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | forward_list | insert_after<InputIt> | 1 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | forward_list | insert_after<InputIt> | 2 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | list | insert<InputIt> | 0 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | list | insert<InputIt> | 1 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | list | insert<InputIt> | 2 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | vector | insert<InputIt> | 0 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | vector | insert<InputIt> | 1 |
| stl.h:189:42:189:47 | insert | (const_iterator,InputIt,InputIt) | vector | insert<InputIt> | 2 |
| stl.h:190:17:190:23 | replace | (const_iterator,InputIt,InputIt) | deque | insert<InputIt> | 0 |
| stl.h:190:17:190:23 | replace | (const_iterator,InputIt,InputIt) | deque | insert<InputIt> | 1 |
| stl.h:190:17:190:23 | replace | (const_iterator,InputIt,InputIt) | deque | insert<InputIt> | 2 |
@@ -561,13 +532,10 @@ getParameterTypeName
| atl.cpp:69:3:69:15 | _U_STRINGorID | 0 | LPCTSTR |
| atl.cpp:193:10:193:12 | Add | 0 | INARGTYPclass:0 |
| atl.cpp:195:10:195:15 | Append | 0 | const CAtlArray & |
| atl.cpp:195:10:195:15 | Append | 0 | const CAtlArray> & |
| atl.cpp:196:8:196:11 | Copy | 0 | const CAtlArray & |
| atl.cpp:196:8:196:11 | Copy | 0 | const CAtlArray> & |
| atl.cpp:198:6:198:10 | GetAt | 0 | size_t |
| atl.cpp:202:8:202:20 | InsertArrayAt | 0 | size_t |
| atl.cpp:202:8:202:20 | InsertArrayAt | 1 | const CAtlArray * |
| atl.cpp:202:8:202:20 | InsertArrayAt | 1 | const CAtlArray> * |
| atl.cpp:203:8:203:15 | InsertAt | 0 | size_t |
| atl.cpp:203:8:203:15 | InsertAt | 1 | INARGTYPclass:0 |
| atl.cpp:203:8:203:15 | InsertAt | 2 | size_t |
@@ -577,10 +545,8 @@ getParameterTypeName
| atl.cpp:256:3:256:10 | CAtlList | 0 | UINT |
| atl.cpp:259:12:259:18 | AddHead | 0 | INARGTYPclass:0 |
| atl.cpp:260:8:260:18 | AddHeadList | 0 | const CAtlList * |
| atl.cpp:260:8:260:18 | AddHeadList | 0 | const CAtlList> * |
| atl.cpp:262:12:262:18 | AddTail | 0 | INARGTYPclass:0 |
| atl.cpp:263:8:263:18 | AddTailList | 0 | const CAtlList * |
| atl.cpp:263:8:263:18 | AddTailList | 0 | const CAtlList> * |
| atl.cpp:264:12:264:15 | Find | 0 | INARGTYPclass:0 |
| atl.cpp:264:12:264:15 | Find | 1 | POSITION |
| atl.cpp:265:12:265:20 | FindIndex | 0 | size_t |
@@ -633,12 +599,10 @@ getParameterTypeName
| atl.cpp:537:3:537:15 | CComSafeArray | 0 | const SAFEARRAY * |
| atl.cpp:541:11:541:13 | Add | 0 | const SAFEARRAY * |
| atl.cpp:543:11:543:13 | Add | 0 | const class:0 & |
| atl.cpp:543:11:543:13 | Add | 0 | const int & |
| atl.cpp:543:11:543:13 | Add | 1 | BOOL |
| atl.cpp:551:6:551:10 | GetAt | 0 | LONG |
| atl.cpp:562:11:562:15 | SetAt | 0 | LONG |
| atl.cpp:562:11:562:15 | SetAt | 1 | const class:0 & |
| atl.cpp:562:11:562:15 | SetAt | 1 | const int & |
| atl.cpp:562:11:562:15 | SetAt | 2 | BOOL |
| atl.cpp:564:6:564:15 | operator[] | 0 | long |
| atl.cpp:565:6:565:15 | operator[] | 0 | int |
@@ -651,33 +615,21 @@ getParameterTypeName
| atl.cpp:619:22:619:33 | CommonPrefix | 0 | PCXSTR |
| atl.cpp:656:23:656:32 | operator+= | 0 | PCXSTR |
| atl.cpp:716:8:716:10 | Add | 0 | const class:0 & |
| atl.cpp:716:8:716:10 | Add | 0 | const int & |
| atl.cpp:717:7:717:10 | Find | 0 | const class:0 & |
| atl.cpp:717:7:717:10 | Find | 0 | const int & |
| atl.cpp:728:6:728:15 | operator[] | 0 | int |
| atl.cpp:729:21:729:29 | operator= | 0 | const CSimpleArray & |
| atl.cpp:762:8:762:10 | Add | 0 | char *const & |
| atl.cpp:762:8:762:10 | Add | 0 | const class:0 & |
| atl.cpp:762:8:762:10 | Add | 1 | const class:1 & |
| atl.cpp:762:8:762:10 | Add | 1 | wchar_t *const & |
| atl.cpp:763:7:763:13 | FindKey | 0 | char *const & |
| atl.cpp:763:7:763:13 | FindKey | 0 | const class:0 & |
| atl.cpp:764:7:764:13 | FindVal | 0 | const class:1 & |
| atl.cpp:764:7:764:13 | FindVal | 0 | wchar_t *const & |
| atl.cpp:767:9:767:18 | GetValueAt | 0 | int |
| atl.cpp:768:8:768:13 | Lookup | 0 | char *const & |
| atl.cpp:768:8:768:13 | Lookup | 0 | const class:0 & |
| atl.cpp:772:8:772:20 | ReverseLookup | 0 | const class:1 & |
| atl.cpp:772:8:772:20 | ReverseLookup | 0 | wchar_t *const & |
| atl.cpp:773:8:773:12 | SetAt | 0 | char *const & |
| atl.cpp:773:8:773:12 | SetAt | 0 | const class:0 & |
| atl.cpp:773:8:773:12 | SetAt | 1 | const class:1 & |
| atl.cpp:773:8:773:12 | SetAt | 1 | wchar_t *const & |
| atl.cpp:774:8:774:17 | SetAtIndex | 0 | int |
| atl.cpp:774:8:774:17 | SetAtIndex | 1 | char *const & |
| atl.cpp:774:8:774:17 | SetAtIndex | 1 | const class:0 & |
| atl.cpp:774:8:774:17 | SetAtIndex | 2 | const class:1 & |
| atl.cpp:774:8:774:17 | SetAtIndex | 2 | wchar_t *const & |
| atl.cpp:813:9:813:17 | operator= | 0 | const CUrl & |
| atl.cpp:815:3:815:6 | CUrl | 0 | const CUrl & |
| atl.cpp:818:15:818:26 | Canonicalize | 0 | DWORD |
@@ -826,7 +778,6 @@ getParameterTypeName
| stl.h:29:34:29:40 | forward | 0 | remove_reference_t & |
| stl.h:29:34:29:40 | forward | 0 | remove_reference_t & |
| stl.h:29:34:29:40 | forward | 0 | remove_reference_t & |
| stl.h:29:34:29:40 | forward | 0 | remove_reference_t> & |
| stl.h:49:3:49:10 | iterator | 0 | const iterator & |
| stl.h:49:3:49:10 | iterator | 0 | const iterator & |
| stl.h:49:3:49:10 | iterator | 0 | const iterator & |
@@ -835,8 +786,6 @@ getParameterTypeName
| stl.h:49:3:49:10 | iterator | 0 | const iterator & |
| stl.h:49:3:49:10 | iterator | 0 | const iterator & |
| stl.h:49:3:49:10 | iterator | 0 | const iterator & |
| stl.h:49:3:49:10 | iterator | 0 | const iterator, ptrdiff_t, pair<char *const, char *> *, pair<char *const, char *> &> & |
| stl.h:49:3:49:10 | iterator | 0 | const iterator, ptrdiff_t, pair<char *const, char *> *, pair<char *const, char *> &> & |
| stl.h:52:12:52:21 | operator++ | 0 | int |
| stl.h:52:12:52:21 | operator++ | 0 | int |
| stl.h:52:12:52:21 | operator++ | 0 | int |
@@ -849,7 +798,6 @@ getParameterTypeName
| stl.h:56:8:56:17 | operator!= | 0 | iterator |
| stl.h:56:8:56:17 | operator!= | 0 | iterator |
| stl.h:56:8:56:17 | operator!= | 0 | iterator |
| stl.h:56:8:56:17 | operator!= | 0 | iterator, ptrdiff_t, pair<char *const, char *> *, pair<char *const, char *> &> |
| stl.h:59:12:59:20 | operator+ | 0 | int |
| stl.h:60:12:60:20 | operator- | 0 | int |
| stl.h:61:13:61:22 | operator+= | 0 | int |
@@ -868,92 +816,51 @@ getParameterTypeName
| stl.h:72:9:72:9 | operator= | 0 | output_iterator_tag && |
| stl.h:86:22:86:41 | back_insert_iterator | 0 | class:0 & |
| stl.h:86:22:86:41 | back_insert_iterator | 0 | class:0 & |
| stl.h:86:22:86:41 | back_insert_iterator | 0 | vector, allocator<char>>, allocator<basic_string<char, char_traits<char>, allocator<char>>>> & |
| stl.h:86:22:86:41 | back_insert_iterator | 0 | vector> & |
| stl.h:88:25:88:33 | operator= | 0 | value_type && |
| stl.h:88:25:88:33 | operator= | 0 | value_type && |
| stl.h:91:24:91:33 | operator++ | 0 | int |
| stl.h:91:24:91:33 | operator++ | 0 | int |
| stl.h:95:44:95:44 | back_inserter | 0 | func:0 & |
| stl.h:95:44:95:44 | back_inserter | 0 | func:0 & |
| stl.h:95:44:95:44 | back_inserter | 0 | vector, allocator<char>>, allocator<basic_string<char, char_traits<char>, allocator<char>>>> & |
| stl.h:95:44:95:44 | back_inserter | 0 | vector> & |
| stl.h:147:12:147:23 | basic_string | 0 | const allocator & |
| stl.h:148:3:148:14 | basic_string | 0 | const char * |
| stl.h:148:3:148:14 | basic_string | 0 | const class:2 & |
| stl.h:148:3:148:14 | basic_string | 1 | const allocator & |
| stl.h:149:33:149:44 | basic_string | 0 | const class:0 * |
| stl.h:149:33:149:44 | basic_string | 0 | func:0 |
| stl.h:149:33:149:44 | basic_string | 1 | const class:2 & |
| stl.h:149:33:149:44 | basic_string | 1 | func:0 |
| stl.h:149:33:149:44 | basic_string | 2 | const allocator & |
| stl.h:151:16:151:20 | c_str | 0 | func:0 |
| stl.h:151:16:151:20 | c_str | 1 | func:0 |
| stl.h:151:16:151:20 | c_str | 2 | const class:2 & |
| stl.h:165:8:165:16 | push_back | 0 | char |
| stl.h:173:13:173:22 | operator[] | 0 | size_type |
| stl.h:175:13:175:14 | at | 0 | size_type |
| stl.h:176:35:176:44 | operator+= | 0 | const func:0 & |
| stl.h:176:35:176:44 | operator+= | 0 | const func:0 & |
| stl.h:176:35:176:44 | operator+= | 0 | size_type |
| stl.h:176:35:176:44 | operator+= | 0 | size_type |
| stl.h:177:17:177:26 | operator+= | 0 | const char * |
| stl.h:177:17:177:26 | operator+= | 0 | const func:0 & |
| stl.h:178:17:178:22 | append | 0 | const basic_string, allocator<char>> & |
| stl.h:178:17:178:22 | append | 0 | const class:0 * |
| stl.h:179:17:179:22 | append | 0 | const basic_string & |
| stl.h:179:17:179:22 | append | 0 | const char * |
| stl.h:180:17:180:22 | append | 0 | const class:0 * |
| stl.h:180:17:180:22 | append | 0 | size_type |
| stl.h:180:17:180:22 | append | 1 | char |
| stl.h:181:47:181:52 | append | 0 | func:0 |
| stl.h:181:47:181:52 | append | 0 | size_type |
| stl.h:181:47:181:52 | append | 1 | class:0 |
| stl.h:181:47:181:52 | append | 1 | func:0 |
| stl.h:182:17:182:22 | assign | 0 | const basic_string, allocator<char>> & |
| stl.h:182:17:182:22 | assign | 0 | func:0 |
| stl.h:182:17:182:22 | assign | 1 | func:0 |
| stl.h:183:17:183:22 | assign | 0 | const basic_string & |
| stl.h:183:17:183:22 | assign | 0 | size_type |
| stl.h:183:17:183:22 | assign | 1 | char |
| stl.h:184:47:184:52 | assign | 0 | func:0 |
| stl.h:184:47:184:52 | assign | 0 | size_type |
| stl.h:184:47:184:52 | assign | 1 | class:0 |
| stl.h:184:47:184:52 | assign | 1 | func:0 |
| stl.h:185:17:185:22 | insert | 0 | func:0 |
| stl.h:185:17:185:22 | insert | 0 | size_type |
| stl.h:185:17:185:22 | insert | 1 | const basic_string, allocator<char>> & |
| stl.h:185:17:185:22 | insert | 1 | func:0 |
| stl.h:186:17:186:22 | insert | 0 | size_type |
| stl.h:186:17:186:22 | insert | 1 | const basic_string & |
| stl.h:186:17:186:22 | insert | 1 | size_type |
| stl.h:186:17:186:22 | insert | 2 | char |
| stl.h:187:17:187:22 | insert | 0 | size_type |
| stl.h:187:17:187:22 | insert | 1 | const char * |
| stl.h:187:17:187:22 | insert | 1 | size_type |
| stl.h:187:17:187:22 | insert | 2 | class:0 |
| stl.h:188:12:188:17 | insert | 0 | const_iterator |
| stl.h:188:12:188:17 | insert | 0 | size_type |
| stl.h:188:12:188:17 | insert | 1 | const class:0 * |
| stl.h:188:12:188:17 | insert | 1 | size_type |
| stl.h:188:12:188:17 | insert | 2 | char |
| stl.h:189:42:189:47 | insert | 0 | const_iterator |
| stl.h:189:42:189:47 | insert | 1 | func:0 |
| stl.h:189:42:189:47 | insert | 1 | size_type |
| stl.h:189:42:189:47 | insert | 2 | class:0 |
| stl.h:189:42:189:47 | insert | 2 | func:0 |
| stl.h:190:17:190:23 | replace | 0 | const_iterator |
| stl.h:190:17:190:23 | replace | 0 | size_type |
| stl.h:190:17:190:23 | replace | 1 | func:0 |
| stl.h:190:17:190:23 | replace | 1 | size_type |
| stl.h:190:17:190:23 | replace | 2 | const basic_string, allocator<char>> & |
| stl.h:190:17:190:23 | replace | 2 | func:0 |
| stl.h:191:17:191:23 | replace | 0 | size_type |
| stl.h:191:17:191:23 | replace | 1 | size_type |
| stl.h:191:17:191:23 | replace | 2 | const basic_string & |
| stl.h:191:17:191:23 | replace | 2 | size_type |
| stl.h:191:17:191:23 | replace | 3 | char |
| stl.h:192:13:192:16 | copy | 0 | char * |
| stl.h:192:13:192:16 | copy | 0 | size_type |
| stl.h:192:13:192:16 | copy | 1 | size_type |
| stl.h:192:13:192:16 | copy | 2 | size_type |
@@ -961,18 +868,11 @@ getParameterTypeName
| stl.h:193:8:193:12 | clear | 0 | class:0 * |
| stl.h:193:8:193:12 | clear | 1 | size_type |
| stl.h:193:8:193:12 | clear | 2 | size_type |
| stl.h:194:16:194:21 | substr | 0 | size_type |
| stl.h:194:16:194:21 | substr | 1 | size_type |
| stl.h:195:8:195:11 | swap | 0 | basic_string, allocator<char>> & |
| stl.h:195:8:195:11 | swap | 0 | size_type |
| stl.h:195:8:195:11 | swap | 1 | size_type |
| stl.h:198:94:198:102 | operator+ | 0 | const basic_string & |
| stl.h:198:94:198:102 | operator+ | 0 | const basic_string, allocator<char>> & |
| stl.h:198:94:198:102 | operator+ | 1 | const basic_string & |
| stl.h:198:94:198:102 | operator+ | 1 | const basic_string, allocator<char>> & |
| stl.h:199:94:199:102 | operator+ | 0 | const basic_string & |
| stl.h:199:94:199:102 | operator+ | 0 | const basic_string, allocator<char>> & |
| stl.h:199:94:199:102 | operator+ | 1 | const char * |
| stl.h:199:94:199:102 | operator+ | 1 | const func:0 * |
| stl.h:214:33:214:42 | operator>> | 0 | int & |
| stl.h:217:33:217:35 | get | 0 | char_type & |
@@ -989,49 +889,26 @@ getParameterTypeName
| stl.h:226:32:226:38 | getline | 1 | streamsize |
| stl.h:226:32:226:38 | getline | 2 | char_type |
| stl.h:229:68:229:77 | operator>> | 0 | basic_istream & |
| stl.h:229:68:229:77 | operator>> | 0 | basic_istream> & |
| stl.h:229:68:229:77 | operator>> | 1 | char * |
| stl.h:229:68:229:77 | operator>> | 1 | func:0 * |
| stl.h:230:85:230:94 | operator>> | 0 | basic_istream & |
| stl.h:230:85:230:94 | operator>> | 0 | basic_istream> & |
| stl.h:230:85:230:94 | operator>> | 1 | basic_string & |
| stl.h:230:85:230:94 | operator>> | 1 | basic_string, allocator<char>> & |
| stl.h:232:84:232:90 | getline | 0 | basic_istream & |
| stl.h:232:84:232:90 | getline | 0 | basic_istream> & |
| stl.h:232:84:232:90 | getline | 1 | basic_string & |
| stl.h:232:84:232:90 | getline | 1 | basic_string, allocator<char>> & |
| stl.h:232:84:232:90 | getline | 2 | char |
| stl.h:232:84:232:90 | getline | 2 | func:0 |
| stl.h:233:84:233:90 | getline | 0 | basic_istream & |
| stl.h:233:84:233:90 | getline | 0 | basic_istream> & |
| stl.h:233:84:233:90 | getline | 1 | basic_string & |
| stl.h:233:84:233:90 | getline | 1 | basic_string, allocator<char>> & |
| stl.h:240:33:240:42 | operator<< | 0 | int |
| stl.h:242:33:242:35 | put | 0 | char_type |
| stl.h:243:33:243:37 | write | 0 | const char_type * |
| stl.h:243:33:243:37 | write | 1 | streamsize |
| stl.h:247:67:247:76 | operator<< | 0 | basic_ostream & |
| stl.h:247:67:247:76 | operator<< | 0 | basic_ostream> & |
| stl.h:247:67:247:76 | operator<< | 1 | const char * |
| stl.h:247:67:247:76 | operator<< | 1 | const func:0 * |
| stl.h:248:85:248:94 | operator<< | 0 | basic_ostream & |
| stl.h:248:85:248:94 | operator<< | 0 | basic_ostream> & |
| stl.h:248:85:248:94 | operator<< | 1 | const basic_string & |
| stl.h:248:85:248:94 | operator<< | 1 | const basic_string, allocator<char>> & |
| stl.h:259:12:259:29 | basic_stringstream | 0 | const basic_string & |
| stl.h:259:12:259:29 | basic_stringstream | 0 | const basic_string, allocator<char>> & |
| stl.h:263:23:263:31 | operator= | 0 | basic_stringstream && |
| stl.h:263:23:263:31 | operator= | 0 | basic_stringstream, allocator<char>> && |
| stl.h:265:8:265:11 | swap | 0 | basic_stringstream & |
| stl.h:265:8:265:11 | swap | 0 | basic_stringstream, allocator<char>> & |
| stl.h:268:8:268:10 | str | 0 | const basic_string & |
| stl.h:268:8:268:10 | str | 0 | const basic_string, allocator<char>> & |
| stl.h:293:12:293:17 | vector | 0 | const allocator & |
| stl.h:293:12:293:17 | vector | 0 | const allocator & |
| stl.h:293:12:293:17 | vector | 0 | const allocator & |
| stl.h:293:12:293:17 | vector | 0 | const allocator & |
| stl.h:293:12:293:17 | vector | 0 | const allocator & |
| stl.h:293:12:293:17 | vector | 0 | const allocator, allocator<char>>> & |
| stl.h:293:12:293:17 | vector | 0 | const class:1 & |
| stl.h:293:12:293:17 | vector | 0 | const class:1 & |
| stl.h:293:12:293:17 | vector | 0 | const class:1 & |
@@ -1041,9 +918,6 @@ getParameterTypeName
| stl.h:294:12:294:17 | vector | 0 | size_type |
| stl.h:294:12:294:17 | vector | 0 | size_type |
| stl.h:294:12:294:17 | vector | 0 | size_type |
| stl.h:294:12:294:17 | vector | 1 | const allocator & |
| stl.h:294:12:294:17 | vector | 1 | const allocator & |
| stl.h:294:12:294:17 | vector | 1 | const allocator>> & |
| stl.h:294:12:294:17 | vector | 1 | const class:1 & |
| stl.h:294:12:294:17 | vector | 1 | const class:1 & |
| stl.h:294:12:294:17 | vector | 1 | const class:1 & |
@@ -1051,20 +925,13 @@ getParameterTypeName
| stl.h:295:3:295:8 | vector | 0 | size_type |
| stl.h:295:3:295:8 | vector | 1 | const class:0 & |
| stl.h:295:3:295:8 | vector | 1 | const class:0 & |
| stl.h:295:3:295:8 | vector | 1 | const int & |
| stl.h:295:3:295:8 | vector | 1 | const short & |
| stl.h:295:3:295:8 | vector | 2 | const allocator & |
| stl.h:295:3:295:8 | vector | 2 | const allocator & |
| stl.h:295:3:295:8 | vector | 2 | const class:1 & |
| stl.h:295:3:295:8 | vector | 2 | const class:1 & |
| stl.h:296:101:296:106 | vector | 0 | func:0 |
| stl.h:296:101:296:106 | vector | 1 | func:0 |
| stl.h:296:101:296:106 | vector | 2 | const allocator & |
| stl.h:296:101:296:106 | vector | 2 | const class:1 & |
| stl.h:301:11:301:19 | operator= | 0 | const vector & |
| stl.h:301:11:301:19 | operator= | 0 | const vector> & |
| stl.h:302:11:302:19 | operator= | 0 | vector && |
| stl.h:302:11:302:19 | operator= | 0 | vector> && |
| stl.h:303:106:303:111 | assign | 0 | func:0 |
| stl.h:303:106:303:111 | assign | 1 | func:0 |
| stl.h:306:8:306:13 | assign | 0 | size_type |
@@ -1073,9 +940,6 @@ getParameterTypeName
| stl.h:306:8:306:13 | assign | 1 | const class:0 & |
| stl.h:306:8:306:13 | assign | 1 | const class:0 & |
| stl.h:306:8:306:13 | assign | 1 | const class:0 & |
| stl.h:306:8:306:13 | assign | 1 | const float & |
| stl.h:306:8:306:13 | assign | 1 | const int & |
| stl.h:306:8:306:13 | assign | 1 | const int *const & |
| stl.h:315:13:315:22 | operator[] | 0 | size_type |
| stl.h:315:13:315:22 | operator[] | 0 | size_type |
| stl.h:315:13:315:22 | operator[] | 0 | size_type |
@@ -1083,15 +947,11 @@ getParameterTypeName
| stl.h:315:13:315:22 | operator[] | 0 | size_type |
| stl.h:315:13:315:22 | operator[] | 0 | size_type |
| stl.h:318:13:318:14 | at | 0 | size_type |
| stl.h:327:8:327:16 | push_back | 0 | const MyPair & |
| stl.h:327:8:327:16 | push_back | 0 | const MyVectorContainer & |
| stl.h:327:8:327:16 | push_back | 0 | const class:0 & |
| stl.h:327:8:327:16 | push_back | 0 | const class:0 & |
| stl.h:328:8:328:16 | push_back | 0 | class:0 && |
| stl.h:328:8:328:16 | push_back | 0 | int && |
| stl.h:331:12:331:17 | insert | 0 | const_iterator |
| stl.h:331:12:331:17 | insert | 1 | class:0 && |
| stl.h:331:12:331:17 | insert | 1 | int && |
| stl.h:333:42:333:47 | insert | 0 | const_iterator |
| stl.h:333:42:333:47 | insert | 0 | const_iterator |
| stl.h:333:42:333:47 | insert | 1 | func:0 |
@@ -1102,38 +962,21 @@ getParameterTypeName
| stl.h:335:37:335:43 | emplace | 1 | func:0 && |
| stl.h:336:33:336:44 | emplace_back | 0 | func:0 && |
| stl.h:338:8:338:11 | swap | 0 | vector & |
| stl.h:338:8:338:11 | swap | 0 | vector> & |
| stl.h:351:12:351:21 | shared_ptr | 0 | class:0 * |
| stl.h:351:12:351:21 | shared_ptr | 0 | int * |
| stl.h:352:3:352:12 | shared_ptr | 0 | const shared_ptr & |
| stl.h:352:3:352:12 | shared_ptr | 0 | const shared_ptr & |
| stl.h:369:12:369:21 | unique_ptr | 0 | A * |
| stl.h:369:12:369:21 | unique_ptr | 0 | class:0 * |
| stl.h:380:52:380:62 | make_unique | 0 | func:1 && |
| stl.h:380:52:380:62 | make_unique | 0 | func:1 && |
| stl.h:380:52:380:62 | make_unique | 0 | func:1 && |
| stl.h:380:52:380:62 | make_unique | 0 | int && |
| stl.h:380:52:380:62 | make_unique | 0 | int && |
| stl.h:382:52:382:62 | make_shared | 0 | func:1 && |
| stl.h:382:52:382:62 | make_shared | 0 | func:1 && |
| stl.h:382:52:382:62 | make_shared | 0 | func:1 && |
| stl.h:382:52:382:62 | make_shared | 0 | int && |
| stl.h:382:52:382:62 | make_shared | 0 | int && |
| stl.h:396:3:396:3 | pair | 0 | char *const & |
| stl.h:396:3:396:3 | pair | 0 | char *const & |
| stl.h:396:3:396:3 | pair | 0 | const char *const & |
| stl.h:396:3:396:3 | pair | 0 | const char *const & |
| stl.h:396:3:396:3 | pair | 0 | const class:0 & |
| stl.h:396:3:396:3 | pair | 0 | const class:0 & |
| stl.h:396:3:396:3 | pair | 0 | const class:0 & |
| stl.h:396:3:396:3 | pair | 0 | const class:0 & |
| stl.h:396:3:396:3 | pair | 0 | const class:0 & |
| stl.h:396:3:396:3 | pair | 0 | const pair & |
| stl.h:396:3:396:3 | pair | 1 | char *const & |
| stl.h:396:3:396:3 | pair | 1 | char *const & |
| stl.h:396:3:396:3 | pair | 1 | const char *const & |
| stl.h:396:3:396:3 | pair | 1 | const char *const & |
| stl.h:396:3:396:3 | pair | 1 | const char *const & |
| stl.h:396:3:396:3 | pair | 1 | const class:1 & |
| stl.h:396:3:396:3 | pair | 1 | const class:1 & |
| stl.h:396:3:396:3 | pair | 1 | const class:1 & |
@@ -1152,24 +995,12 @@ getParameterTypeName
| stl.h:397:30:397:33 | pair | 0 | const pair & |
| stl.h:397:30:397:33 | pair | 0 | const pair & |
| stl.h:399:8:399:11 | swap | 0 | pair & |
| stl.h:402:72:402:72 | make_pair | 0 | char *&& |
| stl.h:402:72:402:72 | make_pair | 0 | const char(&)[2] |
| stl.h:402:72:402:72 | make_pair | 0 | const char(&)[2] |
| stl.h:402:72:402:72 | make_pair | 0 | const char(&)[4] |
| stl.h:402:72:402:72 | make_pair | 0 | const char(&)[4] |
| stl.h:402:72:402:72 | make_pair | 0 | func:0 && |
| stl.h:402:72:402:72 | make_pair | 0 | func:0 && |
| stl.h:402:72:402:72 | make_pair | 0 | func:0 && |
| stl.h:402:72:402:72 | make_pair | 0 | func:0 && |
| stl.h:402:72:402:72 | make_pair | 0 | func:0 && |
| stl.h:402:72:402:72 | make_pair | 0 | func:0 && |
| stl.h:402:72:402:72 | make_pair | 0 | pair && |
| stl.h:402:72:402:72 | make_pair | 1 | char *&& |
| stl.h:402:72:402:72 | make_pair | 1 | char *&& |
| stl.h:402:72:402:72 | make_pair | 1 | const char(&)[2] |
| stl.h:402:72:402:72 | make_pair | 1 | const char(&)[4] |
| stl.h:402:72:402:72 | make_pair | 1 | const char(&)[4] |
| stl.h:402:72:402:72 | make_pair | 1 | const char(&)[4] |
| stl.h:402:72:402:72 | make_pair | 1 | func:1 && |
| stl.h:402:72:402:72 | make_pair | 1 | func:1 && |
| stl.h:402:72:402:72 | make_pair | 1 | func:1 && |
@@ -1177,9 +1008,7 @@ getParameterTypeName
| stl.h:402:72:402:72 | make_pair | 1 | func:1 && |
| stl.h:402:72:402:72 | make_pair | 1 | func:1 && |
| stl.h:422:3:422:5 | map | 0 | const map & |
| stl.h:422:3:422:5 | map | 0 | const map, allocator<pair<char *const, char *>>> & |
| stl.h:426:8:426:16 | operator= | 0 | const map & |
| stl.h:426:8:426:16 | operator= | 0 | const map, allocator<pair<char *const, char *>>> & |
| stl.h:435:6:435:15 | operator[] | 0 | key_type && |
| stl.h:435:6:435:15 | operator[] | 0 | key_type && |
| stl.h:436:6:436:7 | at | 0 | const key_type & |
@@ -1209,19 +1038,14 @@ getParameterTypeName
| stl.h:454:30:454:45 | insert_or_assign | 2 | func:0 && |
| stl.h:456:12:456:16 | erase | 0 | iterator |
| stl.h:459:8:459:11 | swap | 0 | map & |
| stl.h:459:8:459:11 | swap | 0 | map, allocator<pair<char *const, char *>>> & |
| stl.h:462:27:462:31 | merge | 0 | map & |
| stl.h:462:27:462:31 | merge | 0 | map>> & |
| stl.h:465:12:465:15 | find | 0 | const key_type & |
| stl.h:468:12:468:22 | lower_bound | 0 | const key_type & |
| stl.h:470:12:470:22 | upper_bound | 0 | const key_type & |
| stl.h:473:28:473:38 | equal_range | 0 | const key_type & |
| stl.h:490:3:490:15 | unordered_map | 0 | const unordered_map & |
| stl.h:490:3:490:15 | unordered_map | 0 | const unordered_map & |
| stl.h:490:3:490:15 | unordered_map | 0 | const unordered_map, equal_to<char *>, allocator<pair<char *const, char *>>> & |
| stl.h:490:3:490:15 | unordered_map | 0 | const unordered_map, hash<char *>, equal_to<char *>, allocator<pair<char *const, pair<int, int>>>> & |
| stl.h:494:18:494:26 | operator= | 0 | const unordered_map & |
| stl.h:494:18:494:26 | operator= | 0 | const unordered_map, equal_to<char *>, allocator<pair<char *const, char *>>> & |
| stl.h:503:16:503:25 | operator[] | 0 | key_type && |
| stl.h:503:16:503:25 | operator[] | 0 | key_type && |
| stl.h:504:16:504:17 | at | 0 | const key_type & |
@@ -1260,17 +1084,13 @@ getParameterTypeName
| stl.h:522:30:522:45 | insert_or_assign | 2 | func:0 && |
| stl.h:524:12:524:16 | erase | 0 | iterator |
| stl.h:527:8:527:11 | swap | 0 | unordered_map & |
| stl.h:527:8:527:11 | swap | 0 | unordered_map, equal_to<char *>, allocator<pair<char *const, char *>>> & |
| stl.h:530:37:530:41 | merge | 0 | unordered_map & |
| stl.h:530:37:530:41 | merge | 0 | unordered_map>> & |
| stl.h:533:12:533:15 | find | 0 | const key_type & |
| stl.h:536:28:536:38 | equal_range | 0 | const key_type & |
| stl.h:555:3:555:5 | set | 0 | const set & |
| stl.h:555:3:555:5 | set | 0 | const set, allocator<char *>> & |
| stl.h:557:33:557:35 | set | 0 | func:0 |
| stl.h:557:33:557:35 | set | 1 | func:0 |
| stl.h:560:8:560:16 | operator= | 0 | const set & |
| stl.h:560:8:560:16 | operator= | 0 | const set, allocator<char *>> & |
| stl.h:568:48:568:54 | emplace | 0 | func:0 && |
| stl.h:568:48:568:54 | emplace | 0 | func:0 && |
| stl.h:569:36:569:47 | emplace_hint | 0 | const_iterator |
@@ -1284,20 +1104,16 @@ getParameterTypeName
| stl.h:574:38:574:43 | insert | 1 | func:0 |
| stl.h:576:12:576:16 | erase | 0 | iterator |
| stl.h:579:8:579:11 | swap | 0 | set & |
| stl.h:579:8:579:11 | swap | 0 | set, allocator<char *>> & |
| stl.h:582:27:582:31 | merge | 0 | set & |
| stl.h:582:27:582:31 | merge | 0 | set> & |
| stl.h:585:12:585:15 | find | 0 | const key_type & |
| stl.h:588:12:588:22 | lower_bound | 0 | const key_type & |
| stl.h:590:12:590:22 | upper_bound | 0 | const key_type & |
| stl.h:592:28:592:38 | equal_range | 0 | const key_type & |
| stl.h:609:3:609:15 | unordered_set | 0 | const unordered_set & |
| stl.h:609:3:609:15 | unordered_set | 0 | const unordered_set, equal_to<char *>, allocator<char *>> & |
| stl.h:611:33:611:45 | unordered_set | 0 | func:0 |
| stl.h:611:33:611:45 | unordered_set | 1 | func:0 |
| stl.h:611:33:611:45 | unordered_set | 2 | size_type |
| stl.h:614:18:614:26 | operator= | 0 | const unordered_set & |
| stl.h:614:18:614:26 | operator= | 0 | const unordered_set, equal_to<char *>, allocator<char *>> & |
| stl.h:622:48:622:54 | emplace | 0 | func:0 && |
| stl.h:622:48:622:54 | emplace | 0 | func:0 && |
| stl.h:623:36:623:47 | emplace_hint | 0 | const_iterator |
@@ -1311,21 +1127,17 @@ getParameterTypeName
| stl.h:628:38:628:43 | insert | 1 | func:0 |
| stl.h:630:12:630:16 | erase | 0 | iterator |
| stl.h:633:8:633:11 | swap | 0 | unordered_set & |
| stl.h:633:8:633:11 | swap | 0 | unordered_set, equal_to<char *>, allocator<char *>> & |
| stl.h:636:37:636:41 | merge | 0 | unordered_set & |
| stl.h:636:37:636:41 | merge | 0 | unordered_set> & |
| stl.h:639:12:639:15 | find | 0 | const key_type & |
| stl.h:641:28:641:38 | equal_range | 0 | const key_type & |
| stl.h:671:21:671:39 | basic_format_string | 0 | const func:0 & |
| stl.h:671:21:671:39 | basic_format_string | 0 | const func:0 & |
| stl.h:678:33:678:38 | format | 0 | format_string |
| stl.h:678:33:678:38 | format | 0 | format_string |
| stl.h:678:33:678:38 | format | 1 | char *&& |
| stl.h:678:33:678:38 | format | 1 | func:0 && |
| stl.h:678:33:678:38 | format | 1 | func:0 && |
| stl.h:683:6:683:48 | same_signature_as_format_but_different_name | 0 | format_string |
| stl.h:683:6:683:48 | same_signature_as_format_but_different_name | 1 | func:0 && |
| stl.h:683:6:683:48 | same_signature_as_format_but_different_name | 1 | int & |
| string.cpp:17:6:17:9 | sink | 0 | const char * |
| string.cpp:18:6:18:9 | sink | 0 | const string & |
| string.cpp:19:6:19:9 | sink | 0 | const char * |
@@ -1344,7 +1156,6 @@ getParameterTypeName
| structlikeclass.cpp:5:7:5:7 | operator= | 0 | StructLikeClass && |
| structlikeclass.cpp:5:7:5:7 | operator= | 0 | const StructLikeClass & |
| structlikeclass.cpp:8:2:8:16 | StructLikeClass | 0 | int |
| swap1.cpp:14:9:14:9 | move | 0 | Class & |
| swap1.cpp:14:9:14:9 | move | 0 | func:0 & |
| swap1.cpp:24:9:24:13 | Class | 0 | Class && |
| swap1.cpp:25:9:25:13 | Class | 0 | const Class & |
@@ -1355,7 +1166,6 @@ getParameterTypeName
| swap1.cpp:53:14:53:17 | swap | 0 | Class & |
| swap1.cpp:61:10:61:13 | swap | 0 | Class & |
| swap1.cpp:61:10:61:13 | swap | 1 | Class & |
| swap2.cpp:14:9:14:9 | move | 0 | Class & |
| swap2.cpp:14:9:14:9 | move | 0 | func:0 & |
| swap2.cpp:24:9:24:13 | Class | 0 | Class && |
| swap2.cpp:25:9:25:13 | Class | 0 | const Class & |
@@ -1367,9 +1177,7 @@ getParameterTypeName
| swap2.cpp:61:10:61:13 | swap | 0 | Class & |
| swap2.cpp:61:10:61:13 | swap | 1 | Class & |
| swap.h:4:20:4:23 | swap | 0 | func:0 & |
| swap.h:4:20:4:23 | swap | 0 | int & |
| swap.h:4:20:4:23 | swap | 1 | func:0 & |
| swap.h:4:20:4:23 | swap | 1 | int & |
| taint.cpp:4:6:4:21 | arithAssignments | 0 | int |
| taint.cpp:4:6:4:21 | arithAssignments | 1 | int |
| taint.cpp:22:5:22:13 | increment | 0 | int |
@@ -1554,7 +1362,6 @@ getParameterTypeName
| taint.cpp:783:5:783:11 | fopen_s | 2 | const char * |
| taint.cpp:785:6:785:15 | fopen_test | 0 | char * |
| vector.cpp:13:6:13:9 | sink | 0 | int |
| vector.cpp:14:27:14:30 | sink | 0 | vector, allocator<char>>, allocator<basic_string<char, char_traits<char>, allocator<char>>>> & |
| vector.cpp:14:27:14:30 | sink | 0 | vector> & |
| vector.cpp:14:27:14:30 | sink | 0 | vector> & |
| vector.cpp:16:6:16:37 | test_range_based_for_loop_vector | 0 | int |