DASCA
/
DASCA
2
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Refactoring: eu.aniketos -> com.logicalhacking.

This commit is contained in:
Achim D. Brucker 2017-05-21 15:58:16 +01:00
parent 86ee611ab9
commit 2caaae8484
121 changed files with 244 additions and 273 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.gitignore vendored
View File

@ -3,6 +3,6 @@ src/*/.settings
src/*/.project src/*/.project
src/*/target src/*/target
src/*/bin src/*/bin
src/eu.aniketos.dasca.dataflow/config/main.config src/com.logicalhacking.dasca.dataflow/config/main.config
src/eu.aniketos.dasca.dataflow/main.log* src/com.logicalhacking.dasca.dataflow/main.log*
src/eu.aniketos.dasca.crosslanguage/BuildCordovaCallgraph.launch src/com.logicalhacking.dasca.crosslanguage/BuildCordovaCallgraph.launch

4
README.md
View File

@ -55,7 +55,7 @@ the `<PATH-TO-JDK>` should point to the directory containing the file
### How to Compile ### How to Compile
First resolve the dependencies using maven: First resolve the dependencies using maven:
``` ```
cd src/eu.aniketos.dasca.parent/ cd src/com.logicalhacking.dasca.parent/
mvn -P wala clean install -DskipTests=true -q mvn -P wala clean install -DskipTests=true -q
``` ```
After this, all projects can be imported into a fresh Eclipse After this, all projects can be imported into a fresh Eclipse
@ -64,7 +64,7 @@ workspace using `File -> Import -> Maven -> Existing Maven Projects`:
2. Import all offered projects (WALA and DASCA) 2. Import all offered projects (WALA and DASCA)
While some WALA projects may contain compilation errors, all DASCA While some WALA projects may contain compilation errors, all DASCA
projects (i.e., `eu.aniketos.dasca.*`) should compile without errors. projects (i.e., `com.logicalhacking.dasca.*`) should compile without errors.
## Team ## Team
Main contact: [Achim D. Brucker](http://www.brucker.ch/) Main contact: [Achim D. Brucker](http://www.brucker.ch/)

0
src/eu.aniketos.dasca.crosslanguage.test/.gitignore → src/com.logicalhacking.dasca.crosslanguage.test/.gitignore vendored
View File

6
src/eu.aniketos.dasca.crosslanguage.test/eu.aniketos.dasca.crosslanguage.test-junit.launch → src/com.logicalhacking.dasca.crosslanguage.test/com.logicalhacking.dasca.crosslanguage.test-junit.launch
View File

@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.jdt.junit.launchconfig"> <launchConfiguration type="org.eclipse.jdt.junit.launchconfig">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/eu.aniketos.dasca.crosslanguage.test"/> <listEntry value="/com.logicalhacking.dasca.crosslanguage.test"/>
</listAttribute> </listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="4"/> <listEntry value="4"/>
@ -9,13 +9,13 @@
<mapAttribute key="org.eclipse.debug.core.preferred_launchers"> <mapAttribute key="org.eclipse.debug.core.preferred_launchers">
<mapEntry key="[run]" value="org.eclipse.jdt.junit.launchconfig"/> <mapEntry key="[run]" value="org.eclipse.jdt.junit.launchconfig"/>
</mapAttribute> </mapAttribute>
<stringAttribute key="org.eclipse.jdt.junit.CONTAINER" value="=eu.aniketos.dasca.crosslanguage.test"/> <stringAttribute key="org.eclipse.jdt.junit.CONTAINER" value="=com.logicalhacking.dasca.crosslanguage.test"/>
<booleanAttribute key="org.eclipse.jdt.junit.KEEPRUNNING_ATTR" value="false"/> <booleanAttribute key="org.eclipse.jdt.junit.KEEPRUNNING_ATTR" value="false"/>
<stringAttribute key="org.eclipse.jdt.junit.TESTNAME" value=""/> <stringAttribute key="org.eclipse.jdt.junit.TESTNAME" value=""/>
<stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.scala-ide.sdt.core.junit"/> <stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.scala-ide.sdt.core.junit"/>
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/> <stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value=""/> <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value=""/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="eu.aniketos.dasca.crosslanguage.test"/> <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="com.logicalhacking.dasca.crosslanguage.test"/>
<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/> <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea"/> <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea"/>
</launchConfiguration> </launchConfiguration>

6
src/eu.aniketos.dasca.crosslanguage.test/eu.aniketos.dasca.crosslanguage.test-scalatest.launch → src/com.logicalhacking.dasca.crosslanguage.test/com.logicalhacking.dasca.crosslanguage.test-scalatest.launch
View File

@ -4,12 +4,12 @@
<setAttribute key="SCALATEST_LAUNCH_TESTS_NAME"/> <setAttribute key="SCALATEST_LAUNCH_TESTS_NAME"/>
<stringAttribute key="SCALATEST_LAUNCH_TYPE" value="PACKAGE"/> <stringAttribute key="SCALATEST_LAUNCH_TYPE" value="PACKAGE"/>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/eu.aniketos.dasca.crosslanguage.test"/> <listEntry value="/com.logicalhacking.dasca.crosslanguage.test"/>
</listAttribute> </listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="4"/> <listEntry value="4"/>
</listAttribute> </listAttribute>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/> <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="eu.aniketos.dasca.crosslanguage.test"/> <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.logicalhacking.dasca.crosslanguage.test"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="eu.aniketos.dasca.crosslanguage.test"/> <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="com.logicalhacking.dasca.crosslanguage.test"/>
</launchConfiguration> </launchConfiguration>

14
src/eu.aniketos.dasca.crosslanguage.test/pom.xml → src/com.logicalhacking.dasca.crosslanguage.test/pom.xml
View File

@ -2,12 +2,12 @@
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd"> <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
<modelVersion>4.0.0</modelVersion> <modelVersion>4.0.0</modelVersion>
<parent> <parent>
<groupId>eu.aniketos.dasca</groupId> <groupId>com.logicalhacking.dasca</groupId>
<artifactId>eu.aniketos.dasca.parent</artifactId> <artifactId>com.logicalhacking.dasca.parent</artifactId>
<version>0.1</version> <version>0.1</version>
<relativePath>../eu.aniketos.dasca.parent/pom.xml</relativePath> <relativePath>../com.logicalhacking.dasca.parent/pom.xml</relativePath>
</parent> </parent>
<artifactId>eu.aniketos.dasca.crosslanguage.test</artifactId> <artifactId>com.logicalhacking.dasca.crosslanguage.test</artifactId>
<version>0.0.1-SNAPSHOT</version> <version>0.0.1-SNAPSHOT</version>
<name>${project.artifactId}</name> <name>${project.artifactId}</name>
<packaging>jar</packaging> <packaging>jar</packaging>
@ -88,8 +88,8 @@
<version>${wala.version}</version> <version>${wala.version}</version>
</dependency> </dependency>
<dependency> <dependency>
<groupId>eu.aniketos.dasca</groupId> <groupId>com.logicalhacking.dasca</groupId>
<artifactId>eu.aniketos.dasca.crosslanguage</artifactId> <artifactId>com.logicalhacking.dasca.crosslanguage</artifactId>
<version>0.0.1-SNAPSHOT</version> <version>0.0.1-SNAPSHOT</version>
</dependency> </dependency>
<dependency> <dependency>
@ -194,7 +194,7 @@
<configuration> <configuration>
<transformers> <transformers>
<transformer implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer"> <transformer implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
<mainClass>eu.aniketos.dasca.crosslanguage.Main</mainClass> <mainClass>com.logicalhacking.dasca.crosslanguage.Main</mainClass>
</transformer> </transformer>
</transformers> </transformers>
</configuration> </configuration>

0
src/eu.aniketos.dasca.crosslanguage.test/src/main/resources/de.zertapps.dvhma.featherweight.apk → src/com.logicalhacking.dasca.crosslanguage.test/src/main/resources/de.zertapps.dvhma.featherweight.apk
View File

0
src/eu.aniketos.dasca.crosslanguage.test/src/main/resources/de.zertapps.dvhma.featherweight_1.0.0_3.5.0_debug.apk → src/com.logicalhacking.dasca.crosslanguage.test/src/main/resources/de.zertapps.dvhma.featherweight_1.0.0_3.5.0_debug.apk
View File

0
src/eu.aniketos.dasca.crosslanguage.test/src/main/resources/de.zertapps.dvhma.featherweight_1.0.0_6.3.0_debug.apk → src/com.logicalhacking.dasca.crosslanguage.test/src/main/resources/de.zertapps.dvhma.featherweight_1.0.0_6.3.0_debug.apk
View File

8
src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/AppInfo.scala → src/com.logicalhacking.dasca.crosslanguage.test/src/main/scala/com/logicalhacking/dasca/crosslanguage/test/AppInfo.scala
View File

@ -9,12 +9,12 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.test package com.logicalhacking.dasca.crosslanguage.test
import java.io.File import java.io.File
import eu.aniketos.dasca.crosslanguage.util.SourceLocation import com.logicalhacking.dasca.crosslanguage.util.SourceLocation
import eu.aniketos.dasca.crosslanguage.test.AppTest import com.logicalhacking.dasca.crosslanguage.test.AppTest
import eu.aniketos.dasca.crosslanguage.builder.CrossBuilderOption import com.logicalhacking.dasca.crosslanguage.builder.CrossBuilderOption
trait AppInfo { trait AppInfo {
def apkName: String def apkName: String

18
src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/AppTest.scala → src/com.logicalhacking.dasca.crosslanguage.test/src/main/scala/com/logicalhacking/dasca/crosslanguage/test/AppTest.scala
View File

@ -8,20 +8,20 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.test package com.logicalhacking.dasca.crosslanguage.test
import com.ibm.wala.classLoader.CallSiteReference import com.ibm.wala.classLoader.CallSiteReference
import com.ibm.wala.ipa.callgraph.CGNode import com.ibm.wala.ipa.callgraph.CGNode
import eu.aniketos.dasca.crosslanguage.util.Util import com.logicalhacking.dasca.crosslanguage.util.Util
import eu.aniketos.dasca.crosslanguage.builder.CordovaCGBuilder import com.logicalhacking.dasca.crosslanguage.builder.CordovaCGBuilder
import java.io.File import java.io.File
import eu.aniketos.dasca.crosslanguage.util.JavaScriptSourceLocation import com.logicalhacking.dasca.crosslanguage.util.JavaScriptSourceLocation
import eu.aniketos.dasca.crosslanguage.util.JavaSourceLocation import com.logicalhacking.dasca.crosslanguage.util.JavaSourceLocation
import eu.aniketos.dasca.crosslanguage.util.SourceLocation import com.logicalhacking.dasca.crosslanguage.util.SourceLocation
import scala.collection.mutable.LinkedHashSet import scala.collection.mutable.LinkedHashSet
import eu.aniketos.dasca.crosslanguage.builder.CrossBuilderOption import com.logicalhacking.dasca.crosslanguage.builder.CrossBuilderOption
import eu.aniketos.dasca.crosslanguage.builder.MergedCallGraph import com.logicalhacking.dasca.crosslanguage.builder.MergedCallGraph
import eu.aniketos.dasca.crosslanguage.builder._ import com.logicalhacking.dasca.crosslanguage.builder._
import com.ibm.wala.cast.ir.ssa.AstIRFactory import com.ibm.wala.cast.ir.ssa.AstIRFactory
import com.ibm.wala.classLoader.IMethod import com.ibm.wala.classLoader.IMethod

18
src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight.scala → src/com.logicalhacking.dasca.crosslanguage.test/src/main/scala/com/logicalhacking/dasca/crosslanguage/test/Featherweight.scala
View File

@ -8,19 +8,19 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.test package com.logicalhacking.dasca.crosslanguage.test
import org.scalatest._ import org.scalatest._
import org.junit.runner.RunWith import org.junit.runner.RunWith
import org.scalatest.junit.JUnitRunner import org.scalatest.junit.JUnitRunner
import eu.aniketos.dasca.crosslanguage.util.JavaScriptSourceLocation import com.logicalhacking.dasca.crosslanguage.util.JavaScriptSourceLocation
import eu.aniketos.dasca.crosslanguage.util.JavaSourceLocation import com.logicalhacking.dasca.crosslanguage.util.JavaSourceLocation
import eu.aniketos.dasca.crosslanguage.util.SourceLocation import com.logicalhacking.dasca.crosslanguage.util.SourceLocation
import eu.aniketos.dasca.crosslanguage.builder.FilterJavaCallSites import com.logicalhacking.dasca.crosslanguage.builder.FilterJavaCallSites
import eu.aniketos.dasca.crosslanguage.builder.MockCordovaExec import com.logicalhacking.dasca.crosslanguage.builder.MockCordovaExec
import eu.aniketos.dasca.crosslanguage.builder.ReplacePluginDefinesAndRequires import com.logicalhacking.dasca.crosslanguage.builder.ReplacePluginDefinesAndRequires
import eu.aniketos.dasca.crosslanguage.builder.FilterJSFrameworks import com.logicalhacking.dasca.crosslanguage.builder.FilterJSFrameworks
import eu.aniketos.dasca.crosslanguage.test.Tag._ import com.logicalhacking.dasca.crosslanguage.test.Tag._
@RunWith(classOf[JUnitRunner]) @RunWith(classOf[JUnitRunner])

18
src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_350.scala → src/com.logicalhacking.dasca.crosslanguage.test/src/main/scala/com/logicalhacking/dasca/crosslanguage/test/Featherweight_100_350.scala
View File

@ -8,19 +8,19 @@ z * (C) Copyright 2016 The University of Sheffield.
* *
*/ */
package eu.aniketos.dasca.crosslanguage.test package com.logicalhacking.dasca.crosslanguage.test
import org.scalatest._ import org.scalatest._
import org.junit.runner.RunWith import org.junit.runner.RunWith
import org.scalatest.junit.JUnitRunner import org.scalatest.junit.JUnitRunner
import eu.aniketos.dasca.crosslanguage.util.JavaScriptSourceLocation import com.logicalhacking.dasca.crosslanguage.util.JavaScriptSourceLocation
import eu.aniketos.dasca.crosslanguage.util.JavaSourceLocation import com.logicalhacking.dasca.crosslanguage.util.JavaSourceLocation
import eu.aniketos.dasca.crosslanguage.util.SourceLocation import com.logicalhacking.dasca.crosslanguage.util.SourceLocation
import eu.aniketos.dasca.crosslanguage.builder.FilterJavaCallSites import com.logicalhacking.dasca.crosslanguage.builder.FilterJavaCallSites
import eu.aniketos.dasca.crosslanguage.builder.MockCordovaExec import com.logicalhacking.dasca.crosslanguage.builder.MockCordovaExec
import eu.aniketos.dasca.crosslanguage.builder.ReplacePluginDefinesAndRequires import com.logicalhacking.dasca.crosslanguage.builder.ReplacePluginDefinesAndRequires
import eu.aniketos.dasca.crosslanguage.builder.FilterJSFrameworks import com.logicalhacking.dasca.crosslanguage.builder.FilterJSFrameworks
import eu.aniketos.dasca.crosslanguage.test.Tag._ import com.logicalhacking.dasca.crosslanguage.test.Tag._

