8000 Commits · channgo2203/infer · GitHub

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

Commits

Commits on Jun 13, 2016

Model vector::resize(n) as nonempty vector

Andrzej Kotulski
authored and
Facebook Github Bot 1
committed
Refactor Sil.Int into separate IntLit module

jberdine
authored and
Facebook Github Bot 3
committed

Commits on Jun 12, 2016

Make int_compare avoid overflow

jberdine
authored and
Facebook Github Bot 5
committed

Commits on Jun 10, 2016

store configure flags in config.flags

jvillard
authored and
Facebook Github Bot 7
committed
separate lazy dynamic dispatch from dynamic dispatch handling in preanalysis

sblackshear
authored and
Facebook Github Bot 6
committed

Commits on Jun 9, 2016

Make sizeof(std::shared_ptr) = 16

Andrzej Kotulski
authored and
Facebook Github Bot 4
committed
optional model

peterogithub
authored and
Facebook Github Bot 7
committed
ndk-build integration test

da319
authored and
Facebook Github Bot 5
committed

Commits on Jun 8, 2016

Optimize normalization, substitution, renaming of array types

jberdine
authored and
Facebook Github Bot 6
committed
cleanup gitignore

jvillard
authored and
Facebook Github Bot 9
committed
move internal scripts around and add install target

jvillard
authored and
Facebook Github Bot 0
committed
Revert "add changes lost in sync with internal repo"
jvillard
committed

Commits on Jun 7, 2016

add changes lost in sync with internal repo
jvillard
committed
add files lost in sync with internal repo
jvillard
committed
Adding LANG global to fix ndk-build integration.

da319
authored and
Facebook Github Bot 1
committed
Fix StmtExpr

dulmarod
authored and
Facebook Github Bot 5
committed
Integrating ndk-build with infer

da319
authored and
Facebook Github Bot 8
committed
Add sample checker to detect reads and writes to globals

Cristiano Calcagno
authored and
Facebook Github Bot 9
committed

Commits on Jun 6, 2016

disable dead code checker on clang

jvillard
authored and
Facebook Github Bot 2
committed
drop GuardedBy ui_thread warnings

peterogithub
authored and
Facebook Github Bot 6
committed
Fix dyspatch_async calls

dulmarod
authored and
Facebook Github Bot 6
committed
Fix install target

Andrzej Kotulski
authored and
Facebook Github Bot 5
committed
support `clang -c file1.c file2.c`

jvillard
authored and
Facebook Github Bot 7
committed
update fcp to add openmp support

Andrzej Kotulski
authored and
Facebook Github Bot 7
committed

Commits on Jun 4, 2016

improve errdesc to account for copy-propagation

sblackshear
authored and
Facebook Github Bot 7
committed
fixing bug in exceptional preds/succs in per-instr procCfg

sblackshear
authored and
Facebook Github Bot 8
committed

Commits on Jun 3, 2016

Upgrade fcp to use cmake in llvm

Andrzej Kotulski
authored and
Facebook Github Bot 5
committed
Always run C compiler with -fsyntax-only

Andrzej Kotulski
authored and
Facebook Github Bot 7
committed
Unify the way objects of a given type are created in the models

jeremydubreil
authored and
Facebook Github Bot 6
committed
models for Preconditions.checkArgument

jeremydubreil
authored and
Facebook Github Bot 2
committed

Commits on Jun 2, 2016

Do not angelically remove the file attribute on the reciever for virtual calls

jeremydubreil
authored and
Facebook Github Bot 3
committed
Fix resource leaks in the testing framework

jeremydubreil
authored and
Facebook Github Bot 1
committed
Extend Sizeof with final extensible array length

jberdine
authored and
Facebook Github Bot 6
committed
Fix the return stmt that would not be the last instruction in the path in some cases

dulmarod
authored and
Facebook Github Bot 4
committed
Do not run the unsafe guarded access in prod

jeremydubreil
authored and
Facebook Github Bot 1
committed

0