FileNotFoundException: lib/src.zip about progex HOT 3 CLOSED

As the exception message says, it can't find the required file src.zip in the lib directory. You are probably trying to run this after cloning the repo and building from source. Note that for several reasons the src.zip file (which is the source-code for the JDK standard libraries) is not included in the source-code repository, but is available in the release distributions.

Go to the releases page and download the latest stable release (currently v3.2.0) and after extracting, you can find the lib directory which contains the src.zip file. You need to put this lib directory alongside the executable JAR file of PROGEX.

from progex.

It's worth noting that even after fixing this, you still might encounter some issues with the ICFG analysis. The ICFG analysis has some known issues, but it was developed by a friend of mine which currently doesn't have time to work on it (I really doubt he would ever get to fix this!).

The ICFG analysis is not a priority for myself either, so I won't be working on this either.

from progex.

I double checked this, and we have some changes in the latest release of PROGEX:

• the src.zip has been renamed to jdk7-src.zip
• the file is no more in the lib directory, but in the res directory.

If the ICFG analysis requires the lib/src.zip file, you can copy and rename the file as required.
This should most probably fix your problem.

Note that the res/jdk7-src.zip file is required for some other analysis such as PDG. So make sure you don't move the file; copy it.

from progex.