rgrig and facebook-github-bot [lineage] Add location on edges

[lineage] Add location on edges

Summary:
For call instructions, neither the source nor the target of an edge has
a location corresponding to the call instruction. (This is in contrast
with, say, assignment instructions, where the location of the target is
the same as the location of the assignment instruction.) So, we add
locations on edges.

Differential Revision: D34862164

fbshipit-source-id: 896e5cd7bca879391459d5ddad23ca8582290c0b

9a17661

10,629 commits

Failed to load latest commit information.

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.