Where is package "edu.psu.cse.siis.coal.lang"?

siis / coal

COAL Constant Propagation Solver

http://siis.cse.psu.edu/coal/

Apache License 2.0

9 stars 5 forks source link

Where is package "edu.psu.cse.siis.coal.lang"? #1

Closed fripSide closed 9 years ago

fripSide commented 9 years ago

The versions of Soot and FlowDroid are too old. I wan to using the newest version to compile a new version of IC3. But I failed to compile coal. I download the newest source code and try to compile it. And I failed with a error message of "edu.psu.cse.siis.coal.lang.ParseException", "edu.psu.cse.siis.coal.lang.PropagationParser" does not exist.

docteau commented 9 years ago

Hi,

These files should be automatically generated by Maven from the grammar file (src/main/javacc/propagation.jj) when you compile the project. What commands did you use to perform the compilation?

Also, I recommend for you to compile the develop branches of both COAL and IC3, since they use a more recent version of Soot and the FlowDroid entry point construction procedure. It would be much easier than integrating your own versions of Soot and FlowDroid.

Best, Damien