18
src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_630.scala → src/com.logicalhacking.dasca.crosslanguage.test/src/main/scala/com/logicalhacking/dasca/crosslanguage/test/Featherweight_100_630.scala
View File

@ -8,19 +8,19 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.test package com.logicalhacking.dasca.crosslanguage.test
import org.scalatest._ import org.scalatest._
import org.junit.runner.RunWith import org.junit.runner.RunWith
import org.scalatest.junit.JUnitRunner import org.scalatest.junit.JUnitRunner
import eu.aniketos.dasca.crosslanguage.util.JavaScriptSourceLocation import com.logicalhacking.dasca.crosslanguage.util.JavaScriptSourceLocation
import eu.aniketos.dasca.crosslanguage.util.JavaSourceLocation import com.logicalhacking.dasca.crosslanguage.util.JavaSourceLocation
import eu.aniketos.dasca.crosslanguage.util.SourceLocation import com.logicalhacking.dasca.crosslanguage.util.SourceLocation
import eu.aniketos.dasca.crosslanguage.builder.FilterJavaCallSites import com.logicalhacking.dasca.crosslanguage.builder.FilterJavaCallSites
import eu.aniketos.dasca.crosslanguage.builder.MockCordovaExec import com.logicalhacking.dasca.crosslanguage.builder.MockCordovaExec
import eu.aniketos.dasca.crosslanguage.builder.ReplacePluginDefinesAndRequires import com.logicalhacking.dasca.crosslanguage.builder.ReplacePluginDefinesAndRequires
import eu.aniketos.dasca.crosslanguage.builder.FilterJSFrameworks import com.logicalhacking.dasca.crosslanguage.builder.FilterJSFrameworks
import eu.aniketos.dasca.crosslanguage.test.Tag._ import com.logicalhacking.dasca.crosslanguage.test.Tag._
@RunWith(classOf[JUnitRunner]) @RunWith(classOf[JUnitRunner])

