Java Code Examples for soot.jimple.infoflow.taintWrappers.EasyTaintWrapper#addMethodForWrapping()

The following examples show how to use soot.jimple.infoflow.taintWrappers.EasyTaintWrapper#addMethodForWrapping() . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: EasyWrapperTests.java    From JAADAS with GNU General Public License v3.0 5 votes vote down vote up 
@Test(timeout=300000)
  public void interfaceInheritanceTest(){
EasyTaintWrapper wrapper = easyWrapper.clone();
wrapper.addIncludePrefix("soot.jimple.infoflow.test");
wrapper.addMethodForWrapping("soot.jimple.infoflow.test.EasyWrapperTestCode$I1",
		"java.lang.String getSecret()");

Infoflow infoflow = initInfoflow();
  	List<String> epoints = new ArrayList<String>();
  	epoints.add("<soot.jimple.infoflow.test.EasyWrapperTestCode: void interfaceInheritanceTest()>");
  	infoflow.setTaintWrapper(wrapper);
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
checkInfoflow(infoflow, 1);
  }
Example 2
Source File: EasyWrapperTests.java    From JAADAS with GNU General Public License v3.0 5 votes vote down vote up 
@Test(timeout=300000)
  public void interfaceInheritanceTest2(){
EasyTaintWrapper wrapper = easyWrapper.clone();
wrapper.addIncludePrefix("soot.jimple.infoflow.test");
wrapper.addMethodForWrapping("soot.jimple.infoflow.test.EasyWrapperTestCode$I1",
		"void taintMe(java.lang.String)");

Infoflow infoflow = initInfoflow();
  	List<String> epoints = new ArrayList<String>();
  	epoints.add("<soot.jimple.infoflow.test.EasyWrapperTestCode: void interfaceInheritanceTest2()>");
  	infoflow.setTaintWrapper(wrapper);
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
checkInfoflow(infoflow, 1);
  }
Example 3
Source File: EasyWrapperTests.java    From JAADAS with GNU General Public License v3.0 5 votes vote down vote up 
@Test(timeout=300000)
  public void interfaceInheritanceTest3(){
EasyTaintWrapper wrapper = easyWrapper.clone();
wrapper.addIncludePrefix("soot.jimple.infoflow.test");
wrapper.addMethodForWrapping("soot.jimple.infoflow.test.EasyWrapperTestCode$I1",
		"void taintMe(java.lang.String)");

Infoflow infoflow = initInfoflow();
  	List<String> epoints = new ArrayList<String>();
  	epoints.add("<soot.jimple.infoflow.test.EasyWrapperTestCode: void interfaceInheritanceTest3()>");
  	infoflow.setTaintWrapper(wrapper);
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
checkInfoflow(infoflow, 1);
  }
Example 4
Source File: EasyWrapperTests.java    From JAADAS with GNU General Public License v3.0 5 votes vote down vote up 
@Test(timeout=300000)
  public void interfaceInheritanceTest4(){
EasyTaintWrapper wrapper = easyWrapper.clone();
wrapper.addIncludePrefix("soot.jimple.infoflow.test");
wrapper.addMethodForWrapping("soot.jimple.infoflow.test.EasyWrapperTestCode$I1",
		"void taintMe(java.lang.String)");

Infoflow infoflow = initInfoflow();
  	List<String> epoints = new ArrayList<String>();
  	epoints.add("<soot.jimple.infoflow.test.EasyWrapperTestCode: void interfaceInheritanceTest4()>");
  	infoflow.setTaintWrapper(wrapper);
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
negativeCheckInfoflow(infoflow);
  }