Go to file

Qianyi Shu bfe2caf92d [cost] log top cost function Summary: Following from previous diff. Idea - 80% of functions with Top cost are caused by calling top-costed callees, i.e. callee's Top cost is simply propagated to its transitive callers, so the aim is to investigate such root callees along with the number of their transitive callers. Consider the following code ``` void bar1() { // top cost function } void bar2() { // another top cost function } void baz(){ // baz have top cost because of bar bar1(); } void foo() { // goo have top cost because of baz baz(); bar2() } ``` Clearly, the root cause of the foo being top cost is `bar1` and `bar2`. 1. When we are analyzing `baz`, we know that it calls `bar1`, which is top cost, so we record that `baz = { T, bar1 } `. 2. Now, say we are analyzing foo. When we analyze the call to `baz`, we found out that the top cost of `baz` is caused by `bar1`, so we record `foo = { T, bar1 }`. When we analyze the call to `bar2`, we know that `bar2` is top cost, but since at this stage we only want to deal with the first top cost function we met, so we ignore it. Since we are keeping track of top cost function by examining the `Call` instruction, we would expect to see two log of `bar1` in the result. The test plan confirms it. Reviewed By: ezgicicek Differential Revision: D22231457 fbshipit-source-id: 45d48e4a7		4 years ago
.github/workflows	[infer][PR] feat: replace Travis with Github actions	5 years ago
dependencies	[nullsafe] Mark @Nullsafe with @TypeQualifierDefault&Co for Kotlin interop	5 years ago
docker	add `make install-with-libs` back	5 years ago
examples	[copyright] Remove years	6 years ago
facebook-clang-plugins@a9c545feca	[pulse] Model __bridge_transfer	5 years ago
infer	[cost] log top cost function	4 years ago
m4	[python] it's just a flesh wound	5 years ago
scripts	add `make install-with-libs` back	5 years ago
sledge	[sledge] Refactor: split Equality.diff_classes out of ppx_classes_diff	5 years ago
website	[website] Publishing changes to the doc, including removing some linters	4 years ago
.buckconfig	[infer][genrule] Add example of Buck DEFS macro to generate Infer analysis targets	8 years ago
.clang-format	fix sync mishaps	9 years ago
.gitattributes	[website] exclude from repo language stats	5 years ago
.gitignore	[classloads] remove dead analyser	5 years ago
.gitmodules	[infer] Add facebook clang plugins submodule	9 years ago
.inferconfig	[java] Add command-line option to specify external Java packages	7 years ago
.ocamlformat	[ocamlformat] Move .ocamlformat config file to the project root	6 years ago
CODE_OF_CONDUCT.md	[infer][PR] Update CODE_OF_CONDUCT.md	6 years ago
CONTRIBUTING.md	[biabd] rename test directories from {biabduction,errors,infer} to {biabduction}	5 years ago
CONTRIBUTORS	Inferbo	8 years ago
FILES.md	[trace] infer subcommand for inferTraceBugs	7 years ago
INSTALL.md	[python] migrate 2.7 to 3	5 years ago
ISSUE_TEMPLATE.md	[infer][PR] fix link to FAQ in issue template	5 years ago
LICENSE	[copyright] Remove years	6 years ago
Makefile	[linters] Delete unused linters about ComponentKit	4 years ago
Makefile.autoconf.in	add `make install-with-libs` back	5 years ago
Makefile.config	[debug] new command	4 years ago
PULL_REQUEST_TEMPLATE.md	[github] add issue and PR templates	6 years ago
README.md	[infer][PR] Update README.md	5 years ago
autogen.sh	[copyright] Remove years	6 years ago
build-infer.sh	[infer][PR] Update OCaml to 4.09 in Travis	5 years ago
configure.ac	add `make install-with-libs` back	5 years ago
dotbuckversion	[buck] fix version hashes	5 years ago
install-sh	[utils] Add CTypes binding of fts and implement remove_directory_tree	8 years ago
opam	change version to 1.0	5 years ago
opam.locked	[help] scaffolding to start documenting issue types	5 years ago

README.md

Infer

Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.

Installation

Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.

Contributing

See CONTRIBUTING.md.

License

Infer is MIT-licensed.

Note: Enabling Java support may require you to download and install components licensed under the GPL.