• Home
• de.fraunhofer.sit.sse.flowdroid
• soot-infoflow-integration
• 2.14.1
• source code
• RiverSourcesAndSinks.xml

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

res.RiverSourcesAndSinks.xml Maven / Gradle / Ivy

<sinkSources>
    <category id="NO_CATEGORY">
        <method signature="soot.jimple.infoflow.integration.test.RiverTestCode: java.lang.String source()">
            <return type="java.lang.String">
                <accessPath isSource="true" isSink="false" />
            </return>
        </method>
        <method signature="soot.jimple.infoflow.integration.test.RiverTestCode: int intSource()">
            <return type="int">
                <accessPath isSource="true" isSink="false" />
            </return>
        </method>
        <method signature="soot.jimple.infoflow.integration.test.RiverTestCode: void unconditionalSink(java.lang.String)">
            <param index="0" description="Output Data">
                <accessPath isSource="false" isSink="true" />
            </param>
        </method>
        <method signature="soot.jimple.infoflow.integration.test.RiverTestCode: void sendToUrl(java.net.URL, java.lang.String)">
            <param index="1" description="Output Data">
                <accessPath isSource="false" isSink="true" />
            </param>
        </method>
        <method signature="java.io.OutputStream: void write(byte[])">
            <param index="0" description="Output Data">
                <accessPath isSource="false" isSink="true" />
            </param>
            <additionalFlowCondition>
                <signatureOnPath signature="java.net.URL: java.net.URLConnection openConnection()" />
            </additionalFlowCondition>
        </method>
        <method signature="java.io.OutputStream: void write(int)">
            <param index="0" description="Output Data">
                <accessPath isSource="false" isSink="true" />
            </param>
            <additionalFlowCondition>
                <classNameOnPath className="soot.jimple.infoflow.integration.test.RiverTestCode$T" />
            </additionalFlowCondition>
        </method>
        <method signature="java.io.BufferedWriter: void write(java.lang.String)">
            <param index="0" description="Output Data">
                <accessPath isSource="false" isSink="true" />
            </param>
            <additionalFlowCondition>
                <signatureOnPath signature="java.net.URL: java.net.URLConnection openConnection()" />
            </additionalFlowCondition>
        </method>
    </category>
</sinkSources>