search

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
532 stars 337 forks source link

C:\Users\Administrator\.jpf\site.properties ：The system could not find the specified path. #278

Open Xintao-C opened 3 years ago

Xintao-C commented 3 years ago

I used the JPF Eclipse plugin to specify the location of site.properties before, but now the plugin is not maintained and there is no ". jpf "directory under the" C:\Users\Administrator "path, what should I do?

java.io.FileNotFoundException: C:\Users\Administrator.jpf\site.properties (The system could not find the specified path.) at java.io.FileInputStream.open0(Native Method) at java.io.FileInputStream.open(FileInputStream.java:195) at java.io.FileInputStream.(FileInputStream.java:138) at java.io.FileInputStream.(FileInputStream.java:93) at edu.ucsb.cs.vlab.Z3.(Z3.java:16)

shadowasphodel2919 commented 3 years ago

Try adding a \ after C:\Users\Administrator where you have specified the path, see if it solves the problem.

Xintao-C commented 3 years ago

Try adding a \ after C:\Users\Administrator where you have specified the path, see if it solves the problem.

I can't specify this path, 'C:\Users\Administrator**.jpf** ' is the default path for the site.properties configuration file , but there is no '.jpf 'directory on my system, as shown in the figure below. image

shadowasphodel2919 commented 3 years ago

Place the site.properties file you have created in the root directory where you have fetched the complete project and then specify that path in your plugin. I think this problem is arising because you are using Windows OS, and I do not think .jpf file is created in it.

Xintao-C commented 3 years ago

Thanks for your reply, but the plugin is not available now. I cannot specify the path through this plugin. Is there any other way to solve this problem?

---Original--- From: "Taha Jamal"<notifications@github.com> Date: 2020/12/19 22:16:11 To: "javapathfinder/jpf-core"<jpf-core@noreply.github.com>; Cc: "Xintao-C"<894486036@qq.com>;"Author"<author@noreply.github.com>; Subject: Re: [javapathfinder/jpf-core] C:\Users\Administrator.jpf\site.properties ：The system could not find the specified path. (#278)

Place the site.properties file you have created in the root directory where you have fetched the complete project and then specify that path in your plugin. I think this problem is arising because you are using Windows OS, and I do not think .jpf file is created in it.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or unsubscribe.

shadowasphodel2919 commented 3 years ago

You can run the project using command prompt, you wouldn't need a plugin that way. Just follow the directions given https://github.com/javapathfinder/jpf-core/issues/274#issuecomment-717988013 here.