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

The following examples show how to use soot.jimple.infoflow.taintWrappers.EasyTaintWrapper#setAlwaysModelEqualsHashCode() . 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 equalsTest(){
EasyTaintWrapper wrapper = easyWrapper.clone();
wrapper.setAlwaysModelEqualsHashCode(true);

Infoflow infoflow = initInfoflow();
  	List<String> epoints = new ArrayList<String>();
  	epoints.add("<soot.jimple.infoflow.test.EasyWrapperTestCode: void equalsTest()>");
  	infoflow.setTaintWrapper(wrapper);
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
negativeCheckInfoflow(infoflow);
  }
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 hashCodeTest(){
EasyTaintWrapper wrapper = easyWrapper.clone();
wrapper.setAlwaysModelEqualsHashCode(true);

Infoflow infoflow = initInfoflow();
  	List<String> epoints = new ArrayList<String>();
  	epoints.add("<soot.jimple.infoflow.test.EasyWrapperTestCode: void hashCodeTest()>");
  	infoflow.setTaintWrapper(wrapper);
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
negativeCheckInfoflow(infoflow);
  }
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 equalsTest2(){
EasyTaintWrapper wrapper = easyWrapper.clone();
wrapper.setAlwaysModelEqualsHashCode(true);

Infoflow infoflow = initInfoflow();
  	List<String> epoints = new ArrayList<String>();
  	epoints.add("<soot.jimple.infoflow.test.EasyWrapperTestCode: void equalsTest2()>");
  	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 hashCodeTest2(){
EasyTaintWrapper wrapper = easyWrapper.clone();
wrapper.setAlwaysModelEqualsHashCode(true);

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