8000 Commits · teazj/infer · GitHub

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

Commits

Commits on Oct 27, 2016

[clang] Parse compilation database coming from xcpretty

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 26, 2016

[clang] Add flag -fno-cxx-modules to analysis

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 21, 2016

[clang] Adding support for capture/linting based on a compilation database json

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 20, 2016

[clang] Choose always the first location a range

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 19, 2016

[clang] Find source files that import header files we want to analyse

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 18, 2016

[clang] Do not store proc attributes directly but create procdesc to preserve invariants

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 13, 2016

[linters] Take the attributed types into account when finding pointer types

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 12, 2016

[cpp] Report issues in the cpp models as relative paths

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 11, 2016

[componentkit linters] Remove the links from the message

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 10, 2016

[clang] Add the objc interface case to the function get_decl_from_typ_ptr

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 7, 2016

[logging] Add visibility to the report json, so that we can filter the developer bugs in the tv links page

dulmarod
authored and
Facebook Github Bot
committed

Commits on Oct 5, 2016

[clang] Disable the condition always true or false check for clang as it is too noisy.

dulmarod
authored and
Facebook Github Bot
committed

Commits on Sep 29, 2016

[linters] Log assert failures in the linters framework

dulmarod
authored and
Facebook Github Bot
committed
[linters] Pass the current method in the context to the checks about the methods or functions declarations

dulmarod
authored and
Facebook Github Bot
committed

Commits on Sep 28, 2016

[clang] Migrating clang logging to the Logging module

dulmarod
authored and
Facebook Github Bot 5
committed

Commits on Sep 23, 2016

[linters] Adding a new type of procname that is used for lint bugs that are not in any method

dulmarod
authored and
Facebook Github Bot 1
committed
[clang] Remove support for logging lint issues in procdescs

dulmarod
authored and
Facebook Github Bot 9
committed
[Parallelization][Linters] Wait for processes based on the map of processes, to make sure that we waited for all the children.

dulmarod
authored and
Facebook Github Bot 3
committed

Commits on Sep 22, 2016

[Config] Adding a default for the option load

dulmarod
authored and
Facebook Github Bot 7
committed

Commits on Sep 9, 2016

Add InferBuckCompilationDatabase to the installation

dulmarod
authored and
Facebook Github Bot 4
committed
Add an option clang-frontend-action to drive the frontend into capture or linters when the -a capture option is used

dulmarod
authored and
Facebook Github Bot 5
committed

Commits on Sep 7, 2016

Fix compilation problem with buck compilation database and travis

dulmarod
authored and
Facebook Github Bot 7
committed

Commits on Sep 6, 2016

Do not analyze in linters mode

dulmarod
authored and
Facebook Github Bot 9
committed
Store the issue file only if there are issues

dulmarod
authored and
Facebook Github Bot 4
committed
Remove compilation warning

dulmarod
authored and
Facebook Github Bot
committed
Fix cpp models that got broken by an incorrect refactoring

dulmarod
authored and
Facebook Github Bot
committed

Commits on Sep 5, 2016

New buck integration based on the compilation database emitted by buck

dulmarod
authored and
Facebook Github Bot
committed

Commits on Sep 1, 2016

Add column to json file of issues

dulmarod
authored and
Facebook Github Bot 6
committed

Commits on Aug 23, 2016

Add case for blocks when building a procname

dulmarod
authored and
Facebook Github Bot
committed
Make the is_global_var not fire for the static local variables

dulmarod
authored and
Facebook Github Bot 4
committed

Commits on Aug 19, 2016

Put current method in context

dulmarod
authored and
Facebook Github Bot 1
committed

Commits on Aug 17, 2016

Adding new mode linters

dulmarod
authored and
Facebook Github Bot 6
committed
Refactor InferPrint and store the lint issues in a serialized data structure that InferPrint picks up and prints.

dulmarod
authored and
Facebook Github Bot 6
committed

Commits on Jul 28, 2016

Adding a key to the lint issues

dulmarod
authored and
Facebook Github Bot 2
committed
Model init method in NSData and understand the field bytes

dulmarod
authored and
Facebook Github Bot 6
committed

0