@ -6,81 +6,38 @@ it, then these binaries are all you need.  Otherwise, if you wish to
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					compile Infer, here are also instructions to do so, depending on your
 
					 
					 
					 
					compile Infer, here are also instructions to do so, depending on your
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					operating system.
 
					 
					 
					 
					operating system.
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					- [Install the Infer binaries ](INSTALL.md#install-the-infer-binaries )
 
					 
					 
					 
					Installing Infer from binaries is described [in the Infer's getting
 
				
			 
			
				
				
			
		
	
		
		
			
				
					
					 
					 
					 
						- [Mac OS X ](INSTALL.md#mac-os-x )
 
					 
					 
					 
					started page](http://fbinfer.com/docs/getting-started.html).
 
				
			 
			
				
				
			
		
	
		
		
			
				
					
					 
					 
					 
						- [Linux ](INSTALL.md#linux-64-bit )
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					- [Install Infer from source ](INSTALL.md#install-infer-from-source )
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
						- [Download the Infer repository ](INSTALL.md#download-the-infer-repository )
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
						- [Mac OS X ](INSTALL.md#macos-x )
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
						- [Linux ](INSTALL.md#linux )
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
	
		
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					##Install the Infer binaries
 
					 
					 
					 
					The rest of this document describes how to install Infer from source
 
				
			 
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					on different platforms.
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					###Requirements
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					- Python >= 2.7
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					###Mac OS X 
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					Get the latest `infer-osx-vXX.tar.xz`  from [infer
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					releases](https://github.com/facebook/infer/releases) and run the
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					commands below in your terminal to install Infer.
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 ```bash
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					tar xf infer-osx-vXX.tar.xz
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					# this assumes you use bash, adapt to your needs in case you use
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					# another shell
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					echo "export PATH=$PATH:`pwd`/infer-osx/infer/infer/bin" \
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					     >> ~/.bashrc & &  source ~/.bashrc
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					```
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					###Linux (64 bit)
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					Get the latest `infer-linux64-vXX.tar.xz`  from [infer
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					releases](https://github.com/facebook/infer/releases) and run the
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					commands below in your terminal to install Infer.
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 ```bash
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					tar xf infer-linux64-vXX.tar.xz 
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					# this assumes you use bash, adapt to your needs in case you use
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					# another shell
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					echo "export PATH=$PATH:`pwd`/infer-0.1-x64-linux/infer/infer/bin" \
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					     >> ~/.bashrc & &  source ~/.bashrc
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					```
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					##Install Infer from source
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					The following instructions describe how to compile Infer on different
 
					 
					 
					 
					## Download the Infer repository
 
				
			 
			
				
				
			
		
	
		
		
			
				
					
					 
					 
					 
					platforms.
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					###Requirements
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					- Python >= 2.7
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					### Download the Infer repository
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					```bash
 
					 
					 
					 
					```bash
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					git clone https://github.com/facebook/infer.git
 
					 
					 
					 
					git clone https://github.com/facebook/infer.git
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					```
 
					 
					 
					 
					```
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					To analyse C and ObjC, Infer requires clang and the
 
					 
					 
					 
					To analyse C and Objective-C, Infer requires clang and the
 
				
			 
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 
					 
					 
					[facebook-clang-plugin ](https://github.com/facebook/facebook-clang-plugins ). If
 
					 
					 
					 
					[facebook-clang-plugin ](https://github.com/facebook/facebook-clang-plugins ). If
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					you wish to analyse only Java/Android code, then you could skip these
 
					 
					 
					 
					you wish to analyse only Java/Android code, then you could skip these
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					dependencies. Details below.
 
					 
					 
					 
					dependencies. Details below.
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					###MacOS X 
 
					 
					 
					 
					 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					####Requirements
 
					 
					 
					 
					## MacOS X
 
				
			 
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					### Requirements
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					- Python >= 2.7
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					- [opam ](https://opam.ocaml.org/doc/Install.html#OSX )
 
					 
					 
					 
					- [opam ](https://opam.ocaml.org/doc/Install.html#OSX )
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					#####  Requirements for Java analysis
 
					 
					 
					 
					#### Requirements for the Java analysis
 
				
			 
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					- Java < = 1.7
 
					 
					 
					 
					- Java < = 1.7
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					- Android dev environment setup for analysis of Android apps.
 
					 
					 
					 
					- Android dev environment setup for analysis of Android apps.
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					#####  Requirements for C/ObjC analysis  
 
					 
					 
					 
					#### Requirements for the C/Objective-C analysis
 
				
			 
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					- XCode < = 6.3, >= 6.1
 
					 
					 
					 
					- XCode < = 6.3, >= 6.1
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					- clang (in XCode command line tools. You can install them with the command `xcode-select --install` )
 
					 
					 
					 
					- clang (in XCode command line tools. You can install them with the command `xcode-select --install` )
 
				
			 
			
		
	
	
		
		
			
				
					
						
							
								 
							 
						
						
							
								 
							 
						
						
					 
					 
					@ -113,7 +70,14 @@ make -C infer
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					export PATH=`pwd`/infer/bin:$PATH
 
					 
					 
					 
					export PATH=`pwd`/infer/bin:$PATH
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					```
 
					 
					 
					 
					```
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					###Linux
 
					 
					 
					 
					
 
				
			 
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					## Linux
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					### Requirements
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					- Python >= 2.7
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					 
					 
					 
					 
					### Installation instructions
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					
 
					 
					 
					 
					
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					These instructions were tested on Linux 64 bits on the following
 
					 
					 
					 
					These instructions were tested on Linux 64 bits on the following
 
				
			 
			
		
	
		
		
			
				
					
					 
					 
					 
					distributions: Debian 7, Ubuntu 14.04 and Ubuntu 12.04.4 LTS.
 
					 
					 
					 
					distributions: Debian 7, Ubuntu 14.04 and Ubuntu 12.04.4 LTS.