C++ (Cpp) taint_source Examples

Example #1

File: joernStepsTest.c Project: LucaBongiorni/joern

int test_dataFlowFromRegex()
{
	taint_source(x,y);	
	if(x == 0) return;

	sink(y);
}

Example #2

File: joernStepsTest.c Project: LucaBongiorni/joern

int test_call_tainting()
{
	taint_source(x,y);

	if(x == 0) return 1;
	if(y == 0) return -1;
}

Example #3

File: joernStepsTest.c Project: LucaBongiorni/joern

int test_isNotSanitizedByRegex()
{
	taint_source(x,y);	
	
	memset(y, 0, sizeof(y));

	sink(y);
}

Example #4

File: joernStepsTest.c Project: LucaBongiorni/joern

int two_taint_sources()
{
	taint_source(x,y);	
	second_taint_source(z);
	
	if(y == 0) return 1;
	if(z == 0) return -1;
}

Example #5

File: joernStepsTest.c Project: AntoineHus/joern

int testParamTaint(char *buf)
{
  taint_source(buf, buf);
}