GithubHelp home page GithubHelp logo

knowscieng / doop Goto Github PK

View Code? Open in Web Editor NEW
17.0 17.0 4.0 9.15 MB

Doop - Framework for Java Pointer and Taint Analysis

License: Other

Python 5.43% Shell 0.77% Ruby 0.22% ANTLR 0.48% Groovy 28.02% Java 65.08%

doop's People

Contributors

anantoni avatar anddann avatar cvrac avatar gbalats avatar gfour avatar gkastrinis avatar iliastsa avatar jimouris avatar kferles avatar ktrianta avatar nevillegrech avatar nikofil avatar saikos avatar sifislag avatar silverbullettt avatar tanghaoth90 avatar yanniss avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar

doop's Issues

Changes in clue-common constructors cause build failures

Currently build.gradle declares dependency org.clyze:clue-common:3.8.+.
But clue-common add addtitional parameters for constructors of org.clyze.persistent.model.doop.Class and org.clyze.persistent.model.doop.Method in version 3.8.33 (cf276ac).

Therefore, running ./doop ... would fail with following errors.

> Task :compileGroovy
startup failed:
/.../doop/src/main/groovy/org/clyze/jimple/JimpleListenerImpl.groovy: 62: [Static type checking] - Cannot find matching method org.clyze.persistent.model.doop.Class#<init>(org.clyze.persistent.model.Position, java.lang.String, java.lang.String, java.lang.String, java.lang.String, boolean, boolean, boolean, boolean, boolean, boolean). Please check if the declared type is correct and if the method exists.
 @ line 62, column 11.
                klass = new Klass(
             ^

/.../doop/doop-ptaint/doop/src/main/groovy/org/clyze/jimple/JimpleListenerImpl.groovy: 114: [Static type checking] - Cannot find matching method org.clyze.persistent.model.doop.Method#<init>(org.clyze.persistent.model.Position, java.lang.String, java.lang.String, java.lang.String, java.lang.String, groovy.lang.GString, <unknown parameter type>, java.lang.String[], boolean, boolean, java.lang.Boolean, java.lang.Boolean, org.clyze.persistent.model.Position). Please check if the declared type is correct and if the method exists.
 @ line 114, column 12.
                method = new Method(
              ^

2 errors
> Task :compileGroovy FAILED

The workaround is to limit the version range of clue-common.

diff --git a/build.gradle b/build.gradle
index a506fcf0..bc55dfe6 100644
--- a/build.gradle
+++ b/build.gradle
@@ -63,7 +63,7 @@ configurations.all {
 
 dependencies {
 
-    compile "org.clyze:clue-common:3.8.+",
+    compile "org.clyze:clue-common:[3.8.0, 3.8.33)",
             "org.clyze:deepdoop:0.9.+",
             "org.codehaus.groovy:groovy-all:2.4.13",            // Groovy
             "commons-logging:commons-logging:1.1",              // Logging wrapper

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.