2
src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Tag.scala → src/com.logicalhacking.dasca.crosslanguage.test/src/main/scala/com/logicalhacking/dasca/crosslanguage/test/Tag.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.test.Tag package com.logicalhacking.dasca.crosslanguage.test.Tag
import org.scalatest.Tag import org.scalatest.Tag

0
src/eu.aniketos.dasca.crosslanguage/.gitignore → src/com.logicalhacking.dasca.crosslanguage/.gitignore vendored
View File

6
src/eu.aniketos.dasca.crosslanguage/BuildCordovaCallgraph.in.launch → src/com.logicalhacking.dasca.crosslanguage/BuildCordovaCallgraph.in.launch
View File

@ -1,13 +1,13 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="scala.application"> <launchConfiguration type="scala.application">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/Main.scala"/> <listEntry value="/com.logicalhacking.dasca.crosslanguage/src/main/scala/com.logicalhacking/dasca/crosslanguage/Main.scala"/>
</listAttribute> </listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="1"/> <listEntry value="1"/>
</listAttribute> </listAttribute>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="eu.aniketos.dasca.crosslanguage.Main"/> <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.logicalhacking.dasca.crosslanguage.Main"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-mrfj &lt;insert path to apk&gt;"/> <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-mrfj &lt;insert path to apk&gt;"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="eu.aniketos.dasca.crosslanguage"/> <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="com.logicalhacking.dasca.crosslanguage"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Djava.util.logging.config.file=logging.properties -Dlogback.configurationFile=${project_loc}/logback.xml"/> <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Djava.util.logging.config.file=logging.properties -Dlogback.configurationFile=${project_loc}/logback.xml"/>
</launchConfiguration> </launchConfiguration>

2
src/eu.aniketos.dasca.crosslanguage/build.xml → src/com.logicalhacking.dasca.crosslanguage/build.xml
View File

