Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fatal error: exception Failure("Java model file is required") #45

Closed
DoctorQ opened this issue Jun 13, 2015 · 0 comments
Closed

Fatal error: exception Failure("Java model file is required") #45

DoctorQ opened this issue Jun 13, 2015 · 0 comments

Comments

@DoctorQ
Copy link
Contributor

DoctorQ commented Jun 13, 2015

I install infer by binary file,then run example Hello.java in OSX 10.10.2

58deMacBook-Pro:examples wuxian$ infer -- javac Hello.java
Fatal error: exception Failure("Java model file is required")
[ERROR] Failure during frontend, original command was

[u'inferJ', u'-g', u'-a', 'infer', u'javac', 'Hello.java']


Traceback (most recent call last):
  File "/Users/wuxian/Documents/sourcecode/self/infer/infer/bin/inferJ", line 19, in <module>
    stats = analysis.start()
  File "/Users/wuxian/Documents/sourcecode/self/infer/infer/bin/inferlib.py", line 632, in start
    if self.capture() == os.EX_OK:
  File "/Users/wuxian/Documents/sourcecode/self/infer/infer/bin/inferlib.py", line 400, in capture
    return self.run_infer_frontend()
  File "/Users/wuxian/Documents/sourcecode/self/infer/infer/bin/inferlib.py", line 391, in run_infer_frontend
    self.args.analyzer
  File "/Users/wuxian/Documents/sourcecode/self/infer/infer/bin/inferlib.py", line 318, in run_command
    raise e
subprocess.CalledProcessError: Command '[u'/Users/wuxian/Documents/sourcecode/self/infer/infer/bin/InferJava', u'-results_dir', '/Users/wuxian/Documents/sourcecode/self/infer/examples/infer-out', u'-verbose_out', '/var/folders/3j/s3hfvmy572vcn3h02c_rxcbm0000gn/T/javac_lqc4YC.out', u'-no-static_final']' returned non-zero exit status 2

Thanks.

@DoctorQ DoctorQ closed this as completed Jun 13, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant