8000 Commits · bluerain20/infer · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jan 12, 2016

adding annotation processor to build class -> source map, with proper deps this time

sblackshear
authored and
facebook-github-bot-7
committed
Revert "[java] adding annotation processor to build class -> source map"

dulmarod
authored and
facebook-github-bot-5
committed
Buck integration: Infer should always use the javac out directory when running the analysis from the javac commands

jeremydubreil
authored and
facebook-github-bot-1
committed
adding annotation processor to build class -> source map

sblackshear
authored and
facebook-github-bot-1
committed

Commits on Jan 11, 2016

Use ints as clang pointers

Andrzej Kotulski
authored and
facebook-github-bot-7
committed
Simplify CLocation implementation

jberdine
authored and
facebook-github-bot-1
committed
Remove unused CLocation.init_curr_source_file

jberdine
authored and
facebook-github-bot-1
committed
Remove redundant CLocation.current_source_file

jberdine
authored and
facebook-github-bot-1
committed
Check CLocation.current_source_file is redundant

jberdine
authored and
facebook-github-bot-1
committed

Commits on Jan 8, 2016

call the on-demand analysis using the procedre name after name resolution

jeremydubreil
authored and
facebook-github-bot-5
committed
refactoring SuppressWarnings processor to make it easy to add class -> source map processor

sblackshear
authored and
facebook-github-bot-5
committed
Add destructor calls on delete expression

Andrzej Kotulski
authored and
facebook-github-bot-5
committed
Update facebook-clang-plugin

Andrzej Kotulski
authored and
facebook-github-bot-5
committed
Revive the "call by procedure name" mechanism for Java

jeremydubreil
authored and
facebook-github-bot-5
committed

Commits on Jan 7, 2016

Add dotty information about retain cycle

Andrzej Kotulski
authored and
facebook-github-bot-5
committed
Add dotty file contents to json report

Andrzej Kotulski
authored and
facebook-github-bot-5
committed
Add extra field to error_desc.

Andrzej Kotulski
authored and
facebook-github-bot-5
committed
Remove out-of-date comments

jberdine
authored and
facebook-github-bot-7
committed

Commits on Jan 6, 2016

force git repo root when computing version info

jvillard
authored and
facebook-github-bot-1
committed
No longer overwrite the list of non-static fields during the translation

jeremydubreil
authored and
facebook-github-bot-5
committed
Fix copy-pasted test names

jeremydubreil
authored and
facebook-github-bot-7
committed
make sure that the Infer out directory is empty before generating the models

jeremydubreil
authored and
facebook-github-bot-5
committed

Commits on Jan 5, 2016

restore join of integer values

jvillard
authored and
facebook-github-bot-7
committed
Use Typename.t for the type of the supertypes in the defintion of classes.

jeremydubreil
authored and
facebook-github-bot-5
committed

Commits on Jan 4, 2016

Generalize the detection of assertion failures to any kind of custom errors defined programatically in the orginal source code

jeremydubreil
authored and
facebook-github-bot-5
committed
fix possible infinite loop in get_fld_typ_path

sblackshear
authored and
facebook-github-bot-5
committed

Commits on Jan 3, 2016

Add missing reference to eradicate directory.

Cristiano Calcagno
authored and
facebook-github-bot-1
committed

Commits on Dec 30, 2015

Move Eradicate files to a separate directory.

Cristiano Calcagno
authored and
facebook-github-bot-5
committed

Commits on Dec 23, 2015

Re-enable printing of specs in InferPrint

jberdine
authored and
facebook-github-bot-7
committed
Fix recursive make invocations building models

jberdine
authored and
facebook-github-bot-7
committed
Pass javac wrapper through command-line argument

martinoluca
authored and
facebook-github-bot-7
committed
simplify the PatternMatch module

jeremydubreil
authored and
facebook-github-bot-5
committed
remove the function Sil.get_typ and use Sil.tenv_lookup instead

jeremydubreil
authored and
facebook-github-bot-5
committed

Commits on Dec 22, 2015

Use the Mangled module to name the parameters in the procudure description instead of simple string

jeremydubreil
authored and
facebook-github-bot-1
committed
turn off intentional crashing on assertion failures in developer mode

sblackshear
authored and
facebook-github-bot-5
committed

0