@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?> <?xml version="1.0" encoding="UTF-8"?>
<project name="eu.aniketos.dasca.crosslanguage" default="getJars" basedir="."> <project name="com.logicalhacking.dasca.crosslanguage" default="getJars" basedir=".">
<property environment="env"/> <property environment="env"/>
<target name="getJars"> <target name="getJars">
<copy file="${env.ANDROID_HOME}/platforms/android-19/android.jar" tofile="${basedir}/src/main/resources/android19.jar"/> <copy file="${env.ANDROID_HOME}/platforms/android-19/android.jar" tofile="${basedir}/src/main/resources/android19.jar"/>

0
src/eu.aniketos.dasca.crosslanguage/logback.xml → src/com.logicalhacking.dasca.crosslanguage/logback.xml
View File

0
src/eu.aniketos.dasca.crosslanguage/logging.properties → src/com.logicalhacking.dasca.crosslanguage/logging.properties
View File

10
src/eu.aniketos.dasca.crosslanguage/pom.xml → src/com.logicalhacking.dasca.crosslanguage/pom.xml
View File

@ -2,12 +2,12 @@
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd"> <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
<modelVersion>4.0.0</modelVersion> <modelVersion>4.0.0</modelVersion>
<parent> <parent>
<groupId>eu.aniketos.dasca</groupId> <groupId>com.logicalhacking.dasca</groupId>
<artifactId>eu.aniketos.dasca.parent</artifactId> <artifactId>com.logicalhacking.dasca.parent</artifactId>
<version>0.1</version> <version>0.1</version>
<relativePath>../eu.aniketos.dasca.parent/pom.xml</relativePath> <relativePath>../com.logicalhacking.dasca.parent/pom.xml</relativePath>
</parent> </parent>
<artifactId>eu.aniketos.dasca.crosslanguage</artifactId> <artifactId>com.logicalhacking.dasca.crosslanguage</artifactId>
<version>0.0.1-SNAPSHOT</version> <version>0.0.1-SNAPSHOT</version>
<name>${project.artifactId}</name> <name>${project.artifactId}</name>
<packaging>jar</packaging> <packaging>jar</packaging>
@ -178,7 +178,7 @@
<configuration> <configuration>
<transformers> <transformers>
<transformer implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer"> <transformer implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
<mainClass>eu.aniketos.dasca.crosslanguage.Main</mainClass> <mainClass>com.logicalhacking.dasca.crosslanguage.Main</mainClass>
</transformer> </transformer>
</transformers> </transformers>
</configuration> </configuration>

0
src/eu.aniketos.dasca.crosslanguage/src/main/resources/javaexclusions.txt → src/com.logicalhacking.dasca.crosslanguage/src/main/resources/javaexclusions.txt
View File

8
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/Main.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/Main.scala
View File

@ -8,14 +8,14 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage package com.logicalhacking.dasca.crosslanguage
import java.io.File import java.io.File
import eu.aniketos.dasca.crosslanguage.builder._ import com.logicalhacking.dasca.crosslanguage.builder._
import eu.aniketos.dasca.crosslanguage.cg._ import com.logicalhacking.dasca.crosslanguage.cg._
import scala.collection.mutable.ListBuffer import scala.collection.mutable.ListBuffer
import java.lang.management.ManagementFactory import java.lang.management.ManagementFactory
import eu.aniketos.dasca.crosslanguage.util.Util import com.logicalhacking.dasca.crosslanguage.util.Util
import org.slf4j.LoggerFactory import org.slf4j.LoggerFactory
import com.typesafe.scalalogging.Logger import com.typesafe.scalalogging.Logger
import com.ibm.wala.ipa.callgraph.CGNode import com.ibm.wala.ipa.callgraph.CGNode

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/AllScriptsExtractor.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/builder/AllScriptsExtractor.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.builder package com.logicalhacking.dasca.crosslanguage.builder
import com.ibm.wala.cast.js.html.DefaultSourceExtractor import com.ibm.wala.cast.js.html.DefaultSourceExtractor
import com.ibm.wala.cast.js.html.DefaultSourceExtractor.HtmlCallBack import com.ibm.wala.cast.js.html.DefaultSourceExtractor.HtmlCallBack

12
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/CordovaCGBuilder.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/builder/CordovaCGBuilder.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.builder package com.logicalhacking.dasca.crosslanguage.builder
import java.io.File import java.io.File
import java.io.FileNotFoundException import java.io.FileNotFoundException
@ -33,7 +33,7 @@ import com.ibm.wala.ipa.callgraph.AnalysisOptions.ReflectionOptions
import com.ibm.wala.ipa.callgraph.AnalysisScope import com.ibm.wala.ipa.callgraph.AnalysisScope
import com.ibm.wala.ipa.callgraph.CallGraph import com.ibm.wala.ipa.callgraph.CallGraph
import com.ibm.wala.ipa.callgraph.Entrypoint import com.ibm.wala.ipa.callgraph.Entrypoint
import eu.aniketos.dasca.crosslanguage.util.Util import com.logicalhacking.dasca.crosslanguage.util.Util
import com.ibm.wala.ipa.cha.ClassHierarchyFactory import com.ibm.wala.ipa.cha.ClassHierarchyFactory
import com.ibm.wala.ipa.cha.ClassHierarchy import com.ibm.wala.ipa.cha.ClassHierarchy
import brut.androlib.ApkDecoder import brut.androlib.ApkDecoder
@ -56,7 +56,7 @@ import scala.concurrent.duration._
import com.typesafe.scalalogging.Logger import com.typesafe.scalalogging.Logger
import org.slf4j.LoggerFactory import org.slf4j.LoggerFactory
import scala.util.Random import scala.util.Random
import eu.aniketos.dasca.crosslanguage.util.Util import com.logicalhacking.dasca.crosslanguage.util.Util
import scala.collection.mutable.ListBuffer import scala.collection.mutable.ListBuffer
import com.ibm.wala.cast.js.html.jericho.JerichoHtmlParser import com.ibm.wala.cast.js.html.jericho.JerichoHtmlParser
import com.ibm.wala.cast.js.html.IdentityUrlResolver import com.ibm.wala.cast.js.html.IdentityUrlResolver
@ -68,10 +68,10 @@ import scala.util.matching.Regex
import java.io.BufferedInputStream import java.io.BufferedInputStream
import java.io.BufferedReader import java.io.BufferedReader
import java.io.InputStreamReader import java.io.InputStreamReader
import eu.aniketos.dasca.crosslanguage.builder.CordovaCGBuilder._ import com.logicalhacking.dasca.crosslanguage.builder.CordovaCGBuilder._
import com.ibm.wala.ipa.callgraph.impl.{ Util => WalaUtil } import com.ibm.wala.ipa.callgraph.impl.{ Util => WalaUtil }
import eu.aniketos.dasca.crosslanguage.util.FileMappingStore import com.logicalhacking.dasca.crosslanguage.util.FileMappingStore
import eu.aniketos.dasca.crosslanguage.util.FileMapRecorder import com.logicalhacking.dasca.crosslanguage.util.FileMapRecorder
import com.ibm.wala.util.io.TemporaryFile import com.ibm.wala.util.io.TemporaryFile
import org.apache.commons.io.IOUtils import org.apache.commons.io.IOUtils
import com.ibm.wala.util.io.FileUtil import com.ibm.wala.util.io.FileUtil

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/CrossBuilderOption.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/builder/CrossBuilderOption.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.builder package com.logicalhacking.dasca.crosslanguage.builder
sealed trait CrossBuilderOption {} sealed trait CrossBuilderOption {}

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/DalvikLineNumberCalculator.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/builder/DalvikLineNumberCalculator.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.builder package com.logicalhacking.dasca.crosslanguage.builder
import java.io.File import java.io.File
import scala.collection.JavaConverters._ import scala.collection.JavaConverters._

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/EmptyCallGraph.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/builder/EmptyCallGraph.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.builder package com.logicalhacking.dasca.crosslanguage.builder
import com.ibm.wala.ipa.callgraph.CallGraph import com.ibm.wala.ipa.callgraph.CallGraph
import com.ibm.wala.ipa.callgraph.CGNode import com.ibm.wala.ipa.callgraph.CGNode

8
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/MergedCallGraph.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/builder/MergedCallGraph.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.builder package com.logicalhacking.dasca.crosslanguage.builder
import scala.collection.JavaConverters._ import scala.collection.JavaConverters._
import com.ibm.wala.ipa.callgraph.CGNode import com.ibm.wala.ipa.callgraph.CGNode
@ -39,12 +39,12 @@ import scala.{ Option => ? }
import com.ibm.wala.cast.ir.ssa.AstLexicalAccess.Access import com.ibm.wala.cast.ir.ssa.AstLexicalAccess.Access
import scala.collection.immutable.HashMap import scala.collection.immutable.HashMap
import com.ibm.wala.ssa.SSAGetInstruction import com.ibm.wala.ssa.SSAGetInstruction
import eu.aniketos.dasca.crosslanguage.builder.algorithms.ExecuteActionBasedChecker import com.logicalhacking.dasca.crosslanguage.builder.algorithms.ExecuteActionBasedChecker
import com.ibm.wala.ipa.cfg.BasicBlockInContext import com.ibm.wala.ipa.cfg.BasicBlockInContext
import com.ibm.wala.ssa.analysis.IExplodedBasicBlock import com.ibm.wala.ssa.analysis.IExplodedBasicBlock
import eu.aniketos.dasca.crosslanguage.builder.algorithms.ExecuteActionBasedChecker import com.logicalhacking.dasca.crosslanguage.builder.algorithms.ExecuteActionBasedChecker
import com.ibm.wala.ssa.analysis.ExplodedControlFlowGraph import com.ibm.wala.ssa.analysis.ExplodedControlFlowGraph
import eu.aniketos.dasca.crosslanguage.util.Util import com.logicalhacking.dasca.crosslanguage.util.Util
import scala.collection.mutable.Queue import scala.collection.mutable.Queue
import scala.collection.mutable.ListBuffer import scala.collection.mutable.ListBuffer
import com.ibm.wala.cast.ir.ssa.AstIRFactory import com.ibm.wala.cast.ir.ssa.AstIRFactory

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/PluginInfo.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/builder/PluginInfo.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.builder package com.logicalhacking.dasca.crosslanguage.builder
import java.io.File import java.io.File

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/algorithms/ExecuteActionBasedChecker.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/builder/algorithms/ExecuteActionBasedChecker.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.builder.algorithms package com.logicalhacking.dasca.crosslanguage.builder.algorithms
import scala.collection.JavaConverters.asScalaIteratorConverter import scala.collection.JavaConverters.asScalaIteratorConverter
import scala.collection.JavaConverters.collectionAsScalaIterableConverter import scala.collection.JavaConverters.collectionAsScalaIterableConverter

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/builder/algorithms/ReachabilityChecker.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/builder/algorithms/ReachabilityChecker.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.builder.algorithms package com.logicalhacking.dasca.crosslanguage.builder.algorithms
import scala.collection.JavaConverters.asScalaIteratorConverter import scala.collection.JavaConverters.asScalaIteratorConverter
import scala.collection.mutable.Queue import scala.collection.mutable.Queue

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/cg/CallTree.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/cg/CallTree.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.cg; package com.logicalhacking.dasca.crosslanguage.cg;
import com.ibm.wala.ipa.callgraph.CGNode; import com.ibm.wala.ipa.callgraph.CGNode;

4
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/cg/CallTreeBuilder.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/cg/CallTreeBuilder.scala
View File

@ -8,10 +8,10 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.cg; package com.logicalhacking.dasca.crosslanguage.cg;
import com.ibm.wala.ipa.callgraph.CGNode import com.ibm.wala.ipa.callgraph.CGNode
import eu.aniketos.dasca.crosslanguage.builder.MergedCallGraph import com.logicalhacking.dasca.crosslanguage.builder.MergedCallGraph
import scala.collection.JavaConversions._ import scala.collection.JavaConversions._
import com.ibm.wala.classLoader.CallSiteReference import com.ibm.wala.classLoader.CallSiteReference

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/util/FileMapRecorder.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/util/FileMapRecorder.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.util package com.logicalhacking.dasca.crosslanguage.util
import java.io.File import java.io.File
import scala.collection.mutable.TreeSet import scala.collection.mutable.TreeSet

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/util/FileMappingStore.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/util/FileMappingStore.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.util package com.logicalhacking.dasca.crosslanguage.util
import java.io.File import java.io.File

