Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / plast-lab / doop

The official repo of Doop, the declarative pointer analysis framework.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/plast-lab%2Fdoop

Stars: 134
Forks: 20
Open Issues: 5

License: other
Language: Java
Repo Size: 103 MB
Dependencies: 47

Created: over 7 years ago
Updated: 16 days ago
Last pushed: 14 days ago
Last synced: 14 days ago

Topics: datalog, doop, java, pointer-analysis

Files

Loading...

Readme

Loading...

Dependencies

docs/docker/Dockerfile docker

ubuntu focal build

docs/docker/legacy/Dockerfile docker

$DOOP_VERSION latest build

build.gradle maven

org.clyze:HeapDL $heapDLVersion api
com.google.guava:guava 27.1-jre implementation
commons-cli:commons-cli ${commonsCliVersion} implementation
org.codehaus.groovy:groovy ${groovyVersion} implementation
org.clyze:jphantom 1.3 runtimeOnly
org.spockframework:spock-core ${spockVersion} testImplementation

docs/doop-as-lib/build.gradle maven

org.clyze:doop ${doopVersion} implementation
org.codehaus.groovy:groovy-all ${groovyVersion} implementation

generators/code-processor/build.gradle maven

commons-cli:commons-cli ${commonsCliVersion} api
org.clyze:metadata-model ${metadataVersion} api
org.clyze:mini-sarif 0.1.3 api
org.codehaus.groovy:groovy-cli-commons ${groovyVersion} api
org.antlr:antlr4-runtime ${antlrVersion} implementation

generators/dex-fact-generator/build.gradle maven

org.checkerframework:checker-qual 2.11.0 implementation
org.smali:dexlib2 2.4.0 implementation

generators/fact-generator-common/build.gradle maven

log4j:log4j ${log4jVersion} api
org.clyze:clue-common ${clueCommonVersion} api
org.clyze:metadata-model ${metadataVersion} api
org.clyze:native-scanner 0.6.6 api
net.dongliu:apk-parser 2.6.10 implementation
org.antlr:antlr4-runtime ${antlrVersion} implementation
org.apache.commons:commons-collections4 4.1 implementation
org.ow2.asm:asm-tree ${asmVersion} implementation
org.smali:dexlib2 2.4.0 implementation

generators/soot-fact-generator/build.gradle maven

ca.mcgill.sable:soot 4.0.0 implementation
org.soot-oss:soot 4.2.1 implementation
org.codehaus.groovy:groovy-all ${groovyVersion} testImplementation
org.spockframework:spock-core ${spockVersion} testImplementation

generators/wala-fact-generator/build.gradle maven

com.ibm.wala:com.ibm.wala.core 1.4.3 implementation
com.ibm.wala:com.ibm.wala.dalvik 1.4.3 implementation
com.ibm.wala:com.ibm.wala.shrike 1.4.3 implementation
com.ibm.wala:com.ibm.wala.util 1.4.3 implementation
commons-cli:commons-cli 1.3.1 implementation
ext:com.ibm.wala.cast 1.5.1-SNAPSHOT implementation
ext:com.ibm.wala.cast.java 1.5.1-SNAPSHOT implementation
ext:com.ibm.wala.cast.lsp 0.0.1-SNAPSHOT implementation
ext:com.ibm.wala.cast.python 0.0.1-SNAPSHOT implementation
ext:com.ibm.wala.core 1.5.1-SNAPSHOT implementation
ext:com.ibm.wala.dalvik 1.5.1-SNAPSHOT implementation
ext:com.ibm.wala.shrike 1.5.1-SNAPSHOT implementation
ext:com.ibm.wala.util 1.5.1-SNAPSHOT implementation
org.eclipse.lsp4j:org.eclipse.lsp4j 0.4.0 implementation
org.python:jython 2.7.1b3 implementation
org.smali:dexlib2 2.4.0 implementation

tests/115-invokedynamic/build.gradle maven

org.ow2.asm:asm 7.0 implementation