8000 Commits · kristain/infer · GitHub

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

Commits

Commits on Jul 29, 2015

[infer][java] avoid converting javac command lines from bash to python as some buck options are incorectly parsed otherwise
jeremydubreil
committed
Adding a test in symbolic execution when a dangling uninitialized pointer is dereferenced
ddino
committed

Commits on Jul 28, 2015

Commits on Jul 27, 2015

[Infer] Adding warning to eliminate needless rec keywords, fixing all warnings.
sblackshear
committed
[infer][build] Treating OCaml compiler warnings as build-blocking errors
sblackshear
committed
[infer][frontend] catch exception from directory already existing
sblackshear
committed
Generate CFG and call graph files.
Rohan Jacob-Rao
committed

Commits on Jul 24, 2015

Commits on Jul 23, 2015

Commits on Jul 22, 2015

Start of SIL generation from AST.
Rohan Jacob-Rao
committed
Remove part of the INSTALL.md that isn't applicable
Rahul Parsani
committed
[infer] handle sentinel arguments in symb exec
jvillard
committed
[infer][clang] fix model of sockets
jvillard
committed
[C Frontend] Always add class prefix to a field name
Andrzej Kotulski
committed

< 5D40 div class="Box-sc-g0xbh4-0 bTxOwE prc-Timeline-TimelineBadge-BqMiN">

Commits on Jul 20, 2015

Disable execution of some custom shell scripts while building
martinoluca
committed
[back-end] make infer-out the default results directory
Cristiano Calcagno
committed

Commits on Jul 17, 2015

Indent json files
=?UTF-8?q?Deniz=20T=C3=BCrkoglu?=
committed
[infer][clang] fix name collision in the C tests
jeremydubreil
committed

0