没有合适的资源?快使用搜索试试~ 我知道了~
java8stream源码-footpatch:足贴
共61个文件
ml:20个
mli:13个
java:8个
需积分: 5 0 下载量 145 浏览量
2021-06-04
16:59:50
上传
评论
收藏 518KB ZIP 举报
温馨提示
java8流源码虚拟机下载 这 。 用户名/密码是vagrant/vagrant 。 从源代码构建 如果你只是想玩跑足补丁(并可能破解代码),请使用 . 旧版本 Infer 的依赖关系可能(并且已经)损坏或消失,并且可能导致从源代码构建出现问题。 如果你真的想从源代码构建,这里有一些指导。 构建仅在 Ubuntu 14.04 和 Infer v0.9.3 上测试。 目前不支持其他版本的 Infer。 安装 如果您安装了所有依赖项,运行./SETUP.sh就足够了。 依赖关系 您至少需要以下依赖项: # install opam add-apt-repository ppa:avsm/ppa apt-get update apt-get install opam # additional deps opam depext conf-autoconf.0.1 opam depext conf-m4.1 opam depext camlzip.1.05 # java sudo apt-get install default-jdk sudo apt-get install default-j
资源推荐
资源详情
资源评论
收起资源包目录
footpatch-master.zip (61个子文件)
footpatch-master
SETUP.sh 499B
patching
rename
rename 413B
Makefile 141B
fragment.java 27B
infile 78B
Rename.java 3KB
javaparser-core-3.0.0-RC.3.jar 416KB
run.sh 129B
test
null-deref-java
AUTOPATCH_LOG.txt 146B
identical 521B
Example.java 826B
run.sh 135B
Makefile 90B
autopatch.sh 3KB
reader-leak-java
ReaderLeaks.java 948B
run.sh 158B
README.md 1KB
autopatch.sh 3KB
README.md 8KB
infer
models
c
src
libc_basic.c 45KB
java
src
android
database
Cursor.java 1KB
CursorWrapper.java 1KB
java
io
Reader.java 2KB
InputStream.java 1KB
src
footpatch
footpatch_assert_spec.ml 5KB
footpatch.mli 65B
footpatch_spec.mli 537B
candidate.mli 997B
candidate.ml 5KB
footpatch_utils.mli 2KB
indent.mli 199B
pat.mli 280B
patch.mli 437B
indent.ml 374B
footpatch_log.mli 194B
compatibility.ml 3KB
compatibility.mli 154B
footpatch_utils.ml 24KB
fix.ml 3KB
patch.ml 5KB
footpatch.ml 7KB
change.ml 605B
fix.mli 603B
rename.ml 1KB
footpatch_log.ml 946B
deferred_errors.ml 713B
pat.ml 782B
footpatch_spec.ml 13KB
change.mli 314B
backend
abs.ml 57KB
logging.ml 7KB
specs.ml 29KB
serialization.ml 4KB
interproc.ml 69KB
symExec.ml 83KB
InferAnalyze.re 6KB
interproc.mli 691B
serialization.mli 2KB
Makefile 14KB
build-infer.sh 5KB
MERGE.sh 1019B
共 61 条
- 1
资源评论
weixin_38694699
- 粉丝: 4
- 资源: 950
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功