"Fossies" - the Fresh Open Source Software Archive

Contents of infer-1.1.0.tar.gz (25 Mar 16:21, 37345522 Bytes)

About: Infer is a static analyzer for Java, C, C++, and Objective-C producing a list of potential bugs.



Fossies downloads: /linux/miscinfer-1.1.0.tar.gz  (tar.bz2|tar.xz|zip)
Fossies services: Doxygen docs | Diffs report | CLOC analysis
Original URL: https://github.com/facebook/infer/archive/refs/tags/v1.1.0.tar.gz
Home page: https://fbinfer.com/
VirusTotal check: Ok
Member paths+URLs:  Shortened | full
Member sort order:  docs related (infos|docs|other) | original | size (top100) | date | path | name | ext | top-path files

Basic infos (README, FAQ, INSTALL, ChangeLog, ...):
    16591 2021-03-25 16:21 Changelog.md
      109 2021-03-25 16:21 CONTRIBUTORS
     3472 2021-03-25 16:21 INSTALL.md
     1086 2021-03-25 16:21 LICENSE
      736 2021-03-25 16:21 README.md
     1080 2021-03-25 16:21 facebook-clang-plugins/LICENSE
     1936 2021-03-25 16:21 facebook-clang-plugins/LLVM-LICENSE
     1015 2021-03-25 16:21 docker/README.md
     1405 2021-03-25 16:21 examples/README.md
     1860 2021-03-25 16:21 facebook-clang-plugins/README.md
      689 2021-03-25 16:21 website/README.md
    16892 2021-03-25 16:21 sledge/TODO.org
     1564 2021-03-25 16:21 website/docs/00-getting-started.md
    10478 2021-03-25 16:21 website/docs/00-hello-world.md
      114 2021-03-25 16:21 infer/src/README.md
     3276 2021-03-25 16:21 sledge/semantics/README.md
      501 2021-03-25 16:21 infer/annotations/README.md
      512 2021-03-25 16:21 facebook-clang-plugins/libtooling/README.md
     5744 2021-03-25 16:21 facebook-clang-plugins/clang-ocaml/README.md

