8000 Commits · sansky99/infer · GitHub

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

Commits

Commits on Sep 5, 2016

Remove redundant Typ.struct_typ.csu field

jberdine
authored and
Facebook Github Bot 7
committed
Replace optional mangled struct_name with typename

jberdine
authored and
Facebook Github Bot 7
committed
Catch Unix exceptions in DB.create_dir

jberdine
authored and
Facebook Github Bot 7
committed
New buck integration based on the compilation database emitted by buck

dulmarod
authored and
Facebook Github Bot
committed
export __INFER__ macro when compiling code with infer

Andrzej Kotulski
authored and
Facebook Github Bot 1
committed

Commits on Sep 2, 2016

setup e2e test skeleton

sblackshear
authored and
Facebook Github Bot 2
committed
logging errors

sblackshear
authored and
Facebook Github Bot 0
committed
command-line setup

sblackshear
authored and
Facebook Github Bot 8
committed
< 8000 /div>
Fix flakiness in the analysis when a procedure is defined in more than one file.

Cristiano Calcagno
authored and
Facebook Github Bot 4
committed
Fix typo in infer_repl

jberdine
authored and
Facebook Github Bot 4
committed
Simplify builtin function detection during translation

Andrzej Kotulski
authored and
Facebook Github Bot 0
committed
Address capture flakiness when a symbol is multiply defined.

Cristiano Calcagno
authored and
Facebook Github Bot 8
committed

Commits on Sep 1, 2016

Add column to json file of issues

dulmarod
authored and
Facebook Github Bot 6
committed
Simplify language detection in frontend

Andrzej Kotulski
authored and
Facebook Github Bot 4
committed
Drop ti_raw field from clang_ast_t.type_info

Andrzej Kotulski
authored and
Facebook Github Bot 3
committed
move retain/release special handling to function_deref_trans

Andrzej Kotulski
authored and
Facebook Github Bot 7
committed
Clean up special handling of smart pointers in backend

Andrzej Kotulski
authored and
Facebook Github Bot 2
committed
Translate functions coming from std headers od demand

Andrzej Kotulski
authored and
Facebook Github Bot 2
committed
Remove unused typedef and enum Typename's

jberdine
authored and
Facebook Github Bot 2
committed

Commits on Aug 31, 2016

give correct type to root exps of array dereferences

jvillard
authored and
Facebook Github Bot 2
committed
Clean up smart pointer header models

Andrzej Kotulski
authored and
Facebook Github Bot 5
committed
model unique_ptr<T> as T*

Andrzej Kotulski
authored and
Facebook Github Bot 4
committed
Revert "[C++] Add hack to not use __make_integer_seq in fatal/type/sequence library"

Andrzej Kotulski
authored and
Facebook Github Bot 9
committed
Convert java tracing tests to new direct format.

Cristiano Calcagno
authored and
Facebook Github Bot 2
committed

Commits on Aug 30, 2016

Convert java infer tests to the new direct format

Cristiano Calcagno
authored and
Facebook Github Bot 5
committed
move printing module to its own file

jvillard
authored and
Facebook Github Bot 8
committed

Commits on Aug 27, 2016

Fix C++ tests

martinoluca
authored and
Facebook Github Bot
committed

Commits on Aug 26, 2016

Simplify originator detection

jberdine
authored and
Facebook Github Bot 6
committed
killing a bunch of options by using optional argument types correctly

sblackshear
authored and
Facebook Github Bot 6
committed
Adapt Infer to the new changes introduced by the upgrade to Clang 4.0

martinoluca
authored and
Facebook Github Bot 6
committed
replace boolean by named argument in Inteproc.propagate

jvillard
authored and
Facebook Github Bot 6
committed
Convert Eradicate and Checkers tests to direct format.

Cristiano Calcagno
authored and
Facebook Github Bot 1
committed
Skip Sil.Call instruction for some shared_ptr method calls

Andrzej Kotulski
authored and
Facebook Github Bot 8
committed
Replace shared_ptr<T> structs with T* pointers

Andrzej Kotulski
authored and
Facebook Github Bot 9
committed
fix needless type extension

sblackshear
authored and
Facebook Github Bot 2
committed

0