Commit Graph

4433 Commits (f1bcb91542bc7a61f159e54a90729f610d801f6b)
 

Author SHA1 Message Date
Sam Blackshear 5e9e96a342 [hil] don't crash on deref of magic address 7 years ago
Jules Villard 71ed554c57 [cli] introduce `--linters` and `--capture` 7 years ago
Dulma Churchill e7907032bf [clang] Remove allocating blocks 7 years ago
Jules Villard 7ef191f4be [build] honour `OPAMROOT` 7 years ago
Sam Blackshear b67a82636c [cleanup] delete unused lock builtins 7 years ago
Sam Blackshear 2d29b47855 [traces] allow reported traces to return an issue type 7 years ago
Jeremy Dubreil c4949f372e [infer][clang] the nullability checker was not reporting when dereferencing a field of a nullable object 7 years ago
Jeremy Dubreil 55c585e1e0 [infer][biabduction] remove the bi-abduction based check for uninitialized values 7 years ago
Jeremy Dubreil a671307363 [infer][clang] fix test failures caused by unused code compiler warnings 7 years ago
Anders Papitto a92ba5a2a9 Eradicate: model get and remove as nullable for stdlib Map variants 7 years ago
Sam Blackshear d2433476a5 [quandary] fix heuristic for recognizing buffer access 7 years ago
Sam Blackshear 3d6168cd0d [hil] add HIL wrapper for abstract interpreter 7 years ago
Josh Berdine 6f8f7140bb [frontend][tests] Record test form ptr_mem.cpp 7 years ago
Dulma Churchill 08c4c33e7d [clang] Remove the translation of enumerateWithBlocks that causes FPs dead store. 7 years ago
Josh Berdine c1e742536d [frontend][c++] Translate pointer-to-member expressions 7 years ago
Jules Villard df0491272c [compilation db] add support for commands with `"arguments" and no `"command"` field 7 years ago
Dulma Churchill 2f8b749045 [objc] Better names for the block translation and using temp variables 7 years ago
Jeremy Dubreil ef556e048e [infer][java] for the Buck integration, simply concatenate the lists of bugs found on every target 7 years ago
Jeremy Dubreil 8b7208df62 [infer][eradicate] fix the position of the comments in the list of models 7 years ago
Sam Blackshear c65569a868 [quandary] sanity checks for preventing oversized summaries 7 years ago
Dulma Churchill 01219a0298 [cleanup] Remove the retain count implementation from ObjC that is unused. 7 years ago
Jules Villard 1b4a5729ed [buck] filter out incompatible options for the `targets` subcommand 7 years ago
Sam Blackshear 12d73e67dc [quandary] don't create dummy global reads for Drawable IDs in C++ 7 years ago
Martino Luca 3df1e52928 [Buck][compilation-database] Do not run clang command that cannot be attached to the frontend 7 years ago
Josh Berdine f89e687efa [ocamlformat] Use ocamlformat from github 7 years ago
Sam Blackshear 13a02122ac [traces] fix printing of sinks 7 years ago
Dulma Churchill a969b5d188 [cleanup] Remove unused code for finding correct fields in Objective-C 7 years ago
Sam Blackshear b826b16a6f [uninit] convert to HIL 7 years ago
Dulma Churchill 3c48a3f38a [objc] Do not fail in the bi-abduction with missing fields in ObjC 7 years ago
Mehdi Bouaziz 624cc5e536 [uninit] Do not crash if failed to compute post 7 years ago
Sam Blackshear ddda04c92b [cleanup] alphabetize checker names 7 years ago
Sam Blackshear bc02bee737 [cleanup] rename thread-safety analysis 7 years ago
Jules Villard 664616faab [cli] print version on stdout 7 years ago
Jules Villard 69b136d7b8 [checkers] disable UNINITIALIZED_VALUE by default 7 years ago
Jules Villard 20b198b727 [make] do not install tuareg if emacs is not found 7 years ago
Sam Blackshear 3a89a7a84b [quandary] log soft errors instead of dying 7 years ago
Jules Villard 9823841aba [doc] update install instructions 7 years ago
Dulma Churchill e23153c1d9 [clang] Refactor the translation of allocation functions 7 years ago
Jules Villard bd74512c1a [cli] support all the analyzer forms in the filtering options 7 years ago
Jules Villard 06dec8177a [cli] make checkers the default when no analyzer is specified 7 years ago
Jules Villard b1841c6699 [checkers] make all models and tests use checkers 7 years ago
Jules Villard 588142c908 [checkers] enable biabduction by default + docs and logs improvements 7 years ago
Dulma Churchill 1bc62212ba [tests] Fix test broken in master 7 years ago
Dino Distefano f87447ba52 Uninitialized value/variable checker 7 years ago
Sam Blackshear 169df0fe80 [thread-safety] infer accesses that need to be safe from lock usage 7 years ago
Sam Blackshear 2d22b631c3 [quandary] track flow of `Drawable` resource id's to methods that inflate them 7 years ago
Sungkeun Cho eb0c727fdf [inferbo] Add symbol for unsigned int 7 years ago
Jules Villard e56af27b38 [driver] add a way to force infer to use a particular integration 7 years ago
Jules Villard 0e70845801 [opam] use javalib 2.3.4 7 years ago
Jules Villard 3a8cc49887 [build] upgrade dependencies 7 years ago