Skip to content

Instantly share code, notes, and snippets.

View shankybnl's full-sized avatar
👋

Shanky Sharma shankybnl

👋
114 followers · 8 following
View GitHub Profile
@shankybnl
shankybnl / 1.png
Last active July 3, 2017 08:59
Java gradle project with Junit and JaCoCo example
1.png
@shankybnl
shankybnl / inferError.txt
Created April 24, 2017 16:40
InferError
Capturing in javac mode...
Failed to execute: javac -J-Duser.language=en @/opt/infer-linux64-v0.10.0/prime-tracking/infer-out/filelists/gradle_lXjnay.txt @/tmp/args_3ebf4c
Uncaught exception:
(Unix.Exit_or_signal (Exit_non_zero 1))
Raised at file "integration/Javac.ml", line 77, characters 14-17
Called from file "src/exn.ml", line 45, characters 8-11
Re-raised at file "src/exn.ml", line 48, characters 12-15
Called from file "src/core_unix.ml", line 1002, characters 36-77
@shankybnl
shankybnl / inferSetup.md
Last active June 14, 2017 05:10
Setting up Infer on Ubuntu via Docker

Infer - A tool by facebook to detect bugs in Java and C/C++/Objective-C code before it ships

It is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs.

Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance.

Here's step by step description for setting up and running the Infer examples on Ubuntu via Docker: