Path	Lines of Code
CODE_OF_CONDUCT.md	28
CONTRIBUTING.md	165
Changelog.md	185
FILES.md	4
INSTALL.md	80
ISSUE_TEMPLATE.md	9
PULL_REQUEST_TEMPLATE.md	1
README.md	15
docker/README.md	28
examples/Hello.java	6
examples/Hello.m	10
examples/README.md	28
examples/android_hello/app/build.gradle	23
examples/android_hello/app/src/androidTest/java/infer/inferandroidexample/ApplicationTest.java	8
examples/android_hello/app/src/main/AndroidManifest.xml	18
examples/android_hello/app/src/main/java/infer/inferandroidexample/Generated.java	6
examples/android_hello/app/src/main/java/infer/inferandroidexample/MainActivity.java	55
examples/android_hello/app/src/main/java/infer/other/MainActivity.java	17
examples/android_hello/app/src/main/res/layout/activity_main.xml	9
examples/android_hello/app/src/main/res/menu/menu_main.xml	6
examples/android_hello/app/src/main/res/values-w820dp/dimens.xml	3
examples/android_hello/app/src/main/res/values/dimens.xml	4
examples/android_hello/app/src/main/res/values/strings.xml	6
examples/android_hello/app/src/main/res/values/styles.xml	4
examples/android_hello/build.gradle	13
examples/android_hello/gradle.properties	14
examples/android_hello/settings.gradle	1
examples/c_hello/example.c	48
examples/demo/00/simple_null.cpp	4
examples/demo/01/simple_null_interproc.c	7
examples/demo/01/simple_null_interproc_fixed.c	10
examples/demo/01/wrappers.c	3
examples/demo/02/Resources.java	18
examples/demo/02/ResourcesFixed.java	12
examples/demo/03.fixed/Account.java	5
examples/demo/03.fixed/AccountImplementation.java	19
examples/demo/03.fixed/Client.java	10
examples/demo/03.fixed/ThreadSafe.java	1
examples/demo/03/Account.java	4
examples/demo/03/AccountImplementation.java	19
examples/demo/03/Client.java	9
examples/demo/03/ThreadSafe.java	1
examples/demo/04.fixed/Client.java	7
examples/demo/04.fixed/Library.java	11
examples/demo/04.fixed/Nullable.java	1
examples/demo/04/Client.java	6
examples/demo/04/Library.java	10
examples/demo/04/Nullable.java	1
examples/demo/demo.sh	9
examples/hello.c	5
examples/ios_hello/HelloWorldApp.xcodeproj/xcuserdata/dulmarod.xcuserdatad/xcschemes/xcschememanagement.plist	27
examples/ios_hello/HelloWorldApp/AppDelegate.h	4
examples/ios_hello/HelloWorldApp/AppDelegate.m	48
examples/ios_hello/HelloWorldApp/Base.lproj/LaunchScreen.xib	41
examples/ios_hello/HelloWorldApp/Base.lproj/Main.storyboard	24
examples/ios_hello/HelloWorldApp/Hello.h	9
examples/ios_hello/HelloWorldApp/Hello.m	19
examples/ios_hello/HelloWorldApp/Images.xcassets/AppIcon.appiconset/Contents.json	38
examples/ios_hello/HelloWorldApp/Info.plist	40
examples/ios_hello/HelloWorldApp/ViewController.h	3
examples/ios_hello/HelloWorldApp/ViewController.m	11
examples/ios_hello/HelloWorldApp/main.m	8
examples/ios_hello/HelloWorldAppTests/HelloWorldAppTests.m	19
examples/ios_hello/HelloWorldAppTests/Info.plist	24
examples/java_hello/Hello.java	44
examples/java_hello/Pointers.java	12
examples/java_hello/Resources.java	14
facebook-clang-plugins/README.md	23
facebook-clang-plugins/clang-ocaml/README.md	65
facebook-clang-plugins/clang/src/AArch64SVEACLETypes.patch	15
facebook-clang-plugins/clang/src/err_ret_local_block.patch	13
facebook-clang-plugins/clang/src/mangle_suppress_errors.patch	94
facebook-clang-plugins/libtooling/ATD_GUIDELINES.md	223
facebook-clang-plugins/libtooling/README.md	10
infer/annotations/README.md	9
infer/documentation/checkers/ASTLanguage.md	544
infer/documentation/checkers/Cost.md	55
infer/documentation/checkers/Eradicate.md	56
infer/documentation/checkers/Impurity.md	1
infer/documentation/checkers/LithoRequiredProps.md	24
infer/documentation/checkers/LoopHoisting.md	2
infer/documentation/checkers/ParameterNotNullChecked.md	2
infer/documentation/checkers/Pulse.md	91
infer/documentation/checkers/Purity.md	32
infer/documentation/checkers/Quandary.md	8
infer/documentation/checkers/RacerD.md	395
infer/documentation/checkers/Starvation.md	5
infer/documentation/checkers/Topl.md	71
infer/documentation/issues/ARBITRARY_CODE_EXECUTION_UNDER_LOCK.md	21
infer/documentation/issues/ASSIGN_POINTER_WARNING.md	4
infer/documentation/issues/AUTORELEASEPOOL_SIZE_COMPLEXITY_INCREASE.md	4
infer/documentation/issues/AUTORELEASEPOOL_SIZE_COMPLEXITY_INCREASE_UI_THREAD.md	6
infer/documentation/issues/AUTORELEASEPOOL_SIZE_UNREACHABLE_AT_EXIT.md	2
infer/documentation/issues/BAD_KEY.md	7
infer/documentation/issues/BAD_MAP.md	7
infer/documentation/issues/BAD_POINTER_COMPARISON.md	12
infer/documentation/issues/BAD_RECORD.md	9
infer/documentation/issues/BLOCK_PARAMETER_NOT_NULL_CHECKED.md	18
infer/documentation/issues/BUFFER_OVERRUN.md	19
infer/documentation/issues/CAPTURED_STRONG_SELF.md	67
infer/documentation/issues/CHECKERS_ALLOCATES_MEMORY.md	10
infer/documentation/issues/CHECKERS_ANNOTATION_REACHABILITY_ERROR.md	1
infer/documentation/issues/CHECKERS_CALLS_EXPENSIVE_METHOD.md	12
infer/documentation/issues/CHECKERS_EXPENSIVE_OVERRIDES_UNANNOTATED.md	11
infer/documentation/issues/CHECKERS_FRAGMENT_RETAINS_VIEW.md	8
infer/documentation/issues/CHECKERS_IMMUTABLE_CAST.md	12
infer/documentation/issues/CHECKERS_PRINTF_ARGS.md	7
infer/documentation/issues/COMPONENT_INITIALIZER_WITH_SIDE_EFFECTS.md	1
infer/documentation/issues/COMPONENT_WITH_MULTIPLE_FACTORY_METHODS.md	1
infer/documentation/issues/CONFIG_IMPACT.md	42
infer/documentation/issues/CONFIG_IMPACT_STRICT.md	2
infer/documentation/issues/CONFIG_IMPACT_STRICT_BETA.md	2
infer/documentation/issues/CONSTANT_ADDRESS_DEREFERENCE.md	6
infer/documentation/issues/CXX_REFERENCE_CAPTURED_IN_OBJC_BLOCK.md	13
infer/documentation/issues/DEADLOCK.md	50
infer/documentation/issues/DEAD_STORE.md	2
infer/documentation/issues/DIRECT_ATOMIC_PROPERTY_ACCESS.md	4
infer/documentation/issues/DISCOURAGED_WEAK_PROPERTY_CUSTOM_SETTER.md	51
infer/documentation/issues/EMPTY_VECTOR_ACCESS.md	10
infer/documentation/issues/ERADICATE_CONDITION_REDUNDANT.md	19
infer/documentation/issues/ERADICATE_FIELD_NOT_INITIALIZED.md	13
infer/documentation/issues/ERADICATE_FIELD_NOT_NULLABLE.md	16
infer/documentation/issues/ERADICATE_INCONSISTENT_SUBCLASS_PARAMETER_ANNOTATION.md	29
infer/documentation/issues/ERADICATE_INCONSISTENT_SUBCLASS_RETURN_ANNOTATION.md	30
infer/documentation/issues/ERADICATE_META_CLASS_NEEDS_IMPROVEMENT.md	3
infer/documentation/issues/ERADICATE_PARAMETER_NOT_NULLABLE.md	18
infer/documentation/issues/ERADICATE_RETURN_NOT_NULLABLE.md	15
infer/documentation/issues/ERADICATE_RETURN_OVER_ANNOTATED.md	17
infer/documentation/issues/EXECUTION_TIME_COMPLEXITY_INCREASE.md	5
infer/documentation/issues/EXECUTION_TIME_COMPLEXITY_INCREASE_UI_THREAD.md	8
infer/documentation/issues/EXECUTION_TIME_UNREACHABLE_AT_EXIT.md	12
infer/documentation/issues/EXPENSIVE_AUTORELEASEPOOL_SIZE.md	2
infer/documentation/issues/EXPENSIVE_EXECUTION_TIME.md	11
infer/documentation/issues/EXPENSIVE_LOOP_INVARIANT_CALL.md	19
infer/documentation/issues/GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL.md	4
infer/documentation/issues/GUARDEDBY_VIOLATION.md	12
infer/documentation/issues/IMPURE_FUNCTION.md	10
infer/documentation/issues/INEFFICIENT_KEYSET_ITERATOR.md	23
infer/documentation/issues/INFINITE_AUTORELEASEPOOL_SIZE.md	3
infer/documentation/issues/INFINITE_EXECUTION_TIME.md	33
infer/documentation/issues/INTEGER_OVERFLOW.md	13
infer/documentation/issues/INTERFACE_NOT_THREAD_SAFE.md	6
infer/documentation/issues/INVARIANT_CALL.md	16
infer/documentation/issues/LOCKLESS_VIOLATION.md	14
infer/documentation/issues/LOCK_CONSISTENCY_VIOLATION.md	15
infer/documentation/issues/MEMORY_LEAK_C.md	18
infer/documentation/issues/MISSING_REQUIRED_PROP.md	45
infer/documentation/issues/MIXED_SELF_WEAKSELF.md	18
infer/documentation/issues/MODIFIES_IMMUTABLE.md	11
infer/documentation/issues/MULTIPLE_WEAKSELF.md	29
infer/documentation/issues/MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE.md	1
infer/documentation/issues/NIL_BLOCK_CALL.md	13
infer/documentation/issues/NIL_INSERTION_INTO_COLLECTION.md	26
infer/documentation/issues/NIL_MESSAGING_TO_NON_POD.md	21
infer/documentation/issues/NO_MATCHING_BRANCH_IN_TRY.md	10
infer/documentation/issues/NO_MATCHING_CASE_CLAUSE.md	9
infer/documentation/issues/NO_MATCHING_FUNCTION_CLAUSE.md	6
infer/documentation/issues/NO_MATCH_OF_RHS.md	2
infer/documentation/issues/NO_TRUE_BRANCH_IN_IF.md	9
infer/documentation/issues/NULLPTR_DEREFERENCE.md	73
infer/documentation/issues/OPTIONAL_EMPTY_ACCESS.md	39
infer/documentation/issues/PARAMETER_NOT_NULL_CHECKED.md	20
infer/documentation/issues/POINTER_TO_CONST_OBJC_CLASS.md	4
infer/documentation/issues/PREMATURE_NIL_TERMINATION_ARGUMENT.md	12
infer/documentation/issues/PULSE_UNNECESSARY_COPY.md	15
infer/documentation/issues/PURE_FUNCTION.md	28
infer/documentation/issues/RESOURCE_LEAK.md	221
infer/documentation/issues/RETAIN_CYCLE.md	27
infer/documentation/issues/STACK_VARIABLE_ADDRESS_ESCAPE.md	11
infer/documentation/issues/STARVATION.md	42
infer/documentation/issues/STATIC_INITIALIZATION_ORDER_FIASCO.md	6
infer/documentation/issues/STRICT_MODE_VIOLATION.md	8
infer/documentation/issues/STRONG_DELEGATE_WARNING.md	3
infer/documentation/issues/STRONG_SELF_NOT_CHECKED.md	28
infer/documentation/issues/THREAD_SAFETY_VIOLATION.md	69
infer/documentation/issues/TOPL_ERROR.md	4
infer/documentation/issues/UNINITIALIZED_VALUE.md	19
infer/documentation/issues/USE_AFTER_DELETE.md	1
infer/documentation/issues/USE_AFTER_FREE.md	1
infer/documentation/issues/USE_AFTER_LIFETIME.md	13
infer/documentation/issues/VECTOR_INVALIDATION.md	16
infer/documentation/issues/WEAK_SELF_IN_NO_ESCAPE_BLOCK.md	24
infer/man/man1/infer-analyze.txt	527
infer/man/man1/infer-capture.txt	285
infer/man/man1/infer-compile.txt	69
infer/man/man1/infer-debug.txt	106
infer/man/man1/infer-explore.txt	42
infer/man/man1/infer-full.txt	2031
infer/man/man1/infer-help.txt	51
infer/man/man1/infer-report.txt	365
infer/man/man1/infer-reportdiff.txt	80
infer/man/man1/infer-run.txt	145
infer/man/man1/infer.txt	1317
infer/models/java/src/org/apache/commons/lang3/NOTICE.txt	4
infer/src/README.md	2
infer/src/labs/README.md	105
infer/tests/build_systems/buck_block_list/block_list.txt	2
infer/tests/build_systems/buck_block_list/buck_target.txt	1
infer/tests/build_systems/buck_clang_test_determinator/profiler_samples.json	35
infer/tests/build_systems/buck_flavors/buck_target.txt	1
infer/tests/build_systems/buck_flavors_diff/changed_files.txt	1
infer/tests/build_systems/clang_test_determinator/profiler_samples.json	135
infer/tests/build_systems/codetoanalyze/clang_compilation_database/CMakeLists.txt	4
infer/tests/build_systems/codetoanalyze/clang_compilation_database/buck_target_hello_test.txt	1
infer/tests/build_systems/codetoanalyze/clang_compilation_database/index.txt	3
infer/tests/build_systems/codetoanalyze/cmake/CMakeLists.txt	3
infer/tests/build_systems/codetoanalyze/xcodebuild/simple_app/simple_app/Assets.xcassets/AppIcon.appiconset/Contents.json	38
infer/tests/build_systems/codetoanalyze/xcodebuild/simple_app/simple_app/Base.lproj/LaunchScreen.storyboard	26
infer/tests/build_systems/codetoanalyze/xcodebuild/simple_app/simple_app/Base.lproj/Main.storyboard	25
infer/tests/build_systems/codetoanalyze/xcodebuild/simple_app/simple_app/Info.plist	38
infer/tests/build_systems/differential_interesting_paths_filter/src/com/example/unrelated_file.txt	1
infer/tests/build_systems/differential_skip_duplicated_types_on_filenames_with_renamings/file_renamings.json	6
infer/tests/build_systems/incremental_analysis_add_procedure/changed_files.txt	1
infer/tests/build_systems/incremental_analysis_change_procedure/changed_files.txt	1
infer/tests/build_systems/incremental_analysis_cost_change/changed_files.txt	1
infer/tests/build_systems/incremental_analysis_remove_file/changed_files.txt	1
infer/tests/build_systems/inferconfig-arg/config/index.txt	3
infer/tests/build_systems/inferconfig/config/index.txt	3
infer/tests/build_systems/java_test_determinator/profiler_samples.json	49
infer/tests/codetoanalyze/objc/linters-def-folder/checks/not_an_al_file.al.txt	7
infer/tests/codetoanalyze/objc/linters-def-folder/checks/subfolder_with_checks/unrelated_file.al.txt	7
sledge/nonstdlib/ocaml/README.md	4
sledge/semantics/README.md	57
sledge/sledge-help.txt	233
sledge/test/smt/QF_IDL/LICENSE.md	6
sledge/test/smt/QF_LIA/LICENSE.md	6
sledge/test/smt/QF_LIA_inc/LICENSE.md	6
sledge/test/smt/QF_LRA/LICENSE.md	6
sledge/test/smt/QF_UF/LICENSE.md	6
sledge/test/smt/QF_UFLRA/LICENSE.md	6
sledge/test/smt/QF_UFLRA_inc/LICENSE.md	6
sokrates_conventions.json	72
website/README.md	24
website/blog/2015-05-22-Infer-on-open-source-android-apps.md	19
website/blog/2016-03-17-collaboration-with-spotify.md	52
website/blog/2016-04-07-mobileatscale-london-talk.md	5
website/blog/2016-06-23-first-opensourceversary.md	35
website/blog/2016-08-30-curryon-rome-talk.md	9
website/blog/2016-11-28-atscale16.md	9
website/blog/2017-10-20-ocamlformat-released.md	21
website/checkers.json	18
website/package.json	35
website/static/img/who/aws.svg	174
website/static/img/who/uber.svg	39
website/static/img/who/whatsapp.svg	59
website/static/man/1.0.0/infer-analyze.1.html	653
website/static/man/1.0.0/infer-capture.1.html	412
website/static/man/1.0.0/infer-compile.1.html	141
website/static/man/1.0.0/infer-debug.1.html	175
website/static/man/1.0.0/infer-explore.1.html	100
website/static/man/1.0.0/infer-help.1.html	117
website/static/man/1.0.0/infer-report.1.html	433
website/static/man/1.0.0/infer-reportdiff.1.html	150
website/static/man/1.0.0/infer-run.1.html	257
website/static/man/1.0.0/infer.1.html	1758
website/static/man/1.1.0/infer-analyze.1.html	685
website/static/man/1.1.0/infer-capture.1.html	415
website/static/man/1.1.0/infer-compile.1.html	132
website/static/man/1.1.0/infer-debug.1.html	172
website/static/man/1.1.0/infer-explore.1.html	92
website/static/man/1.1.0/infer-help.1.html	110
website/static/man/1.1.0/infer-report.1.html	453
website/static/man/1.1.0/infer-reportdiff.1.html	154
website/static/man/1.1.0/infer-run.1.html	247
website/static/man/1.1.0/infer.1.html	1900
website/static/man/next/infer-analyze.1.html	809
website/static/man/next/infer-capture.1.html	483
website/static/man/next/infer-compile.1.html	141
website/static/man/next/infer-debug.1.html	190
website/static/man/next/infer-explore.1.html	101
website/static/man/next/infer-help.1.html	117
website/static/man/next/infer-report.1.html	510
website/static/man/next/infer-reportdiff.1.html	162
website/static/man/next/infer-run.1.html	269
website/static/man/next/infer.1.html	2162
website/versioned_docs/version-1.0.0/00-getting-started.md	31
website/versioned_docs/version-1.0.0/00-hello-world.md	254
website/versioned_docs/version-1.0.0/01-advanced-features.md	115
website/versioned_docs/version-1.0.0/01-analyzing-apps-or-projects.md	116
website/versioned_docs/version-1.0.0/01-infer-workflow.md	143
website/versioned_docs/version-1.0.0/01-man-pages.md	14
website/versioned_docs/version-1.0.0/01-steps-for-ci.md	52
website/versioned_docs/version-1.0.0/02-about-infer.md	24
website/versioned_docs/version-1.0.0/02-separation-logic-and-biabduction.md	234
website/versioned_docs/version-1.0.0/04-absint-framework.md	133
website/versioned_docs/version-1.0.0/04-internal-API.md	6
website/versioned_docs/version-1.0.0/all-issue-types.md	1514
website/versioned_docs/version-1.0.0/checker-annotation-reachability.md	15
website/versioned_docs/version-1.0.0/checker-biabduction.md	22
website/versioned_docs/version-1.0.0/checker-bufferoverrun.md	31
website/versioned_docs/version-1.0.0/checker-config-checks-between-markers.md	13
website/versioned_docs/version-1.0.0/checker-cost.md	65
website/versioned_docs/version-1.0.0/checker-eradicate.md	84
website/versioned_docs/version-1.0.0/checker-fragment-retains-view.md	13
website/versioned_docs/version-1.0.0/checker-immutable-cast.md	14
website/versioned_docs/version-1.0.0/checker-impurity.md	13
website/versioned_docs/version-1.0.0/checker-inefficient-keyset-iterator.md	12
website/versioned_docs/version-1.0.0/checker-linters.md	565
website/versioned_docs/version-1.0.0/checker-litho-required-props.md	48
website/versioned_docs/version-1.0.0/checker-liveness.md	12
website/versioned_docs/version-1.0.0/checker-loop-hoisting.md	15
website/versioned_docs/version-1.0.0/checker-printf-args.md	13
website/versioned_docs/version-1.0.0/checker-pulse.md	20
website/versioned_docs/version-1.0.0/checker-purity.md	44
website/versioned_docs/version-1.0.0/checker-quandary.md	41
website/versioned_docs/version-1.0.0/checker-racerd.md	408
website/versioned_docs/version-1.0.0/checker-resource-leak-lab.md	13
website/versioned_docs/version-1.0.0/checker-self-in-block.md	16
website/versioned_docs/version-1.0.0/checker-siof.md	12
website/versioned_docs/version-1.0.0/checker-starvation.md	20
website/versioned_docs/version-1.0.0/checker-topl-biabd.md	12
website/versioned_docs/version-1.0.0/checker-topl-pulse.md	12
website/versioned_docs/version-1.0.0/checker-uninit.md	12
website/versioned_docs/version-1.0.0/man-infer-analyze.md	6
website/versioned_docs/version-1.0.0/man-infer-capture.md	6
website/versioned_docs/version-1.0.0/man-infer-compile.md	6
website/versioned_docs/version-1.0.0/man-infer-debug.md	6
website/versioned_docs/version-1.0.0/man-infer-explore.md	6
website/versioned_docs/version-1.0.0/man-infer-help.md	6
website/versioned_docs/version-1.0.0/man-infer-report.md	6
website/versioned_docs/version-1.0.0/man-infer-reportdiff.md	6
website/versioned_docs/version-1.0.0/man-infer-run.md	6
website/versioned_docs/version-1.0.0/man-infer.md	6
website/versioned_docs/version-1.0.0/support.md	96
website/versioned_docs/version-1.0.0/versions.md	8
website/versioned_docs/version-1.1.0/00-getting-started.md	31
website/versioned_docs/version-1.1.0/00-hello-world.md	254
website/versioned_docs/version-1.1.0/01-analyzing-apps-or-projects.md	116
website/versioned_docs/version-1.1.0/01-infer-workflow.md	143
website/versioned_docs/version-1.1.0/01-man-pages.md	14
website/versioned_docs/version-1.1.0/01-steps-for-ci.md	52
website/versioned_docs/version-1.1.0/02-about-infer.md	24
website/versioned_docs/version-1.1.0/02-separation-logic-and-biabduction.md	234
website/versioned_docs/version-1.1.0/04-absint-framework.md	133
website/versioned_docs/version-1.1.0/04-internal-API.md	6
website/versioned_docs/version-1.1.0/all-issue-types.md	1625
website/versioned_docs/version-1.1.0/checker-annotation-reachability.md	16
website/versioned_docs/version-1.1.0/checker-biabduction.md	23
website/versioned_docs/version-1.1.0/checker-bufferoverrun.md	32
website/versioned_docs/version-1.1.0/checker-config-checks-between-markers.md	14
website/versioned_docs/version-1.1.0/checker-config-impact-analysis.md	14
website/versioned_docs/version-1.1.0/checker-cost.md	68
website/versioned_docs/version-1.1.0/checker-dotnet-resource-leak.md	13
website/versioned_docs/version-1.1.0/checker-eradicate.md	86
website/versioned_docs/version-1.1.0/checker-fragment-retains-view.md	14
website/versioned_docs/version-1.1.0/checker-immutable-cast.md	15
website/versioned_docs/version-1.1.0/checker-impurity.md	15
website/versioned_docs/version-1.1.0/checker-inefficient-keyset-iterator.md	13
website/versioned_docs/version-1.1.0/checker-linters.md	567
website/versioned_docs/version-1.1.0/checker-litho-required-props.md	49
website/versioned_docs/version-1.1.0/checker-liveness.md	13
website/versioned_docs/version-1.1.0/checker-loop-hoisting.md	16
website/versioned_docs/version-1.1.0/checker-printf-args.md	14
website/versioned_docs/version-1.1.0/checker-pulse.md	67
website/versioned_docs/version-1.1.0/checker-purity.md	45
website/versioned_docs/version-1.1.0/checker-quandary.md	42
website/versioned_docs/version-1.1.0/checker-racerd.md	413
website/versioned_docs/version-1.1.0/checker-resource-leak-lab.md	14
website/versioned_docs/version-1.1.0/checker-self-in-block.md	17
website/versioned_docs/version-1.1.0/checker-siof.md	13
website/versioned_docs/version-1.1.0/checker-starvation.md	23
website/versioned_docs/version-1.1.0/checker-topl.md	84
website/versioned_docs/version-1.1.0/checker-uninit.md	13
website/versioned_docs/version-1.1.0/man-infer-analyze.md	6
website/versioned_docs/version-1.1.0/man-infer-capture.md	6
website/versioned_docs/version-1.1.0/man-infer-compile.md	6
website/versioned_docs/version-1.1.0/man-infer-debug.md	6
website/versioned_docs/version-1.1.0/man-infer-explore.md	6
website/versioned_docs/version-1.1.0/man-infer-help.md	6
website/versioned_docs/version-1.1.0/man-infer-report.md	6
website/versioned_docs/version-1.1.0/man-infer-reportdiff.md	6
website/versioned_docs/version-1.1.0/man-infer-run.md	6
website/versioned_docs/version-1.1.0/man-infer.md	6
website/versioned_docs/version-1.1.0/support.md	96
website/versioned_docs/version-1.1.0/versions.md	8
website/versioned_sidebars/version-1.0.0-sidebars.json	245
website/versioned_sidebars/version-1.1.0-sidebars.json	245
website/versions.json	4