Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
android_hello [RFC] Format all java files Sep 27, 2018
c_hello Change license to MIT May 31, 2018
demo [demo] some minor improvements May 8, 2019
ios_hello Change license to MIT May 31, 2018
java_hello [RFC] Format all java files Sep 27, 2018
Hello.java Change license to MIT May 31, 2018
Hello.m Change license to MIT May 31, 2018
README.md [infer][PR] Minor fix Oct 27, 2017
hello.c Change license to MIT May 31, 2018

README.md

This directory contains small examples to play with Infer. They each exhibit one simple programming error that is caught by Infer.

Contents

  • Hello.java: try this example by running infer -- javac Hello.java

  • Hello.m: try this example by running infer -- clang -c Hello.m

  • hello.c: try this example by running infer -- gcc -c hello.c

    In this case, note that Infer captures the gcc command and runs clang instead to parse C files. Thus you may get compiler errors and warnings that differ from gcc's.

  • android_hello/: a sample Android app. Try this example by running infer -- ./gradlew build

    Make sure that you have the Android SDK 22 installed and up to date, and in particular the "Android SDK Build-tools" and "Android Support Repository".

  • c_hello/: a sample make-based C project. Try this example by running infer -- make

  • ios_hello/: a sample iOS app. Try this example by running infer -- xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulator

  • java_hello/: a sample Java project. Try this example by running infer -- javac Pointers.java Resources.java Hello.java

Note

The infer toplevel command must be in your PATH for the commands above to succeed. Otherwise, modify the commands to use the correct path to infer, eg ../infer/bin/infer -- javac Hello.java

You can’t perform that action at this time.