Files
codeql/cpp/ql/test/library-tests/dataflow/taint-tests/bsd.cpp
Mathias Vorreiter Pedersen 0b4650a4c9 C++: Accept test changes.
2021-03-23 10:27:19 +01:00

25 lines
392 B
C++

void sink(...);
int source();
// --- accept ---
struct sockaddr {
unsigned char length;
int sa_family;
char* sa_data;
};
int accept(int, const sockaddr*, int*);
void sink(sockaddr);
void test_accept() {
int s = source();
sockaddr addr;
int size = sizeof(sockaddr);
int a = accept(s, &addr, &size);
sink(a); // $ ast=17:11 ir SPURIOUS: ast=18:12
sink(addr); // $ ast,ir
}