FaceBook/infer-分析Java文件

最新推荐文章于 2023-01-03 14:34:47 发布

Q博士

最新推荐文章于 2023-01-03 14:34:47 发布

阅读量3.5k

点赞数

分类专栏：测试成长之路

本文链接：https://blog.csdn.net/itfootball/article/details/46490375

版权

测试成长之路专栏收录该内容

194 篇文章 150 订阅

订阅专栏

Hello world Java

命令

infer – javac java文件名

例如例子里自带的：

localhost:examples wuxian$ infer -- javac Hello.java
TODO: print error message
Starting analysis (Infer version v0.1.0)
Fatal error: exception Sys_error("/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/examples/infer-out/captured: No such file or directory")
[ERROR] Failure during create_makefile, original command was

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


Traceback (most recent call last):
  File "/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/inferJ", line 19, in <module>
    stats = analysis.start()
  File "/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/inferlib.py", line 634, in start
    self.analyze_and_report()
  File "/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/inferlib.py", line 613, in analyze_and_report
    if self.analyze() == os.EX_OK:
  File "/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/inferlib.py", line 489, in analyze
    self.args.analyzer
  File "/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/inferlib.py", line 318, in run_command
    raise e
subprocess.CalledProcessError: Command '[u'/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/InferAnalyze', u'-results_dir', '/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/examples/infer-out', u'-makefile', u'Makefile', u'-allow_specs_cleanup', u'-models', u'/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/../lib/java/models.jar', u'-project_root', '/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/examples']' returned non-zero exit status 2

执行报错了,目前github上已经有这个Issue，facebook暂时还没解决，静候佳音.

2015.06.30问题解决

解决方案

infer -- javac -J-Duser.language=en Hello.java

中间加入了-J-Duser.language=en 了指定本地语言为英语。

58deMacBook-Pro:examples wuxian$ infer -- javac -J-Duser.language=en Hello.java
Starting analysis (Infer version v0.1.1)
Analysis done

1 file analyzed


/Users/wuxian/Documents/docker/infer-linux64-v0.2.0/infer/examples/Hello.java:4: error: NULL_DEREFERENCE
   object s last assigned on line 3 could be null and is dereferenced at line 4