soot-oss / taintanalysis Goto Github PK

git clone https://github.com/soot-oss/TaintAnalysis.git && cd TaintAnalysis && mvn clean install

[INFO] ----------------------< de.upb.sse:TaintAnalysis >----------------------
[INFO] Building TaintAnalysis 1.0-SNAPSHOT
[INFO]   from pom.xml
[INFO] --------------------------------[ jar ]---------------------------------
Downloading from swt: https://soot-build.cs.uni-paderborn.de/nexus/repository/swt-
upb/de/fraunhofer/iem/PathExpression/1.0.0/PathExpression-1.0.0.pom
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  2.107 s
[INFO] Finished at: 2024-05-01T10:47:17-04:00
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal on project TaintAnalysis: Could not resolve 
dependencies for project de.upb.sse:TaintAnalysis:jar:1.0-SNAPSHOT: Failed to 
collect dependencies at de.fraunhofer.iem:boomerangPDS:jar:3.1.1 -> 
de.fraunhofer.iem:testCore:jar:3.1.1 -> de.fraunhofer.iem:synchronizedPDS:jar:3.1.1 -> 
de.fraunhofer.iem:WPDS:jar:3.1.1 -> de.fraunhofer.iem:PathExpression:jar:1.0.0: 
Failed to read artifact descriptor for de.fraunhofer.iem:PathExpression:jar:1.0.0: 
The following artifacts could not be resolved: 
de.fraunhofer.iem:PathExpression:pom:1.0.0 (absent): Could not transfer artifact
de.fraunhofer.iem:PathExpression:pom:1.0.0 from/to swt 
(https://soot-build.cs.uni-paderborn.de/nexus/repository/swt-upb/): 
PKIX path building failed: sun.security.provider.certpath.SunCertPathBuilderException: 
unable to find valid certification path to requested target -> [Help 1]

    @Test
    public void Field6() {
        JimpleIFDSSolver<?, ? extends InterproceduralCFG<Unit, SootMethod>> analysis = executeStaticAnalysis(target.taint.Filed6.class.getName());
        Set<String> defaultIDEResult = getResult(analysis);
        Set<String> expected = new HashSet<>();
        expected.add("a");
        expected.add("f.x");
        expected.add("t");
        checkResults(defaultIDEResult, expected);
    }

package target.taint;

import target.taint.internal.SourceClass;


public class Filed6 {
    private String x;
    private String y;

    public static void main(String[] args) {
        Filed6 f = new Filed6();
        SourceClass sc = new SourceClass();
        String a = sc.anInstanceSource();
        f.setX(a);
        String t = f.getOther();
    }

    public void setX(String x) {
        this.x = x;
    }

    public String getX() {
        return x;
    }

    public void setY(String y) {
        this.y = y;
    }

    public String getY() {
        return y;
    }

    public String getOther(){
        return this.x;
    }
}