Basic docs (manual pages, PDF-,HTML-,/doc/-files, ...):
     1847 2021-03-25 16:21 sledge/HACKING.adoc
     9851 2021-03-25 16:21 sledge/sledge-help.txt
     4634 2021-03-25 16:21 website/docs/01-analyzing-apps-or-projects.md
     6926 2021-03-25 16:21 website/docs/01-infer-workflow.md
      619 2021-03-25 16:21 website/docs/01-man-pages.md
     2461 2021-03-25 16:21 website/docs/01-steps-for-ci.md
     1467 2021-03-25 16:21 website/docs/02-about-infer.md
    13715 2021-03-25 16:21 website/docs/02-separation-logic-and-biabduction.md
     7161 2021-03-25 16:21 website/docs/04-absint-framework.md
      256 2021-03-25 16:21 website/docs/04-internal-API.md
    75706 2021-03-25 16:21 website/docs/all-issue-types.md
     1147 2021-03-25 16:21 website/docs/checker-annotation-reachability.md
     1241 2021-03-25 16:21 website/docs/checker-biabduction.md
     1876 2021-03-25 16:21 website/docs/checker-bufferoverrun.md
      913 2021-03-25 16:21 website/docs/checker-config-checks-between-markers.md
      800 2021-03-25 16:21 website/docs/checker-config-impact-analysis.md
     5920 2021-03-25 16:21 website/docs/checker-cost.md
      397 2021-03-25 16:21 website/docs/checker-dotnet-resource-leak.md
     4472 2021-03-25 16:21 website/docs/checker-eradicate.md
      582 2021-03-25 16:21 website/docs/checker-fragment-retains-view.md
      883 2021-03-25 16:21 website/docs/checker-immutable-cast.md
     1110 2021-03-25 16:21 website/docs/checker-impurity.md
      620 2021-03-25 16:21 website/docs/checker-inefficient-keyset-iterator.md
    28920 2021-03-25 16:21 website/docs/checker-linters.md
     2299 2021-03-25 16:21 website/docs/checker-litho-required-props.md
      367 2021-03-25 16:21 website/docs/checker-liveness.md
     1053 2021-03-25 16:21 website/docs/checker-loop-hoisting.md
      704 2021-03-25 16:21 website/docs/checker-printf-args.md
     3606 2021-03-25 16:21 website/docs/checker-pulse.md
     3671 2021-03-25 16:21 website/docs/checker-purity.md
     2914 2021-03-25 16:21 website/docs/checker-quandary.md
    21247 2021-03-25 16:21 website/docs/checker-racerd.md
      641 2021-03-25 16:21 website/docs/checker-resource-leak-lab.md
      759 2021-03-25 16:21 website/docs/checker-self-in-block.md
      567 2021-03-25 16:21 website/docs/checker-siof.md
     1097 2021-03-25 16:21 website/docs/checker-starvation.md
     5936 2021-03-25 16:21 website/docs/checker-topl.md
      418 2021-03-25 16:21 website/docs/checker-uninit.md
     1367 2021-03-25 16:21 docker/0.14.0/Dockerfile
     2075 2021-03-25 16:21 docker/master/Dockerfile
     2174 2021-03-25 16:21 docker/master-java/Dockerfile
      157 2021-03-25 16:21 website/docs/man-infer-analyze.md
      157 2021-03-25 16:21 website/docs/man-infer-capture.md
      157 2021-03-25 16:21 website/docs/man-infer-compile.md
      151 2021-03-25 16:21 website/docs/man-infer-debug.md
      157 2021-03-25 16:21 website/docs/man-infer-explore.md
      148 2021-03-25 16:21 website/docs/man-infer-help.md
      133 2021-03-25 16:21 website/docs/man-infer.md
      166 2021-03-25 16:21 website/docs/man-infer-reportdiff.md
      154 2021-03-25 16:21 website/docs/man-infer-report.md
      145 2021-03-25 16:21 website/docs/man-infer-run.md
     6170 2021-03-25 16:21 website/docs/support.md
      205 2021-03-25 16:21 website/docs/versions.md

