Merge pull request #47 from lisa-analyzer/sanitizers-taint-domain

Added sanitizers support in `TaintAbstractDomain`

Author: VincenzoArceri

src/main/java/it/unipr/analysis/taint/TaintAbstractDomain.java

@@ -906,6 +906,13 @@ else if (isTop())
 	 */
 	public abstract Set<Operator> getTaintedOpcode();
 
+	/**
+	 * Yields the set of opcodes that sanitize the state.
+	 *
+	 * @return the set of opcodes that sanitize the state
+	 */
+	public abstract Set<Operator> getSanitizedOpcode();
+
 	/**
 	 * Utility for creating a concrete instance of {@link TaintAbstractDomain}
 	 * given the stack and the memory.

src/main/java/it/unipr/analysis/taint/TimestampDependencyAbstractDomain.java

@@ -44,6 +44,11 @@ public Set<Operator> getTaintedOpcode() {
 		return taintedOpcode;
 	}
 
+	@Override
+	public Set<Operator> getSanitizedOpcode() {
+		return Set.of();
+	}
+
 	@Override
 	public TimestampDependencyAbstractDomain top() {
 		return TOP;

src/main/java/it/unipr/analysis/taint/TxOriginAbstractDomain.java

@@ -35,6 +35,11 @@ public Set<Operator> getTaintedOpcode() {
 		return Collections.singleton(OriginOperator.INSTANCE);
 	}
 
+	@Override
+	public Set<Operator> getSanitizedOpcode() {
+		return Set.of();
+	}
+
 	@Override
 	public TxOriginAbstractDomain top() {
 		return TOP;