4
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/util/JavaScriptSourceLocation.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/util/JavaScriptSourceLocation.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.util package com.logicalhacking.dasca.crosslanguage.util
import com.ibm.wala.cast.ir.ssa.AstIRFactory import com.ibm.wala.cast.ir.ssa.AstIRFactory
import com.ibm.wala.classLoader.CallSiteReference import com.ibm.wala.classLoader.CallSiteReference
@ -27,7 +27,7 @@ class JavaScriptSourceLocation(val line: Int, val column: Int, val filePath: Str
} }
def canEqual(other: Any) = { def canEqual(other: Any) = {
other.isInstanceOf[eu.aniketos.dasca.crosslanguage.util.JavaScriptSourceLocation] other.isInstanceOf[com.logicalhacking.dasca.crosslanguage.util.JavaScriptSourceLocation]
} }
override def hashCode() = { override def hashCode() = {

4
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/util/JavaSourceLocation.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/util/JavaSourceLocation.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.util package com.logicalhacking.dasca.crosslanguage.util
import com.ibm.wala.classLoader.CallSiteReference import com.ibm.wala.classLoader.CallSiteReference
import com.ibm.wala.ipa.callgraph.CGNode import com.ibm.wala.ipa.callgraph.CGNode
@ -24,7 +24,7 @@ class JavaSourceLocation(val line: Int, val filePath: String) extends SourceLoca
} }
def canEqual(other: Any) = { def canEqual(other: Any) = {
other.isInstanceOf[eu.aniketos.dasca.crosslanguage.util.JavaSourceLocation] other.isInstanceOf[com.logicalhacking.dasca.crosslanguage.util.JavaSourceLocation]
} }
override def hashCode() = { override def hashCode() = {

2
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/util/SourceLocation.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/util/SourceLocation.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.util package com.logicalhacking.dasca.crosslanguage.util
trait SourceLocation { trait SourceLocation {
} }

16
src/eu.aniketos.dasca.crosslanguage/src/main/scala/eu/aniketos/dasca/crosslanguage/util/Util.scala → src/com.logicalhacking.dasca.crosslanguage/src/main/scala/com/logicalhacking/dasca/crosslanguage/util/Util.scala
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.crosslanguage.util package com.logicalhacking.dasca.crosslanguage.util
import com.ibm.wala.cast.ir.ssa.AstIRFactory import com.ibm.wala.cast.ir.ssa.AstIRFactory
import com.ibm.wala.classLoader.Language import com.ibm.wala.classLoader.Language
@ -22,13 +22,13 @@ import com.typesafe.scalalogging.Logger
import java.util.concurrent.TimeUnit import java.util.concurrent.TimeUnit
import com.ibm.wala.classLoader.IClass import com.ibm.wala.classLoader.IClass
import scala.collection.mutable.LinkedHashSet import scala.collection.mutable.LinkedHashSet
import eu.aniketos.dasca.crosslanguage.builder.CrossBuilderOption import com.logicalhacking.dasca.crosslanguage.builder.CrossBuilderOption
import eu.aniketos.dasca.crosslanguage.builder.FilterJavaCallSites import com.logicalhacking.dasca.crosslanguage.builder.FilterJavaCallSites
import eu.aniketos.dasca.crosslanguage.builder.MockCordovaExec import com.logicalhacking.dasca.crosslanguage.builder.MockCordovaExec
import eu.aniketos.dasca.crosslanguage.builder.ReplacePluginDefinesAndRequires import com.logicalhacking.dasca.crosslanguage.builder.ReplacePluginDefinesAndRequires
import eu.aniketos.dasca.crosslanguage.builder.FilterJSFrameworks import com.logicalhacking.dasca.crosslanguage.builder.FilterJSFrameworks
import eu.aniketos.dasca.crosslanguage.builder.PreciseJS import com.logicalhacking.dasca.crosslanguage.builder.PreciseJS
import eu.aniketos.dasca.crosslanguage.builder.RunBuildersInParallel import com.logicalhacking.dasca.crosslanguage.builder.RunBuildersInParallel
import com.ibm.wala.classLoader.IMethod import com.ibm.wala.classLoader.IMethod
object Util { object Util {

8
src/eu.aniketos.dasca.dataflow.test.data/pom.xml → src/com.logicalhacking.dasca.dataflow.test.data/pom.xml
View File

@ -2,12 +2,12 @@
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion> <modelVersion>4.0.0</modelVersion>
<parent> <parent>
<groupId>eu.aniketos.dasca</groupId> <groupId>com.logicalhacking.dasca</groupId>
<artifactId>eu.aniketos.dasca.parent</artifactId> <artifactId>com.logicalhacking.dasca.parent</artifactId>
<version>0.1</version> <version>0.1</version>
<relativePath>../eu.aniketos.dasca.parent/pom.xml</relativePath> <relativePath>../com.logicalhacking.dasca.parent/pom.xml</relativePath>
</parent> </parent>
<artifactId>eu.aniketos.dasca.dataflow.test.data</artifactId> <artifactId>com.logicalhacking.dasca.dataflow.test.data</artifactId>
<packaging>jar</packaging> <packaging>jar</packaging>
<name>DASCA - Dataflow Test Data</name> <name>DASCA - Dataflow Test Data</name>
<build> <build>

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test01.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test01.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 01: // Test Case 01:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test02.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test02.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 02: // Test Case 02:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test03.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test03.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 03: // Test Case 03:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test04.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test04.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 04: // Test Case 04:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test05.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test05.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 05: // Test Case 05:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test06.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test06.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 06: // Test Case 06:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test07.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test07.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 07: // Test Case 07:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test08.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test08.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 08: // Test Case 08:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test09.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test09.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 09: // Test Case 09:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test10.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test10.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 10: // Test Case 10:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test11.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test11.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 11: // Test Case 11:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test12.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test12.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 12: // Test Case 12:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test13.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test13.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 13: // Test Case 13:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test14.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test14.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 14: // Test Case 14:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test15.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test15.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 15: // Test Case 15:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test16.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test16.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 16: // Test Case 16:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test17.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test17.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 17: // Test Case 17:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test18.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test18.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 18: // Test Case 18:

4
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/Test19.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/Test19.java
View File

@ -8,13 +8,13 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data; package com.logicalhacking.dasca.dataflow.test.data;
import java.sql.Connection; import java.sql.Connection;
import java.sql.SQLException; import java.sql.SQLException;
import java.sql.Statement; import java.sql.Statement;
import eu.aniketos.dasca.dataflow.test.data.dummy.IO; import com.logicalhacking.dasca.dataflow.test.data.dummy.IO;
// Test Case 19: // Test Case 19:

2
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/dummy/IO.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/dummy/IO.java
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data.dummy; package com.logicalhacking.dasca.dataflow.test.data.dummy;
import java.io.BufferedReader; import java.io.BufferedReader;
import java.io.InputStreamReader; import java.io.InputStreamReader;

2
src/eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/dummy/Logger.java → src/com.logicalhacking.dasca.dataflow.test.data/src/main/java/com/logicalhacking/dasca/dataflow/test/data/dummy/Logger.java
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test.data.dummy; package com.logicalhacking.dasca.dataflow.test.data.dummy;
public class Logger { public class Logger {

0
src/eu.aniketos.dasca.dataflow.test.data/src/test/java/.empty → src/com.logicalhacking.dasca.dataflow.test.data/src/test/java/.empty
View File

2
src/eu.aniketos.dasca.dataflow/META-INF/MANIFEST.MF → src/com.logicalhacking.dasca.dataflow/META-INF/MANIFEST.MF
View File

@ -1,7 +1,7 @@
Manifest-Version: 1.0 Manifest-Version: 1.0
Bundle-ManifestVersion: 2 Bundle-ManifestVersion: 2
Bundle-Name: DASCA - Dataflow Analysis Bundle-Name: DASCA - Dataflow Analysis
Bundle-SymbolicName: eu.aniketos.dasca.dataflow;singleton:=true Bundle-SymbolicName: com.logicalhacking.dasca.dataflow;singleton:=true
Bundle-Version: 0.1.0 Bundle-Version: 0.1.0
Require-Bundle: org.eclipse.core.runtime, Require-Bundle: org.eclipse.core.runtime,
org.eclipse.core.resources, org.eclipse.core.resources,

6
src/eu.aniketos.dasca.dataflow/eu.aniketos.dasca.dataflow-junit.launch → src/com.logicalhacking.dasca.dataflow/com.logicalhacking.dasca.dataflow-junit.launch
View File

@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.jdt.junit.launchconfig"> <launchConfiguration type="org.eclipse.jdt.junit.launchconfig">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/TestSuite.java"/> <listEntry value="/com.logicalhacking.dasca.dataflow/src/test/java/com.logicalhacking/dasca/dataflow/test/TestSuite.java"/>
</listAttribute> </listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="1"/> <listEntry value="1"/>
@ -15,8 +15,8 @@
<stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.eclipse.jdt.junit.loader.junit4"/> <stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.eclipse.jdt.junit.loader.junit4"/>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/> <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/> <stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="eu.aniketos.dasca.dataflow.test.TestSuite"/> <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.logicalhacking.dasca.dataflow.test.TestSuite"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="eu.aniketos.dasca.dataflow"/> <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="com.logicalhacking.dasca.dataflow"/>
<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/> <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea"/> <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea"/>
</launchConfiguration> </launchConfiguration>

0
src/eu.aniketos.dasca.dataflow/config/Java60RegressionExclusions.txt → src/com.logicalhacking.dasca.dataflow/config/Java60RegressionExclusions.txt
View File

0
src/eu.aniketos.dasca.dataflow/config/log4j.properties → src/com.logicalhacking.dasca.dataflow/config/log4j.properties
View File

0
src/eu.aniketos.dasca.dataflow/config/main.config.in → src/com.logicalhacking.dasca.dataflow/config/main.config.in
View File

0
src/eu.aniketos.dasca.dataflow/lib/libcvc3-5.0.0.jar → src/com.logicalhacking.dasca.dataflow/lib/libcvc3-5.0.0.jar
View File

8
src/eu.aniketos.dasca.dataflow/pom.xml → src/com.logicalhacking.dasca.dataflow/pom.xml
View File

@ -2,12 +2,12 @@
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion> <modelVersion>4.0.0</modelVersion>
<parent> <parent>
<groupId>eu.aniketos.dasca</groupId> <groupId>com.logicalhacking.dasca</groupId>
<artifactId>eu.aniketos.dasca.parent</artifactId> <artifactId>com.logicalhacking.dasca.parent</artifactId>
<version>0.1</version> <version>0.1</version>
<relativePath>../eu.aniketos.dasca.parent/pom.xml</relativePath> <relativePath>../com.logicalhacking.dasca.parent/pom.xml</relativePath>
</parent> </parent>
<artifactId>eu.aniketos.dasca.dataflow</artifactId> <artifactId>com.logicalhacking.dasca.dataflow</artifactId>
<version>0.1.0</version> <version>0.1.0</version>
<name>DASCA - Dataflow Analysis</name> <name>DASCA - Dataflow Analysis</name>
<dependencies> <dependencies>

2
src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/util/AnalysisUtil.java → src/com.logicalhacking.dasca.dataflow/src/main/java/com/logicalhacking/dasca/dataflow/util/AnalysisUtil.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.util; package com.logicalhacking.dasca.dataflow.util;
import java.io.BufferedInputStream; import java.io.BufferedInputStream;
import java.io.File; import java.io.File;

2
src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/util/PlugInUtil.java → src/com.logicalhacking.dasca.dataflow/src/main/java/com/logicalhacking/dasca/dataflow/util/PlugInUtil.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.util; package com.logicalhacking.dasca.dataflow.util;
import java.io.File; import java.io.File;
import java.io.IOException; import java.io.IOException;

2
src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/util/SMTChecker.java → src/com.logicalhacking.dasca.dataflow/src/main/java/com/logicalhacking/dasca/dataflow/util/SMTChecker.java
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.util; package com.logicalhacking.dasca.dataflow.util;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.List; import java.util.List;

2
src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/util/SSAInstructionKey.java → src/com.logicalhacking.dasca.dataflow/src/main/java/com/logicalhacking/dasca/dataflow/util/SSAInstructionKey.java
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.util; package com.logicalhacking.dasca.dataflow.util;
import com.ibm.wala.ssa.SSAInstruction; import com.ibm.wala.ssa.SSAInstruction;

2
src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/util/SuperGraphUtil.java → src/com.logicalhacking.dasca.dataflow/src/main/java/com/logicalhacking/dasca/dataflow/util/SuperGraphUtil.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.util; package com.logicalhacking.dasca.dataflow.util;
import java.io.BufferedWriter; import java.io.BufferedWriter;

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test01.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test01.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -21,7 +21,7 @@ import org.junit.Test;
import com.ibm.wala.dataflow.IFDS.ICFGSupergraph; import com.ibm.wala.dataflow.IFDS.ICFGSupergraph;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test01 { public class Test01 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test02.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test02.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test02 { public class Test02 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test03.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test03.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test03 { public class Test03 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test04.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test04.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test04 { public class Test04 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test05.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test05.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test05 { public class Test05 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test06.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test06.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test06 { public class Test06 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test07.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test07.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test07 { public class Test07 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test08.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test08.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -19,7 +19,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test08 { public class Test08 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test09.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test09.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test09 { public class Test09 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test10.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test10.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test10 { public class Test10 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test11.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test11.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test11 { public class Test11 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test12.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test12.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test12 { public class Test12 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test13.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test13.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test13 { public class Test13 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test14.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test14.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test14 { public class Test14 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test15.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test15.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test15 { public class Test15 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test16.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test16.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test16 { public class Test16 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test17.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test17.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test17 { public class Test17 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test18.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test18.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test18 { public class Test18 {

4
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/Test19.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/Test19.java
View File

@ -9,7 +9,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import static org.junit.Assert.assertEquals; import static org.junit.Assert.assertEquals;
@ -20,7 +20,7 @@ import org.junit.Test;
import com.ibm.wala.util.CancelException; import com.ibm.wala.util.CancelException;
import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; import com.logicalhacking.dasca.dataflow.util.SuperGraphUtil;
public class Test19 { public class Test19 {

48
src/eu.aniketos.dasca.dataflow/src/test/java/eu/aniketos/dasca/dataflow/test/TestSuite.java → src/com.logicalhacking.dasca.dataflow/src/test/java/com/logicalhacking/dasca/dataflow/test/TestSuite.java
View File

@ -8,7 +8,7 @@
* *
*/ */
package eu.aniketos.dasca.dataflow.test; package com.logicalhacking.dasca.dataflow.test;
import java.io.IOException; import java.io.IOException;
import java.util.ArrayList; import java.util.ArrayList;
@ -23,8 +23,8 @@ import org.junit.runners.Suite;
import org.junit.runners.Suite.SuiteClasses; import org.junit.runners.Suite.SuiteClasses;
import org.apache.log4j.Logger; import org.apache.log4j.Logger;
import eu.aniketos.dasca.dataflow.util.AnalysisUtil; import com.logicalhacking.dasca.dataflow.util.AnalysisUtil;
import eu.aniketos.dasca.dataflow.util.PlugInUtil; import com.logicalhacking.dasca.dataflow.util.PlugInUtil;
import com.ibm.wala.cast.java.client.JavaSourceAnalysisEngine; import com.ibm.wala.cast.java.client.JavaSourceAnalysisEngine;
import com.ibm.wala.dataflow.IFDS.ICFGSupergraph; import com.ibm.wala.dataflow.IFDS.ICFGSupergraph;
@ -59,31 +59,31 @@ import com.ibm.wala.util.CancelException;
public class TestSuite { public class TestSuite {
private static Logger log = AnalysisUtil.getLogger(TestSuite.class); private static Logger log = AnalysisUtil.getLogger(TestSuite.class);
protected static ICFGSupergraph superGraph = null; protected static ICFGSupergraph superGraph = null;
protected static String testDir = "../eu.aniketos.dasca.dataflow.test.data/src/main/java/eu/aniketos/dasca/dataflow/test/data/"; protected static String testDir = "../com.logicalhacking.dasca.dataflow.test.data/src/main/java/com.logicalhacking/dasca/dataflow/test/data/";
protected static List<String> sources = null; protected static List<String> sources = null;
protected static List<String> libs = null; protected static List<String> libs = null;
protected static String [] customEntryPoints = { protected static String [] customEntryPoints = {
"Leu/aniketos/dasca/dataflow/test/data/Test01" "Lcom.logicalhacking/dasca/dataflow/test/data/Test01"
,"Leu/aniketos/dasca/dataflow/test/data/Test02" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test02"
,"Leu/aniketos/dasca/dataflow/test/data/Test03" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test03"
,"Leu/aniketos/dasca/dataflow/test/data/Test04" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test04"
,"Leu/aniketos/dasca/dataflow/test/data/Test05" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test05"
,"Leu/aniketos/dasca/dataflow/test/data/Test06" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test06"
,"Leu/aniketos/dasca/dataflow/test/data/Test07" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test07"
,"Leu/aniketos/dasca/dataflow/test/data/Test08" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test08"
,"Leu/aniketos/dasca/dataflow/test/data/Test09" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test09"
,"Leu/aniketos/dasca/dataflow/test/data/Test10" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test10"
,"Leu/aniketos/dasca/dataflow/test/data/Test11" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test11"
,"Leu/aniketos/dasca/dataflow/test/data/Test12" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test12"
,"Leu/aniketos/dasca/dataflow/test/data/Test13" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test13"
,"Leu/aniketos/dasca/dataflow/test/data/Test14" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test14"
,"Leu/aniketos/dasca/dataflow/test/data/Test15" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test15"
,"Leu/aniketos/dasca/dataflow/test/data/Test16" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test16"
,"Leu/aniketos/dasca/dataflow/test/data/Test17" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test17"
,"Leu/aniketos/dasca/dataflow/test/data/Test18" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test18"
,"Leu/aniketos/dasca/dataflow/test/data/Test19" ,"Lcom.logicalhacking/dasca/dataflow/test/data/Test19"
}; };
@ -121,7 +121,7 @@ public class TestSuite {
List<String> entryPoints = new ArrayList<String>(); List<String> entryPoints = new ArrayList<String>();
if (null != test) { if (null != test) {
log.info("Generating Global SG:"); log.info("Generating Global SG:");
entryPoints.add("Leu/aniketos/dasca/dataflow/test/data/"+test); entryPoints.add("Lcom.logicalhacking/dasca/dataflow/test/data/"+test);
} else { } else {
log.info("Generating Test Specific SG ("+ test +"):"); log.info("Generating Test Specific SG ("+ test +"):");
entryPoints.addAll(Arrays.asList(customEntryPoints)); entryPoints.addAll(Arrays.asList(customEntryPoints));

0
src/eu.aniketos.dasca.js/examples/js_deadcode_001.html → src/com.logicalhacking.dasca.js/examples/js_deadcode_001.html
View File

0
src/eu.aniketos.dasca.js/examples/js_eval_001.html → src/com.logicalhacking.dasca.js/examples/js_eval_001.html
View File

0
src/eu.aniketos.dasca.js/examples/js_eval_002.html → src/com.logicalhacking.dasca.js/examples/js_eval_002.html
View File

0
src/eu.aniketos.dasca.js/examples/js_eval_003.html → src/com.logicalhacking.dasca.js/examples/js_eval_003.html
View File

0
src/eu.aniketos.dasca.js/examples/js_eval_004.html → src/com.logicalhacking.dasca.js/examples/js_eval_004.html
View File

Some files were not shown because too many files have changed in this diff Show More