├── .gitignore ├── CNAME ├── README.md ├── _config.yml ├── _data ├── authors.yml ├── features.yml ├── nav.yml ├── nav_docs.yml └── promo.yml ├── _docs ├── 00-getting-started.md ├── 00-hello-world.md ├── 01-adding-models.md ├── 01-advanced-features.md ├── 01-analyzing-apps-or-projects.md ├── 01-checkers.md ├── 01-eradicate.md ├── 01-infer-workflow.md ├── 01-install-from-sources.md ├── 02-about-infer.md ├── 02-limitations.md ├── 02-separation-logic-and-biabduction.md ├── 03-checker-bug-types.md ├── 03-eradicate-warnings.md └── 03-infer-bug-types.md ├── _includes ├── blog_pagination.html ├── content │ ├── gridblocks.html │ └── items │ │ └── gridblock.html ├── doc.html ├── doc_paging.html ├── footer.html ├── head.html ├── header.html ├── hero.html ├── katex_import.html ├── katex_render.html ├── nav.html ├── nav_blog.html ├── nav_docs.html ├── plugins │ ├── all_share.html │ ├── ascii_cinema.html │ ├── button.html │ ├── fb_pagelike.html │ ├── github_star.html │ ├── github_watch.html │ ├── google_share.html │ ├── group_join.html │ ├── like_button.html │ ├── post_social_plugins.html │ ├── slideshow.html │ ├── twitter_follow.html │ └── twitter_share.html ├── post.html ├── social_plugins.html └── ui │ └── button.html ├── _layouts ├── blog.html ├── default.html ├── doc_page.html ├── docs.html ├── home.html ├── page.html ├── plain.html ├── post.html ├── redirect.html └── support.html ├── _posts └── 2015-05-22-Infer-on-open-source-android-apps.md ├── _sass ├── _base.scss ├── _reset.scss ├── _slideshow.scss └── _syntax-highlighting.scss ├── blog ├── all.html └── index.html ├── css └── main.scss ├── docs └── index.html ├── downloads ├── InferAndroidExample.tar.gz ├── InferCExample.tar.gz └── InferiOSExample.tar.gz ├── feed.xml ├── index.md ├── static ├── favicon.png ├── images │ ├── Infer-landing.jpg │ ├── Infer-landing.png │ └── SepSplit.jpg ├── logo.png ├── og_image.png ├── oss_logo.png ├── pygments.css └── react-with-addons-0.13.1.js └── support.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/.gitignore -------------------------------------------------------------------------------- /CNAME: -------------------------------------------------------------------------------- 1 | fbinfer.com 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/README.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_config.yml -------------------------------------------------------------------------------- /_data/authors.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_data/authors.yml -------------------------------------------------------------------------------- /_data/features.yml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /_data/nav.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_data/nav.yml -------------------------------------------------------------------------------- /_data/nav_docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_data/nav_docs.yml -------------------------------------------------------------------------------- /_data/promo.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_data/promo.yml -------------------------------------------------------------------------------- /_docs/00-getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/00-getting-started.md -------------------------------------------------------------------------------- /_docs/00-hello-world.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/00-hello-world.md -------------------------------------------------------------------------------- /_docs/01-adding-models.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/01-adding-models.md -------------------------------------------------------------------------------- /_docs/01-advanced-features.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/01-advanced-features.md -------------------------------------------------------------------------------- /_docs/01-analyzing-apps-or-projects.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/01-analyzing-apps-or-projects.md -------------------------------------------------------------------------------- /_docs/01-checkers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/01-checkers.md -------------------------------------------------------------------------------- /_docs/01-eradicate.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/01-eradicate.md -------------------------------------------------------------------------------- /_docs/01-infer-workflow.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/01-infer-workflow.md -------------------------------------------------------------------------------- /_docs/01-install-from-sources.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/01-install-from-sources.md -------------------------------------------------------------------------------- /_docs/02-about-infer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/02-about-infer.md -------------------------------------------------------------------------------- /_docs/02-limitations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/02-limitations.md -------------------------------------------------------------------------------- /_docs/02-separation-logic-and-biabduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/02-separation-logic-and-biabduction.md -------------------------------------------------------------------------------- /_docs/03-checker-bug-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/03-checker-bug-types.md -------------------------------------------------------------------------------- /_docs/03-eradicate-warnings.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/03-eradicate-warnings.md -------------------------------------------------------------------------------- /_docs/03-infer-bug-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_docs/03-infer-bug-types.md -------------------------------------------------------------------------------- /_includes/blog_pagination.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/blog_pagination.html -------------------------------------------------------------------------------- /_includes/content/gridblocks.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/content/gridblocks.html -------------------------------------------------------------------------------- /_includes/content/items/gridblock.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/content/items/gridblock.html -------------------------------------------------------------------------------- /_includes/doc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/doc.html -------------------------------------------------------------------------------- /_includes/doc_paging.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/doc_paging.html -------------------------------------------------------------------------------- /_includes/footer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/footer.html -------------------------------------------------------------------------------- /_includes/head.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/head.html -------------------------------------------------------------------------------- /_includes/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/header.html -------------------------------------------------------------------------------- /_includes/hero.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/hero.html -------------------------------------------------------------------------------- /_includes/katex_import.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/katex_import.html -------------------------------------------------------------------------------- /_includes/katex_render.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/katex_render.html -------------------------------------------------------------------------------- /_includes/nav.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/nav.html -------------------------------------------------------------------------------- /_includes/nav_blog.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/nav_blog.html -------------------------------------------------------------------------------- /_includes/nav_docs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/nav_docs.html -------------------------------------------------------------------------------- /_includes/plugins/all_share.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/all_share.html -------------------------------------------------------------------------------- /_includes/plugins/ascii_cinema.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/ascii_cinema.html -------------------------------------------------------------------------------- /_includes/plugins/button.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/button.html -------------------------------------------------------------------------------- /_includes/plugins/fb_pagelike.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/fb_pagelike.html -------------------------------------------------------------------------------- /_includes/plugins/github_star.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/github_star.html -------------------------------------------------------------------------------- /_includes/plugins/github_watch.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/github_watch.html -------------------------------------------------------------------------------- /_includes/plugins/google_share.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/google_share.html -------------------------------------------------------------------------------- /_includes/plugins/group_join.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/group_join.html -------------------------------------------------------------------------------- /_includes/plugins/like_button.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/like_button.html -------------------------------------------------------------------------------- /_includes/plugins/post_social_plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/post_social_plugins.html -------------------------------------------------------------------------------- /_includes/plugins/slideshow.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/slideshow.html -------------------------------------------------------------------------------- /_includes/plugins/twitter_follow.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/twitter_follow.html -------------------------------------------------------------------------------- /_includes/plugins/twitter_share.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/plugins/twitter_share.html -------------------------------------------------------------------------------- /_includes/post.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/post.html -------------------------------------------------------------------------------- /_includes/social_plugins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/social_plugins.html -------------------------------------------------------------------------------- /_includes/ui/button.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_includes/ui/button.html -------------------------------------------------------------------------------- /_layouts/blog.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_layouts/blog.html -------------------------------------------------------------------------------- /_layouts/default.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_layouts/default.html -------------------------------------------------------------------------------- /_layouts/doc_page.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_layouts/doc_page.html -------------------------------------------------------------------------------- /_layouts/docs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_layouts/docs.html -------------------------------------------------------------------------------- /_layouts/home.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_layouts/home.html -------------------------------------------------------------------------------- /_layouts/page.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_layouts/page.html -------------------------------------------------------------------------------- /_layouts/plain.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_layouts/plain.html -------------------------------------------------------------------------------- /_layouts/post.html: -------------------------------------------------------------------------------- 1 | --- 2 | layout: page 3 | --- 4 | 5 | {% include post.html %} 6 | 7 | -------------------------------------------------------------------------------- /_layouts/redirect.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_layouts/redirect.html -------------------------------------------------------------------------------- /_layouts/support.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_layouts/support.html -------------------------------------------------------------------------------- /_posts/2015-05-22-Infer-on-open-source-android-apps.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_posts/2015-05-22-Infer-on-open-source-android-apps.md -------------------------------------------------------------------------------- /_sass/_base.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_sass/_base.scss -------------------------------------------------------------------------------- /_sass/_reset.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_sass/_reset.scss -------------------------------------------------------------------------------- /_sass/_slideshow.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_sass/_slideshow.scss -------------------------------------------------------------------------------- /_sass/_syntax-highlighting.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/_sass/_syntax-highlighting.scss -------------------------------------------------------------------------------- /blog/all.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/blog/all.html -------------------------------------------------------------------------------- /blog/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/blog/index.html -------------------------------------------------------------------------------- /css/main.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/css/main.scss -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/docs/index.html -------------------------------------------------------------------------------- /downloads/InferAndroidExample.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/downloads/InferAndroidExample.tar.gz -------------------------------------------------------------------------------- /downloads/InferCExample.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/downloads/InferCExample.tar.gz -------------------------------------------------------------------------------- /downloads/InferiOSExample.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/downloads/InferiOSExample.tar.gz -------------------------------------------------------------------------------- /feed.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/feed.xml -------------------------------------------------------------------------------- /index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/index.md -------------------------------------------------------------------------------- /static/favicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/static/favicon.png -------------------------------------------------------------------------------- /static/images/Infer-landing.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/static/images/Infer-landing.jpg -------------------------------------------------------------------------------- /static/images/Infer-landing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/static/images/Infer-landing.png -------------------------------------------------------------------------------- /static/images/SepSplit.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/static/images/SepSplit.jpg -------------------------------------------------------------------------------- /static/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/static/logo.png -------------------------------------------------------------------------------- /static/og_image.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/static/og_image.png -------------------------------------------------------------------------------- /static/oss_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/static/oss_logo.png -------------------------------------------------------------------------------- /static/pygments.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/static/pygments.css -------------------------------------------------------------------------------- /static/react-with-addons-0.13.1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/static/react-with-addons-0.13.1.js -------------------------------------------------------------------------------- /support.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/liaohuqiu/infer-docs-cn/HEAD/support.md --------------------------------------------------------------------------------