First 50 (from 11530) other files:
     1559 2021-03-25 16:21 website/versioned_docs/version-1.0.0/00-getting-started.md
    10478 2021-03-25 16:21 website/versioned_docs/version-1.0.0/00-hello-world.md
     4541 2021-03-25 16:21 website/versioned_docs/version-1.0.0/01-advanced-features.md
     4634 2021-03-25 16:21 website/versioned_docs/version-1.0.0/01-analyzing-apps-or-projects.md
     6926 2021-03-25 16:21 website/versioned_docs/version-1.0.0/01-infer-workflow.md
      628 2021-03-25 16:21 website/versioned_docs/version-1.0.0/01-man-pages.md
     2461 2021-03-25 16:21 website/versioned_docs/version-1.0.0/01-steps-for-ci.md
     1467 2021-03-25 16:21 website/versioned_docs/version-1.0.0/02-about-infer.md
    13715 2021-03-25 16:21 website/versioned_docs/version-1.0.0/02-separation-logic-and-biabduction.md
     7164 2021-03-25 16:21 website/versioned_docs/version-1.0.0/04-absint-framework.md
      257 2021-03-25 16:21 website/versioned_docs/version-1.0.0/04-internal-API.md
     1165 2021-03-25 16:21 website/blog/2015-05-22-Infer-on-open-source-android-apps.md
     3518 2021-03-25 16:21 website/blog/2016-03-17-collaboration-with-spotify.md
      299 2021-03-25 16:21 website/blog/2016-04-07-mobileatscale-london-talk.md
     2030 2021-03-25 16:21 website/blog/2016-06-23-first-opensourceversary.md
      470 2021-03-25 16:21 website/blog/2016-08-30-curryon-rome-talk.md
      336 2021-03-25 16:21 website/blog/2016-11-28-atscale16.md
     1203 2021-03-25 16:21 website/blog/2017-10-20-ocamlformat-released.md
      246 2021-03-25 16:21 infer/tests/build_systems/incremental_analysis_remove_file/src_before/a_and_c.c
      208 2021-03-25 16:21 infer/tests/build_systems/incremental_analysis_remove_file/src_after/a_and_c.h
      208 2021-03-25 16:21 infer/tests/build_systems/incremental_analysis_remove_file/src_before/a_and_c.h
      262 2021-03-25 16:21 infer/tests/build_systems/incremental_analysis_change_procedure/src/a_and_d.c
      208 2021-03-25 16:21 infer/tests/build_systems/incremental_analysis_change_procedure/src/a_and_d.h
      662 2021-03-25 16:21 facebook-clang-plugins/clang/src/AArch64SVEACLETypes.patch
     1292 2021-03-25 16:21 infer/tests/codetoanalyze/c/biabduction/misc/abduce.c
      812 2021-03-25 16:21 infer/tests/codetoanalyze/c/biabduction/initialization/abduce_structured_types.c
     2421 2021-03-25 16:21 sledge/vendor/llvm-dune/llvm-project/libcxxabi/src/abort_message.cpp
      587 2021-03-25 16:21 sledge/vendor/llvm-dune/llvm-project/libcxxabi/src/abort_message.h
     1028 2021-03-25 16:21 infer/src/biabduction/Absarray.mli
    26832 2021-03-25 16:21 infer/src/biabduction/Absarray.ml
     1054 2021-03-25 16:21 website/static/odoc/1.0.0/infer/Absint.html
     1054 2021-03-25 16:21 website/static/odoc/next/infer/Absint.html
      243 2021-03-25 16:21 infer/src/absint/Absint.mld
     4629 2021-03-25 16:21 infer/src/bufferoverrun/absLoc.mli
    17837 2021-03-25 16:21 infer/src/bufferoverrun/absLoc.ml
     1759 2021-03-25 16:21 infer/src/biabduction/Abs.mli
    54388 2021-03-25 16:21 infer/src/biabduction/Abs.ml
     2338 2021-03-25 16:21 infer/src/concurrency/AbstractAddress.mli
     9666 2021-03-25 16:21 infer/src/concurrency/AbstractAddress.ml
      286 2021-03-25 16:21 infer/models/java/src/android/database/AbstractCursor.java
     9158 2021-03-25 16:21 infer/src/absint/AbstractDomain.mli
    19253 2021-03-25 16:21 infer/src/absint/AbstractDomain.ml
     3181 2021-03-25 16:21 infer/src/absint/AbstractInterpreter.mli
    23933 2021-03-25 16:21 infer/src/absint/AbstractInterpreter.ml
     4522 2021-03-25 16:21 infer/src/unit/abstractInterpreterTests.ml
      483 2021-03-25 16:21 infer/models/java/src/java/nio/channels/spi/AbstractInterruptibleChannel.java
     1259 2021-03-25 16:21 infer/models/java/src/java/util/AbstractList.java
     1275 2021-03-25 16:21 infer/tests/codetoanalyze/java/racerd/AbstractOwnership.java
      613 2021-03-25 16:21 m4/ac_assert_ocaml_min_version.m4
     1155 2021-03-25 16:21 m4/ac_assert_ocaml_pkg.m4
...

A hint: In order to limit the size of this page, in total 11480 archive member files not "information" or "documentation" related - are omitted here. But all those files can be found in the complete docs-related index file or in the originally, by date, by pathname, by filename or by file extension sorted index files (roughly file size each: 3.2 MB !).
   MD5 (infer-1.1.0.tar.gz): 86defa40b710cabe4edb24cc4d2af61b
  SHA1 (infer-1.1.0.tar.gz): 97d68f11faaa0da0f421cbdcead061633fb5fbb1
SHA256 (infer-1.1.0.tar.gz): 201c7797668a4b498fe108fcc13031b72d9dbf04dab0dc65dd6bd3f30e1f89ee

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  Codespell  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)