3639 Commits (652af47da7d708562ca724a3068c6e3f4bccb0f9)
 

Author SHA1 Message Date
Sam Blackshear 3b56b93ae5 [quandary] apply summary for sinks
7 years ago
Sam Blackshear fc828640ea [quandary] remove concept of a footprint source
7 years ago
Sam Blackshear 94ceebfef8 [quandary] represent footprint as unified set of access path rather than conjunction of special sources
7 years ago
Sam Blackshear 3e6e76a2b2 [quandary] fix widening bug
7 years ago
Dulma Churchill df1063b9eb [linters] Adding example of checking a parameter for empty struct
7 years ago
Jules Villard a34fcebc59 [models] avoid race conditions when building and installing the models
7 years ago
Dulma Churchill 30d2822846 [linters] Restrict the remove observer check to when target ios sdk version is greater or equal than 9.0
7 years ago
Dulma Churchill a3309926b3 [linters] Add transition parameter with label for ObjC method declarations or method calls
7 years ago
Daiva Naudziuniene 29aea2d61d Do not show internal SIL variable name in the error message of temporary address escape
7 years ago
Dulma Churchill 673f2b6917 [linters] Add option to specify iphone sdk version by path
7 years ago
Jeremy Dubreil 9e217ea1b1 [infer][java] add mli for the JConfig module to automatically remove dead code
7 years ago
Dulma Churchill a6f8850617 [linters] Provide predicate for checking the current method in the context
7 years ago
Jules Villard 8fd9d40ca8 [cleanup] use constant strings in `Config` for dir names
7 years ago
Dulma Churchill 3da5908728 [linters] Remove unavailable api class false positives and turn it on
7 years ago
Jeremy Dubreil 9d67b6c07d [infer][java] make the code more consistent to detect that constructor is a creating a resource
7 years ago
Greg Nisbet 7fc5cb7930 exinferbo] check end of procedure for unreachability
7 years ago
Jules Villard 7847c154d8 [merlin] use `S **` instead of listing each directory
7 years ago
Jeremy Dubreil 02ec9c6571 [infer][build] detect unused code at compile time
7 years ago
Sam Blackshear 2876f50703 [quandary] popen as sink
7 years ago
Sam Blackshear e0ad650dcd [thread-safety][cleanup] use record for summary type
7 years ago
Dulma Churchill 336f6f8dff [linters] Support reference types in the linters type parser
7 years ago
Jules Villard 4c3a36ae4c [build] do not create non-default new opam switches as aliases
7 years ago
Jeremy Dubreil 54eaaa9573 [infer][biabduction] remove the check for null test after dereference on Java
7 years ago
Jules Villard 69299ba675 [filtering] improve issue type filtering CLI
7 years ago
Jules Villard 117a7364be [merlin] disable warning 60 (unused module declaration)
7 years ago
Jules Villard 4bc6fd92ba [jbuild] avoid paths mentioning "." needlessly
7 years ago
Jules Villard 888ca46371 [make] fix issue that breaks build incrementality
7 years ago
Martino Luca 17cc5ec7be Remove unsupported `index-store-path` argument from clang commands
7 years ago
Jia Chen 674068996b Add model for <atomic>
7 years ago
Jia Chen 3e82890d6d Teach the prover and the normalizer aliasing rules between pointers and integers
7 years ago
Jules Villard d6ab087a4a [make] ignore files in _build for mod_dep
7 years ago
Dulma Churchill 3589773bf7 [buck integration] Add a dependency depth option
7 years ago
Dulma Churchill 79105952d6 [linters] Avoid a perdiod in mid sentence in the error messages
7 years ago
Jules Villard ebbc202342 [help] in infer --help, show in which manual each option can be found
7 years ago
Dulma Churchill cb4cf39d49 [buck integration] Pass targets to buck in a file
7 years ago
Sam Blackshear 3a7d50e15b [thread-safety] more precise ownership domain
7 years ago
Sam Blackshear d0ee36b3a8 [thread-safety] add ownership domain: map of access paths to a lattice of ownership predicates
7 years ago
Sam Blackshear 41fb45f388 [thread-safety] add OwnedIf attribute to all formals at the beginning
7 years ago
Sam Blackshear f738a7186a [quandary] fix assertion failure due to unexpected operator=
7 years ago
Jules Villard 52746fd9eb [checkers] add --<checker>-only options
7 years ago
Jules Villard 6505fa694d [help] add --long-reset for list and optional options
7 years ago
Meng Zhang cdc54563d4 [Infer] Write a has_visibility_attribute predicate for AL
7 years ago
Jules Villard df77ef423e [make] add mod_dep target to parallelise test
7 years ago
Jules Villard 8de2b88783 [make] s/ocamlbuild/jbuilder/g
7 years ago
Jules Villard 61d6baaaee [opam] update opam.lock
7 years ago
Jia Chen 4733f878a4 [infer][backend] Extend the scope of NULL_TEST_AFTER_DEREFERENCE check
7 years ago
Jules Villard 5074388e25 [buck] always create multilinks for attribute files
7 years ago
Dulma Churchill 931d4442c8 [buck integration] Add buck flavor option to use for getting dependencies
7 years ago
Andrzej Kotulski de6c396800 [docs] Extend src/clang/README.md with info about AST
7 years ago
Andrzej Kotulski 8523577bae [C++] update fcp to deal with template specializations
7 years ago