hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 11:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #350 from geoffw0/cpp-205-detail

Browse Source 
CPP: Add detail to the CPP-205 test
This commit is contained in:
ian-semmle
2018-11-21 13:30:53 +00:00
committed by GitHub
parent 5cd3a9c40d ee4cfe8eb7
commit 366934f884
2 changed files with 45 additions and 35 deletions
Download Patch File Download Diff File Expand all files Collapse all files

68
cpp/ql/test/library-tests/CPP-205/elements.expected
View File

@@ -1,34 +1,34 @@
| CPP-205.cpp:0:0:0:0 | CPP-205.cpp |
| CPP-205.cpp:1:20:1:20 | T |
| CPP-205.cpp:1:20:1:20 | definition of T |
| CPP-205.cpp:2:5:2:5 | definition of fn |
| CPP-205.cpp:2:5:2:5 | fn |
| CPP-205.cpp:2:5:2:6 | definition of fn |
| CPP-205.cpp:2:5:2:6 | fn |
| CPP-205.cpp:2:10:2:12 | definition of out |
| CPP-205.cpp:2:10:2:12 | definition of out |
| CPP-205.cpp:2:10:2:12 | out |
| CPP-205.cpp:2:10:2:12 | out |
| CPP-205.cpp:2:15:5:1 | { ... } |
| CPP-205.cpp:2:15:5:1 | { ... } |
| CPP-205.cpp:3:3:3:33 | declaration |
| CPP-205.cpp:3:3:3:33 | declaration |
| CPP-205.cpp:3:15:3:15 | declaration of y |
| CPP-205.cpp:3:15:3:15 | y |
| CPP-205.cpp:3:17:3:31 | 5 |
| CPP-205.cpp:4:3:4:11 | return ... |
| CPP-205.cpp:4:3:4:11 | return ... |
| CPP-205.cpp:4:10:4:10 | 0 |
| CPP-205.cpp:4:10:4:10 | 0 |
| CPP-205.cpp:7:5:7:8 | definition of main |
| CPP-205.cpp:7:5:7:8 | main |
| CPP-205.cpp:7:12:9:1 | { ... } |
| CPP-205.cpp:8:3:8:15 | return ... |
| CPP-205.cpp:8:10:8:11 | call to fn |
| CPP-205.cpp:8:13:8:13 | 0 |
| file://:0:0:0:0 | __va_list_tag |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | y |
| CPP-205.cpp:0:0:0:0 | CPP-205.cpp | |
| CPP-205.cpp:1:20:1:20 | T | |
| CPP-205.cpp:1:20:1:20 | definition of T | |
| CPP-205.cpp:2:5:2:5 | definition of fn | function declaration entry for fn<int>(int) -> int |
| CPP-205.cpp:2:5:2:5 | fn | function fn<int>(int) -> int |
| CPP-205.cpp:2:5:2:6 | definition of fn | function declaration entry for fn<T>(T) -> int |
| CPP-205.cpp:2:5:2:6 | fn | function fn<T>(T) -> int |
| CPP-205.cpp:2:10:2:12 | definition of out | parameter declaration entry for fn<T>(T) -> int |
| CPP-205.cpp:2:10:2:12 | definition of out | parameter declaration entry for fn<int>(int) -> int |
| CPP-205.cpp:2:10:2:12 | out | parameter for fn<T>(T) -> int |
| CPP-205.cpp:2:10:2:12 | out | parameter for fn<int>(int) -> int |
| CPP-205.cpp:2:15:5:1 | { ... } | |
| CPP-205.cpp:2:15:5:1 | { ... } | |
| CPP-205.cpp:3:3:3:33 | declaration | |
| CPP-205.cpp:3:3:3:33 | declaration | |
| CPP-205.cpp:3:15:3:15 | declaration of y | |
| CPP-205.cpp:3:15:3:15 | y | |
| CPP-205.cpp:3:17:3:31 | 5 | |
| CPP-205.cpp:4:3:4:11 | return ... | |
| CPP-205.cpp:4:3:4:11 | return ... | |
| CPP-205.cpp:4:10:4:10 | 0 | |
| CPP-205.cpp:4:10:4:10 | 0 | |
| CPP-205.cpp:7:5:7:8 | definition of main | function declaration entry for main() -> int |
| CPP-205.cpp:7:5:7:8 | main | function main() -> int |
| CPP-205.cpp:7:12:9:1 | { ... } | |
| CPP-205.cpp:8:3:8:15 | return ... | |
| CPP-205.cpp:8:10:8:11 | call to fn | |
| CPP-205.cpp:8:13:8:13 | 0 | |
| file://:0:0:0:0 | __va_list_tag | |
| file://:0:0:0:0 | operator= | function __va_list_tag::operator=(__va_list_tag &&) -> __va_list_tag & |
| file://:0:0:0:0 | operator= | function __va_list_tag::operator=(const __va_list_tag &) -> __va_list_tag & |
| file://:0:0:0:0 | p#0 | parameter for __va_list_tag::operator=(__va_list_tag &&) -> __va_list_tag & |
| file://:0:0:0:0 | p#0 | parameter for __va_list_tag::operator=(const __va_list_tag &) -> __va_list_tag & |
| file://:0:0:0:0 | y | |

12
cpp/ql/test/library-tests/CPP-205/elements.ql
View File

@@ -1,6 +1,16 @@
import cpp
string describe(Element e) {
result = "function " + e.(Function).getFullSignature()
or
result = "function declaration entry for " + e.(FunctionDeclarationEntry).getFunction().getFullSignature()
or
result = "parameter for " + e.(Parameter).getFunction().getFullSignature()
or
result = "parameter declaration entry for " + e.(ParameterDeclarationEntry).getFunctionDeclarationEntry().getFunction().getFullSignature()
}
from Element e
where not e.getLocation() instanceof UnknownLocation
and not e instanceof Folder
select e
select e, concat(describe(e), ", ")