3792 Commits (30112cbcb05ea377f91f642bbbfd596a41e8e106)

Author SHA1 Message Date
Dulma Churchill ecd79a56d3 [linters] Support transition Parameters also by ObjC method calls
7 years ago
Dulma Churchill 47088e078e [linters] Use the sdk version by path in the error message of unavailable api check
7 years ago
Jeremy Dubreil 32d462b778 [infer][java] add an option to only translate the signature of the methods and skip the body
7 years ago
Jeremy Dubreil 1a221e798c [infer][java] make the translation and analysis of abstract methods and native methods consistent
7 years ago
Jeremy Dubreil a03f765d8f [infer][biabduction] no longer drop the atoms that are referring to footprint variables
7 years ago
Jules Villard 1c375a17ac [log] die more appropriately
7 years ago
Daiva Naudziuniene 3e660b05ee [destructors] Injecting destructors of fields to destructor bodies.
7 years ago
Daiva Naudziuniene 19d1b25919 Adding changes to objc issues to fix tests.
7 years ago
Jeremy Dubreil d4565107f6 [infer][biabduction] add the name of the skipped methods to the trace to make them more readable
7 years ago
Jeremy Dubreil f814eb40b8 [infer][java] add more example of inter-target NPEs for the Buck integration
7 years ago
Sam Blackshear 81fbcf7501 [access trie] make max depth configurable
7 years ago
Jeremy Dubreil 04d3142f6b [infer][java] translate the unsingned shift operator as standard shift operator
7 years ago
Jeremy Dubreil 1d8d6e3ceb [infer][java] remove the hack around virtual calls on arrays
7 years ago
Dulma Churchill 5ead13a225 Fixing crash that happened when reporting a lint issue in a templated method.
7 years ago
Daiva Naudziuniene 02c2e2b5bf Added a function to test if procdesc is a destructor.
7 years ago
Dulma Churchill 9f19f12a1b [linters] Fix incorrect assert false in Component linters
7 years ago
Daiva Naudziuniene a2c67afe6c [threadsafety] Testing if a race that happened in a private method is reported in a caller public method.
7 years ago
Dulma Churchill acbf6c90fe [linters] Add example of checking whether a parameter passed to a function is initialized with a selector only
7 years ago
Dulma Churchill 0b5c992a93 [linters] Add an example of checking for an empty map in the argument of a method call
7 years ago
Sam Blackshear b15e4846c3 [quandary] only enable expensive buffer/allocation sinks in developer mode
7 years ago
Roy Li 76bc7d686c Add predicate for enum constants of a particular enum
7 years ago
Sam Blackshear 028a28752b [access trees] function for computing depth
7 years ago
Jules Villard 56b4348970 [jbuild] keep beta11 for now
7 years ago
Sam Blackshear 76b2fece85 [quandary] better printing of sources
7 years ago
Sam Blackshear a207243a3c [quandary] better printing for access trees
7 years ago
Sam Blackshear 5d578cf196 [quandary] make it possible to report taint errors on footprint sources again
7 years ago
Jules Villard b1b7cc0b9d [make] better way of limiting concurrency and better jbuilder concurrency
7 years ago
Jules Villard c16884b97f [jbuilder] turn I{Std,List} and atd-generated files into libraries
7 years ago
Martino Luca e8a0599850 [AL] add `--linters-validate-syntax-only` to check whether there are any syntax errors in AL files
7 years ago
Martino Luca 3576f2f7cc [AL] New exception ALFileException with source-location info
7 years ago
Martino Luca 98b1f74071 Refactor AL parser's exception into a separate module
7 years ago
Sam Blackshear f821d8948f [quandary] add memcpy, memset, and similar as sinks
7 years ago
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
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 8de2b88783 [make] s/ocamlbuild/jbuilder/g
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
Jules Villard f5ee50e7b5 [graphql] kill unused files
7 years ago
Alexander Slesarev a3452e5119 [infer][PR] Updated fix for the gradle capture issue regarding projects with space-containing paths
7 years ago
Sam Blackshear 1157364a09 [preanalysis] kill copy-propagation code
7 years ago
Sam Blackshear 557faa4a46 [bi-abduction] use ProcCfg instead of file CFG
7 years ago
Andrzej Kotulski 6ca447fa6a [C] Fix issue with enum initialization lists
7 years ago
Andrzej Kotulski 88b74d524d [C++] Rewrite initListExpr_trans
7 years ago
Andrzej Kotulski 5847dd3fe9 [C++] Fix model of std::vector::size
7 years ago
Dulma Churchill c435ba2c76 [linters] Add a reset option for linters-def-folder
7 years ago
Sam Blackshear 7be5df384e [quandary] stack allocation of array as sink
7 years ago
Sam Blackshear ccdf15a1ca [quandary] vector and array access as sink
7 years ago
Sam Blackshear 9c99c38b22 [quandary] handle procedures that have name conflict with sinks, but different number of args
7 years ago
Sam Blackshear d850492ffe [cleanup] kill condition_is_assignment check
7 years ago
Jules Villard 679b125ac4 [trace] infer subcommand for inferTraceBugs
7 years ago
Jules Villard b2ee1152fe [prover] do destructive normalization to prove more
7 years ago
Sam Blackshear 91d518979b [quandary] log internal error when taint sink index doesn't match
7 years ago
Sam Blackshear 4b8a5683aa [java] fix noexcept hack
7 years ago
Dulma Churchill 76629ee9a4 [buck integration] Implement a way of getting the compilation database for dependencies of given targets
7 years ago
Jules Villard de86c12a9a [diff] suppress console output in report called from diff analysis
7 years ago
Jules Villard 6a4e4d4b6a [diff] support for --gen-previous-build-command-script
7 years ago
Jeremy Dubreil 34d10fdede [infer][cleanup] remove some left-over use of the Eradicate analyzer entry
7 years ago
Sam Blackshear 73dba57e45 [cleanup] remove useless append_instrs on empty instruction list
7 years ago
Jia Chen b68770d592 [infer][backend] Teach the biabduction analysis more simplification rules
7 years ago
Sam Blackshear 6d001ee566 [access paths] optional index expression for arrays
7 years ago
Sam Blackshear b61a68e859 [quandary] HTML creation as a sink
7 years ago
Jia Chen 5deffbce24 Teach the prover more simplification rules
7 years ago
Jia Chen a718ebe8ec [frontend] Additional information for the backend to distinguish between pass-by-val args and pass-by-ref args
7 years ago
Jules Villard 766a73d80c [buck flavors] make `infer run ...` use #infer-capture-all
7 years ago
Andrzej Kotulski c473f21f81 [C++] fix std::vector::empty model
7 years ago
Daiva Naudziuniene 7a3decf7f7 [ThreadSafety] Treating lock_guard destructor as Unlock.
7 years ago
Jeremy Dubreil 93ad3773fc [infer][biabduction] no longer catch the Unix errors during the symbolic execution
7 years ago
Jeremy Dubreil 2a8e192280 [infer][biabduction] disable the reporting of return value ignored
7 years ago
Jeremy Dubreil 99b412e165 [infer][checkers] remove the Eradicate analyzer option
7 years ago
Sam Blackshear f83284ad7c [access paths] make raw access paths the default, move abstraction into AccessPath.Abs module
7 years ago
Sam Blackshear 25d9f940fe [dead stores] fix FPs due to capture by ref
7 years ago
Sam Blackshear 36ea71a983 [HIL] add function for getting type of HIL expression
7 years ago
Jeremy Dubreil 15a8848502 [infer][biabduction] always reuse the same abduced return variable for unknown methods in Java
7 years ago
Jules Villard 4958130297 [reportdiff] take key into account for file renamings
7 years ago
Daiva Naudziuniene f12616cea5 [destructors] Add scope management to clang frontend
7 years ago
Jules Villard 6f3cdd462d [report] make --report-hook show up in `infer --help`
7 years ago
Dulma Churchill 00c1b354e1 [linters] Improve to_string method for boxed values
7 years ago
Dulma Churchill d0858c7770 [linters] Improve the to_string method for string constants
7 years ago
Jeremy Dubreil a292620a69 [infer][backend] No longer swallow the process failures unless --keep-going is passed from the command line
7 years ago
Mehdi Bouaziz 5ea80fdb82 [inferbo] Remove temporary logical variables
7 years ago
Jeremy Dubreil 53278f780c [infer][biabduction] simplify the symbolic execution of the execute load instruction
7 years ago
Jeremy Dubreil 7680c83f45 [infer][build] enable the OCaml compiler unused value declaration warning
7 years ago
Sam Blackshear c6ee53de50 [thread-safety] relax treatment of array aliasing
7 years ago
Jules Villard 854b8f30bd [CLI] always pass --issues-txt to the report hook script
7 years ago
Jules Villard fe01f47e41 [clang] correct sizeof info
7 years ago
Jules Villard 0793e0ff40 [make] move inferTraceBugs tests to build systems, hide more output
7 years ago
Sam Blackshear 6b792e0015 [thread-safety] track container reads and report read/write races
7 years ago
Jules Villard 0bd5ef8d0f [report-hook] take location of bugs.txt from the command line
7 years ago
Jules Villard cfecff03c3 [reportdiff] allow "current" and "previous" to be specified in any order and among other fields in file_renamings.json
7 years ago
Jules Villard 0c7f08d29d [wibble] `driver_mode` -> `mode` in `Driver` module
7 years ago
Jules Villard 833b093174 [diff] make use of --changed-file-index
7 years ago
Jules Villard a5393e9a37 [diff] set reactive when `infer-diff` is invoked
7 years ago
Jules Villard 3c215b8484 [diff] run driver prologue and epilogue before diff analysis
7 years ago
Jeremy Dubreil e0ad3a9d75 [infer][differential] remove the option to prevent the conflicts between Eradicate and Biabduction
7 years ago
Jeremy Dubreil f2cb85e3ab [infer][backend] remove unused code
7 years ago
Sam Blackshear 8fde27014a [absint] add widening threshold to crash hard in the face of likely divergence
7 years ago
Josh Berdine b36eaa2618 [clang] Disable -fembed-bitcode
7 years ago
Jules Villard 4792e37a73 [make] kill PATH hack
7 years ago
Sam Blackshear c2acc670ef [cleanup] remove unused param from supertype_find_map_opt
7 years ago
Jia Chen f658690846 Whitelist more iterator-related functions and classes
7 years ago
Sam Blackshear 1b35411a5f [thread-safety] fix understanding of non-atomic writes to doubles/longs
7 years ago
Sam Blackshear 8ab998acf5 [obj-c] don't warn that self might be null
7 years ago
Sam Blackshear e43090bdc2 [java] translate `final` keyword as annotation
7 years ago
Jia Chen 7642d86c68 Oversized shift no longer produce an assertion failure
7 years ago
Radu Grigore e52b3f22b5 [infer][PR] Flush output after printing bugs in txt format.
7 years ago
Jules Villard ed0da85f6c [python] kill unused --android-harness option
7 years ago
Sam Blackshear df3590c407 [thread-safety] refactoring to make it easier to add container reads
7 years ago
Andrzej Kotulski c2207f5b06 small fixes to infer/src/*/README.md files
7 years ago
Jeremy Dubreil 51028b730d [infer][tests] Run the tests with the option --no-keep-going
7 years ago
Jeremy Dubreil 9cf8d0fd3b [infer][java] fail early on broken CFGs
7 years ago
Jeremy Dubreil bf11a27158 [infer] merge --failures-allowed and --keep-going
7 years ago
Jeremy Dubreil 7dc3232f5f [infer][biabduction] no longer catch the exceptions by default during the symbolic execution
7 years ago
Sam Blackshear cb9c768c61 [clang] translate vars captured by lambda
7 years ago
Jeremy Dubreil ff30afac8b [infer][al] fix the linters test output
7 years ago
Jia Chen c9a2dcf7b1 Added constant-folding support for shifting
7 years ago
Dino Distefano a386ef5e83 Adding predicate for identify a selector with a particular name
7 years ago
Martino Luca a15d868fb0 Upgrading Infer to Clang 5.0
7 years ago
Jules Villard fb2fa5c5ce [python] return more errors when external commands fail
7 years ago
Jia Chen c4f153947b Removed unused option `allow_missing_index_in_proc_call`
7 years ago
Sam Blackshear 2dcde3a812 [thread-safety] make a distinguished access kind for container writes
7 years ago
Jeremy Dubreil f49d292c3b [infer][backend] remove the bi-abduction based code for taint analysis
8 years ago
Jeremy Dubreil fd4fbe163c [infer] make sure we never swallow the failures when analyzing the models
8 years ago
Sam Blackshear 9246d1357c [thread-safety] temporarily disable non-threadsafe interface checks
8 years ago
Jia Chen a8897c2412 Properly model the copy semantics of NSString.stringWithUTF8String and NSString.stringWithString.
8 years ago
Jia Chen bd90e80859 Added model for std::shared_ptr's aliasing constructor
8 years ago
Sam Blackshear 853d476f13 [liveness] fix bug in usage of OneInstrPerNode CFG
8 years ago
Sam Blackshear ecf9c1b402 [quandary] expose actuals to Source.get
8 years ago
Jules Villard 845114f570 [al] precompute regexps
8 years ago
Sam Blackshear 73f3eee9cd [checkers] use liveness analysis to create dead store checker
8 years ago
Sam Blackshear 1fb9fb48f5 [thread-safety] warning when interface method is called from thread-safe context without annotation
8 years ago
Jules Villard 54fdab889a [driver] do not complain if results directory is empty
8 years ago
Jules Villard fb9cad4ea7 [utils] `Utils.dir_is_empty` was always returning `false`
8 years ago
Jules Villard a6632d8039 [make] restore incrementality of builds
8 years ago
Sam Blackshear 58a7cc48c1 [java integration] use argfile when trying to store a lot of data in the environment
8 years ago
Sam Blackshear 03120a337e [thread-safety] refactor ThreadSafetyDomain.Access to make it easier to add new access kinds
8 years ago
Mehdi Bouaziz 30e1f4295b [c++] weak_ptr model
8 years ago
Sam Blackshear 5784357322 [thread-safety] make Pool subclasses return ownership
8 years ago
Jia Chen acb0650e96 Preserve the name of abduced by-ref logical variables in re-execution phase
8 years ago
Jia Chen 217363f5d6 Whitelist comparison operators and their equivalent functors in <functional>
8 years ago
Jia Chen 6c874957d0 Turn the analysis on for std::pair
8 years ago
Jia Chen 3bacba762a Whitelist the constructors+conversion operators+destructors for classes listed on whitelisted_cpp_classes
8 years ago
Jia Chen c80812453f Fix a corner case in Normalize.normalize where it could drop useful information during normalization
8 years ago
Sam Blackshear 72e778d094 [thread-safety] tests for escape analysis
8 years ago
Jules Villard 4d7742fd68 [javac][wrapper] specify which infer binary to use
8 years ago
Mehdi Bouaziz e828b0bf8a [pp] hv box for printing collections
8 years ago
Sungkeun Cho 2091a529b1 [inferbo] Avoid precision loss on pruning
8 years ago
Sam Blackshear 52577c0a69 [CLI] don't allow the Java buck integration to store too much data in an environment var
8 years ago
Kyriakos Nikolaos Gkorogiannis 410728d18f [thread-safety] Interprocedural escape analysis for formals/locals (essentially step (3) in Sam's list).
8 years ago
Andrzej Kotulski d4c728913a [clang] Ignore all -mllvm args passed to clang -cc1
8 years ago
Dulma Churchill 416478d453 [linters] Predicate for checking enum constants
8 years ago
Mehdi Bouaziz be0c53ddf3 [cpp] Fix failure with c++14 init-capture
8 years ago
Sam Blackshear 29f686d245 [buck] include hash of .inferconfig in cache key
8 years ago
Jeremy Dubreil bafd1cf412 [infer][java] Infer should not suggest @Nullable on captured parameters
8 years ago
Jules Villard 297254d15e [buck] create log files erase at the end of the run
8 years ago
Jules Villard 5dd4b1c870 [build] avoid race condition, and do not run atdgen twice, add ocaml_clean
8 years ago
Jules Villard d07c8a0403 introduce new "diff" command
8 years ago
Jules Villard b0c2cfd7d4 [config] kill --bugs-json option
8 years ago
Jules Villard 9a2746c143 [make] fix javac capture
8 years ago
Josh Berdine 6bbb186ce2 [format] Attach docstrings to be warning 50 clean, other doc fixes
8 years ago
Josh Berdine 8c6615963f Revert "[infer][PR] Fixed the gradle capture for the projects with spaces in their path."
8 years ago
Andrzej Kotulski e366b0d9b5 [clang] Fix expression statement with conditional inside
8 years ago
Jules Villard 36b6ab1779 [log] die in a proper fashion
8 years ago
Jeremy Dubreil ad54126dab [infer][ondemand] add a `--keep-going` command line option to specify when to catch the exceptions raised during the analysis
8 years ago
Jia Chen 0b641edaac Do not assign the hidden field when processing init list initialization for objective c
8 years ago
Sungkeun Cho 1531a3d538 [inferbo] Pruning return value of function call
8 years ago
Pavel Grafov 82f7104ff7 [infer][PR] Fix javac wrapper
8 years ago
Dulma Churchill 4a6652faef [linters] Do not report mutable local variable in components advice on static locals
8 years ago
azhdar 34d6a43cdb [infer][PR] add cursorClosedCheckNullCheckClosed test
8 years ago
Dulma Churchill 7c384669eb [linters] Add a new linter UNAVAILABLE_CLASS_IN_SUPPORTED_IOS_SDK for checking unavailable classes in supported ios sdk
8 years ago
Josh Berdine bab3d81cb0 Convert Reason to OCaml, and auto-format OCaml
8 years ago
Josh Berdine bf2a0cfc53 Prepare to format OCaml and convert Reason code
8 years ago
Jeremy Dubreil 927a6cfbb6 [infer][quandary] add the tests from the bi-abduction based taint analysis to the Quandary tests
8 years ago
Mehdi Bouaziz 7411298def [cleanup] Killed Const.Cptr_to_fld and Binop.PtrFld
8 years ago
Josh Berdine f07de2d9c9 Replace long structured string literals with 'quoted strings'
8 years ago
Dulma Churchill 8e078c33d7 [linters] Print active linters to the stdout when --print-active-checkers is passed
8 years ago
Jules Villard e79f3837c3 [CLOpt] allow to override the subcommand in infer sub-processes
8 years ago
Jia Chen c1905b87b1 Making the report blacklist configurable through command line
8 years ago
Andrzej Kotulski b8e679dfeb [generic models] Implement sample generic models, add code to handle them
8 years ago
Jules Villard 3ed48e3196 [mvn] handle weird xml
8 years ago
Jules Villard 50dc0bcad4 [driver] refuse to nuke suspicious results directories
8 years ago
Dulma Churchill 144e062684 [linters] Take instancesRespondToSelector into account to avoid FPs
8 years ago
Dulma Churchill 3aa68e23d9 [linters] Be able to specify human readable bug type in the rules
8 years ago
Jia Chen 7c41d3ee48 [infer][backend] Invalidate by-ref parameters for logical variables as well as program variables when calling undefined functions
8 years ago
Jia Chen 89de9504bb Fixed a (supposed) typo in objc test
8 years ago
Andrzej Kotulski e5556949d3 [backend] Introduce type substitution to expressions and instructions
8 years ago
Andrzej Kotulski 621ace48af [backend] Make Sil.subst type variant to allow more types of substitution
8 years ago
Dulma Churchill 431b5c6ede [linters] Disable filtering by path in debug or no-filtering mode
8 years ago
Josh Berdine a5c999db1e [threadsafety] Limited support for more access path forms
8 years ago
Mehdi Bouaziz 2ee8321456 [cpp][model] Do not define _LIBCPP_VECTOR or _GLIBCXX_VECTOR
8 years ago
Jules Villard 8b9a1f2582 add clang deps to a test
8 years ago
Jia Chen 89ef9356d0 Useful but insignificant changes in Prover
8 years ago
Mehdi Bouaziz d1bc510cd5 [biabduction][test] Repro of issue 680
8 years ago
Mehdi Bouaziz 42c224c224 [cpp][bufferoverrun] Regression test for folly/memory/UninitializedMemoryHacks.cpp
8 years ago
Mehdi Bouaziz d9b3b4d9ff [inferbo] Do not report location in model
8 years ago
Jules Villard 7e2b5dd161 [inferbo] printing every state of symbolic execution is verbose
8 years ago
Jia Chen 28b691d9fd [infer][backend] Perform deep match in Sil.exp_replace_exp
8 years ago
Josh Berdine 3161206534 [quandary] Continue past unbindable return values
8 years ago
Josh Berdine 926c6fee97 [threadsafety] Skip indirect calls in C++
8 years ago
Jia Chen 77c56de7a9 [infer][backend] Do not create abduced var for addresses of local variables that are marked as Aundef
8 years ago
Jia Chen 10f1969bcf [infer][cpp] Fixed the error message for dangling pointer dereference when the dereference comes from C++ `delete` operator
8 years ago
Jia Chen afc8c1b762 [infer][backend] Deallocate local variables before formal parameters
8 years ago
Josh Berdine a98f5ab244 unbreak build
8 years ago
Josh Berdine b83ab88b65 [multilinks] do not warn when the multilink does not exist
8 years ago
Josh Berdine 8ce531b3de [threadsafety] Fix divergence due to indexing string literal in loop
8 years ago
Kihong Heo 94d6efb83a [Inferbo] Add traces for buffer overrun bug report
8 years ago
Jia Chen 257e684392 [infer][checker] Put AnnotationSpec.sink_predicate and AnnotationSpec.sanitizer_predicate into actual use for annotation reachability checker
8 years ago
Martino Luca bfb8ca78a8 Fix the test command that checks the interesting_paths_filter feature
8 years ago
Jeremy Dubreil 987347ceca [infer][java] Infer should not suggest to add @Nullable for the field nullified on Fragement onDestroyView
8 years ago
Jia Chen f9e03681f8 Fix test
8 years ago
Jia Chen b5b9c28a02 Add --write-html-regex-whitelist option that prints out debugging html only for selected source files
8 years ago
Daiva Naudziuniene 8e91932be2 [ThreadSafety] Do not report on private C++ methods
8 years ago
Alexander Slesarev c2f7ee9337 [infer][PR] Fixed the gradle capture for the projects with spaces in their path.
8 years ago
Radu Grigore 8c98bee660 [infer][PR] Make --java-jar-compiler visible in `infer capture --help`.
8 years ago
Daiva Naudziuniene 250449e08a [ThreadSafety] Treating unique_lock.
8 years ago
Sungkeun Cho c45c9c745f [inferbo] Instantiate pointer parameters to structures
8 years ago
Daiva Naudziuniene 77e3110adc Propagating access of Decl from clang plugin to ProcAttributes.
8 years ago
Josh Berdine e04dd37df3 update opam deps
8 years ago
Jia Chen 301ebd4cd5 Teach do_imply additional aliasing rules
8 years ago
Jules Villard 068622ce1b [-notest] goodnight, sweet prince
8 years ago
Jules Villard b9c59b2b1d [vector] model beginPtr and endPtr separately
8 years ago
Jules Villard 2f569e2b97 [driver] move things around
8 years ago
Jules Villard 83148a71aa [rundiff] thread the changed files list through the code instead of using the Config-time value
8 years ago
Jules Villard 6388910b96 [inferbo] vector::get() returns an allocated value
8 years ago
Andrzej Kotulski a864b4068f [clang IR] Change Fieldname.t to store typename
8 years ago
Andrzej Kotulski 61aa7aaae5 Move Fieldname module inside Typ
8 years ago
Jia Chen a8ad84b9d3 Prevent addresses of local vars from appearing in function summary
8 years ago
Kihong Heo 7176fc936a [inferbo] fix the semantics of unknown library calls
8 years ago
Dino Distefano 4a5d0e0b55 Adding ability to express properties on the hierachy of protocols
8 years ago
Jules Villard cd83a24381 [merge] only try to read/create multilink files when --merge is specified
8 years ago
Jia Chen 806585db26 Fix aliasing rules about local variables introduced before
8 years ago
Jeremy Dubreil e200b6cdcc [infer][java] Simplify some of the models
8 years ago
Dulma Churchill 7d680b3b0c [linters] Add an optional doc_url field to linters to specify the url to some documentation online.
8 years ago
Sungkeun Cho f8b8dd1abb [infer] Parse unsigned short (uint16_t) as IUShort
8 years ago
Dulma Churchill 2d1a8f4940 [linters] Remove leftover code related to paths
8 years ago
Jules Villard f38462407e [utils] make `read_file` return a `Result.t`
8 years ago
Jules Villard b158f5cd30 [reportdiff] add filtered out bugs to preexisting
8 years ago
Dulma Churchill 72802024b3 [linters] Fix unavailable api check to take the avaiability attribute into account when it's not the first one in the list.
8 years ago
Jia Chen a6757be036 Force emitting prune node for C++ comparison expressions
8 years ago
Jia Chen f7927cadda Teach the frontend to recognize STL throw wrappers
8 years ago
Jia Chen 62cfd554c7 Teach the Prover additional aliasing rules about local variables
8 years ago
Sam Blackshear cb95bde659 [labs] clean up lab document
8 years ago
Sam Blackshear 4f54fabf4f [absint] move the framework bits/utilities of Infer.AI to a separate directory from the clients (checkers ~= transfer functions + domains)
8 years ago
Mehdi Bouaziz 63fcddb4a7 [inferbo] Do not store dummy idents into stack
8 years ago
Sungkeun Cho 00390d367a [inferbo] Refactor new symbol generation
8 years ago
Sungkeun Cho f45f4cb4c0 [Bufferoverrun] symbolic value for parameter
8 years ago
Sungkeun Cho 52c0caafaf [inferbo] Declare unsigned typed parameters
8 years ago
Sungkeun Cho 1f721d0824 [inferbo] Revise modulo semantics for positive values
8 years ago
Kyriakos Nikolaos Gkorogiannis b4f6308495 [thread-safety] Restrict propagation of attributes in an assignment; treat ownership propagation more strictly.
8 years ago
Daiva Naudziuniene 0a786e9019 [ThreadSafety] Do not report if all accesses are unprotected.
8 years ago
Andrzej Kotulski 4ce997c8f0 [clang] blacklist -profile-guided-section-prefix
8 years ago
Mehdi Bouaziz 7e9f859896 More detailed error message for typ_get_recursive_flds
8 years ago
Mehdi Bouaziz aad66bc6f6 [inferbo] More tests
8 years ago
Jia Chen 108c865b20 [infer][checker] Put AnnotationSpec.report into actual use for annotation reachability checker
8 years ago
Jia Chen 1edcbce35b Whitelist std::swap in C++ analyses
8 years ago
Jeremy Dubreil 0806ac067b [infer][java] use a multi-target Buck project to test the Buck integration for Java
8 years ago
Dulma Churchill 855b87e5d9 [linters] Remove internal error warning that is not really an error
8 years ago
Jules Villard da82d94a12 [report] restore "no issues found" output
8 years ago
Dulma Churchill 45a8e48e00 [linters] Adapt the debugger and linters-developer-mode to the new logs
8 years ago
Martino Luca 04db7b6db2 Simple refactoring of issues.py
8 years ago
Marco Concetto Rudilosso d196c03434 [infer][PR] JMain link is broken
8 years ago
Martino Luca 20a6131ccf Compute differential of certain files only, if desired
8 years ago
Daiva Naudziuniene 336b7182c3 [ThreadSafety] Releasing lock at the end of the procedure if it has a lock_guard field.
8 years ago
Jules Villard e87e2b007d [AI] escape html output
8 years ago
Sam Blackshear 1f153d3e3f [absint] kill `AbstractInterpreter.Interprocedural` module
8 years ago
Dulma Churchill ad7028cb49 [printing] Make sure that error messages end in a dot.
8 years ago
Jules Villard 0554da99e7 [perfstats] do not register the same file twice in the same process
8 years ago
Jules Villard a84df4673a [flock] truncate locked files explicitly to prevent race conditions
8 years ago
Dulma Churchill 47f1c6ffac [linters] Global paths
8 years ago
Mehdi Bouaziz f8eb9c2466 @\n only for format strings
8 years ago
Jeremy Dubreil 29d42a5e32 [infer][backend] Only call the prover to check that an expression being dereferenced is not null after checking if the expression is associated with @Nullable
8 years ago
Martino Luca acb7cf8dfe Remove unused `--filter-report-paths` argument
8 years ago
Mehdi Bouaziz 69e0063593 [vector] Define _LIBCPP_VECTOR / _GLIBCXX_VECTOR
8 years ago
Sam Blackshear 2a3032d0e3 [absint] rename confusing compute_and_store_post function
8 years ago
Dulma Churchill 99a0f894b6 [linters] Add option to blacklist the unavailable api check for some files
8 years ago
Sam Blackshear 03703e316c [thread-safety] understand that Pools.Pool.acquire returns ownership
8 years ago
Dulma Churchill d4d8db4025 [linters] Adding some missing dots to the suggestion sentences in the default linters.
8 years ago
Andrzej Kotulski 1c8ce44042 [Fieldname] Kill equal_modulo_parent
8 years ago
Sam Blackshear 5a420f7aee [quandary] only report code injection via endpoints on strings
8 years ago
Kihong Heo 8567afdf55 [inferbo] add instantiation for parameters (call-by-ptr/ref)
8 years ago
Daiva Naudziuniene 5938c6331d [ThreadSafety] Extending lock model with lock_quard.
8 years ago
Dulma Churchill dfca0cdcf7 [linters] Introduce whitelist and blacklist path, also multiple paths
8 years ago
Jia Chen 938425020d [infer] Do not treat static locals as stack-allocated in the biabduction analysis
8 years ago
Sam Blackshear 4fe9110ad3 [quandary] SQL sinks
8 years ago
Martino Luca f2728f5592 Suppress warnings on SourceFile creation, if desired
8 years ago
Jules Villard e8ce7d7cad [infer] fix make clean on the buck_flavors_deterministic test
8 years ago
Kyriakos Nikolaos Gkorogiannis cfe79cf1ca [thread-safety] Add SimplePool as container, mild refactoring of container handling.
8 years ago
Josh Berdine fdad9f552b [threadsafety] Check @ThreadSafe annotation per class instead of per file
8 years ago
Martino Luca 392ae928f1 Add unit folder to merlin
8 years ago
Don Stewart 35ac57c378 Typo in message.
8 years ago
Sam Blackshear 3cd7fa1c62 [quandary] remember name of tainted parameter for endpoint source
8 years ago
Jeremy Dubreil 7dd7b460e0 [infer][java] skip reports on generated methods
8 years ago
Jeremy Dubreil c51458f7a8 [infer][ondemand] no longer use deprecated reporting function for the suggest nullable checker
8 years ago
Jeremy Dubreil cddd1b4ca2 [infer][ondemand] rename the logging functions to outline the deprecated ones
8 years ago
Sam Blackshear 7b8eef52f8 [thread-safety] fix bad read/write race traces
8 years ago
Jia Chen 73aa7fe212 [infer] Initial attempt to cleanup and generalize the annotation reachability checker
8 years ago
Sam Blackshear 08586f3e81 [checkers] logging to summary in printf args checker
8 years ago
Sam Blackshear d4ee640dd6 [thread-safety] better error messages
8 years ago
Martino Luca b7d0c3d45b Limit creation of TV links
8 years ago
Kyriakos Nikolaos Gkorogiannis bee8e21633 [thread-safety] Add model and tests for SimpleArrayMap container.
8 years ago
Andrzej Kotulski cf8d5483db [C++] Add option to exclude header models from compilation
8 years ago
Jules Villard bfccb5222e [buck] do not generate non-deterministic data inside buck-out
8 years ago
Jules Villard 8f50c9dd3b [buck] do not pass unused --buck to python
8 years ago
Dulma Churchill 57dd45dd82 [linters] Improve the error message in implicit cast error
8 years ago
Sam Blackshear 0714b93b14 [quandary] use sink index info when expanding traces
8 years ago
Jules Villard 334c68771b [tests] add test for Buck flavors integration
8 years ago
Daiva Naudziuniene 093a00af9b [ThreadSafety] Do not report for c++ classes that do not have mutex member.
8 years ago
Jules Villard d1ef5ae27f [log] fix issue with --print-logs
8 years ago
Jules Villard ba5e04cf39 [clang] save temporary clang commands into /tmp
8 years ago
Dino Distefano 55da0055c9 Predicate for `using namespace`
8 years ago
Jeremy Dubreil 8917536944 [eradicate] model System.getenv as @Nullable
8 years ago
Jia Chen bbed46de47 [infer][java] Suggest @Nullable on fields that are compared to null
8 years ago
Sam Blackshear 24d541d403 [quandary] move some utility functions for manipulating footprint vars/access paths into appropriate modules
8 years ago
Sam Blackshear 3135560283 [quandary] move trace expansion logic into Quandary
8 years ago
Jules Villard b449b8c735 [wibble] refactor error output
8 years ago
Jules Villard 6435e6b001 [build] put clang plugin files inside src/clang_plugin/ instead of src/clang/
8 years ago
Jules Villard e24bffef98 [police] open IStd automatically
8 years ago
Jules Villard 7a1f1d93ad [log] --stats sets debug level to 1
8 years ago
Sam Blackshear 97bf3324c8 [quandary] add indexes to sinks
8 years ago
Sam Blackshear 2089cd8a34 [thread-safety] container models for SparseArray/SparseArrayCompat
8 years ago
Sam Blackshear 56201964ca [cleanup] make `PatternMatch.is_subtype` reflexive
8 years ago
Jules Villard 93cc3266e8 [log] log to a single file with different categories and debug levels
8 years ago
Jules Villard 03bd3f1df1 [log] append ERROR in front of `failwith` toplevel messages
8 years ago
Jules Villard b50f9f2695 [police] open IStd everywhere
8 years ago
Jules Villard a121e4bb01 [oops] do not report in analysis sub-processes
8 years ago
Jules Villard 6f0911c157 [CLI] do not generate --command options by default
8 years ago
Peter O'Hearn ddcbb419be [threadsafety] Thumbs up step 1
8 years ago
Jules Villard 644066f4be [driver] make clear when the results dir becomes available
8 years ago
Jules Villard 5fae8ca712 [CLI] deprecate `-a capture/compile` and `-- analyze`
8 years ago
Jules Villard 1727bd4125 [clang] clang pointer map becomes a clang pointer hashtbl
8 years ago
Sam Blackshear aa50d90a7d [quandary] get rid of report_reachable bool in taint specifications
8 years ago
Sam Blackshear 3e45a249d5 [thread-safety] fix infinite loop in quotient_access_map
8 years ago
Mehdi Bouaziz ec7b096ff6 [inferbo] Add warnings and errors for unreachable code
8 years ago
Kyriakos Nikolaos Gkorogiannis 7be1bfa89f [threadsafety] Fix some FPs added by may-alias analysis.
8 years ago
Jia Chen c0e20e0880 Propagate C++ noexcept annotation from frontend to backend
8 years ago
Jia Chen 2720716b95 Prettier error message for NullabilitySuggest
8 years ago
Sam Blackshear 7d828fff93 [quandary] make it possible to specify code that should be modeled even if we have a summary
8 years ago
Jules Villard 84b9901b22 [driver] run analysis and reporting for "analyze" commands
8 years ago
Dulma Churchill 03bdf0fe2c [linters] Cast from pointer to integer
8 years ago
Jules Villard 2608ec67c3 [CLOpt] add option `f` argument to a bunch more `mk_*` functions
8 years ago
Jules Villard 0404641ab3 [utils] move parts of utils into their own submodules to avoid future dependency cycle
8 years ago
Daiva Naudziuniene f4b9bb3e3b [ThreadSafety] Do not report unprotected writes for c++.
8 years ago
Mehdi Bouaziz 5bed343280 [commandline] Fix error option '' expects one of
8 years ago
Jia Chen 6fc287656f Transitively track null assignment in NullabliltySuggest
8 years ago
Martino Luca 2e8e5733f6 [AL] Load AL files from a directory
8 years ago
Jules Villard f9c146ced1 [log] pardon my french
8 years ago
Mehdi Bouaziz 70c4aec26e [inferbo] Fix vector model
8 years ago
Dino Distefano 0809279b3b Extending type parser to deal with typedefs
8 years ago
Sam Blackshear 4ef487928c [quandary] make passthroughs optional
8 years ago
Sam Blackshear 38d3946c71 [quandary] support for basic return value sanitizers
8 years ago
Andrzej Kotulski 5522365479 [IR] Add Typ.TVar variant to Typ.desc
8 years ago
Mehdi Bouaziz 2d73c71845 [debug] Links to non-visited nodes
8 years ago
Dulma Churchill 46a539df82 [linters] Specify path in linters
8 years ago
Kihong Heo 485814a75a [Inferbo] remove redundant alarm message
8 years ago
Mehdi Bouaziz cc6b0f1e0b [inferbo] Print skipped warnings only with bo_debug >= 4
8 years ago
Mehdi Bouaziz 8dd041c5af [inferbo] Moving stuff
8 years ago
Mehdi Bouaziz 5d9291b911 [inferbo] Some more debug
8 years ago
Mehdi Bouaziz f521e5fbc0 [inferbo] Models for exit, fgetc
8 years ago
Mehdi Bouaziz c9803a6481 False negative tests for std::timed_mutex
8 years ago
Andrzej Kotulski c6e2046848 [C++] Fix various issues with unique_ptr model
8 years ago
Mehdi Bouaziz b2e03b1734 [inferbo] New test for call by ptr/ref
8 years ago
Josh Berdine bf504c5b70 Minimal thread safety analysis for C++
8 years ago
Josh Berdine b4b45236fd [threadsafety] Relax javaism of may_alias
8 years ago
Jia Chen 07c6fbef81 Added an initial implementation of a checker that suggest the use of @Nullable
8 years ago
Sam Blackshear 1d9d7a3ee0 [guarded-by] fix error message
8 years ago
Dulma Churchill 470a409d76 [clang] Blacklist retain cycles for now
8 years ago
Peter O'Hearn 34ae89cf35 [threadsafety] Model more xThreadUtil methods
8 years ago
Kihong Heo de32a6728e [inferbo] remove bottoms in pointer arithmetic
8 years ago
Don Stewart 1a41d9dc89 Add location information to boolean conditions in paths. Improves comprehension a little
8 years ago
Kyriakos Nikolaos Gkorogiannis 750cc65092 [threadsafety] fix false negative on locations that may alias.
8 years ago
Mehdi Bouaziz 1486b92084 [inferbo] Renamed a few Itv values
8 years ago
Dulma Churchill 43d7428e8f [linters] Linters options in the help
8 years ago
Peter O'Hearn 0c8222cb2f [threadsafety] Model isMainThread()
8 years ago
Dulma Churchill f5d3870485 [linters] Adding a new error type like
8 years ago
Sam Blackshear 927b08346e [SRI summer school] skeleton code for lab
8 years ago
Jia Chen c8cad5b0f1 remove TODO file
8 years ago
Peter O'Hearn 0abceb730b [threadsafety] record threaded information alongside accesses and use disjunction for thread join
8 years ago
Martino Luca d5fbb298eb Skip compilation of certain source files, if desired
8 years ago
Jules Villard 71f20908a1 [logging] revert to using `assert false` since we catch `Assert_failure` in some places
8 years ago
Jules Villard bee1bbc26b [build] clean out stale binaries
8 years ago
Dulma Churchill a7cff528fa [linters] Disable components factory function rule
8 years ago
Jeremy Dubreil 16b87a3675 [infer] more cleanup for the tracing mode options
8 years ago
Sam Blackshear 6af61d099e [HIL] Print HIL instructions in the debug HTML
8 years ago
Mehdi Bouaziz b8c677497a [checkers] Kill Localise.checkers_dead_code
8 years ago
Sam Blackshear 54f1122bc0 [quandary] allowing specification of C++ endpoints
8 years ago
Martino Luca 34a0efd626 Add optional field in serialized output
8 years ago
Dino Distefano 4e7c7f30c1 Extended transitions to universal quantified operators
8 years ago
Dulma Churchill 31f189532c [buck capture] Remove the argument keep-going from the buck targets command
8 years ago
Dino Distefano e77ca182a5 Added a lint for namespace
8 years ago
Jules Villard 741e527826 [console] print progress-like messages on stderr
8 years ago
Jules Villard b964f6ab74 [CLI] options to unset default checkers and to print active checkers
8 years ago
Jeremy Dubreil 441bf7131a [infer][CLI] remove the Tracing analyzer option and only rely on the --tracing option for the biabduction analysis
8 years ago
Jeremy Dubreil d470ed6edc [infer][models] model java.io.BufferedReader as a wrapper
8 years ago
Jules Villard 500f0fd5d5 [analyze] same parallelisation for `infer-analyze` and `infer -- analyze`
8 years ago
Dulma Churchill b196eaa1bd [clang] Collect captured folders in buck-out when keep-going is passed
8 years ago
Dino Distefano bdd2395be6 Adding ability to get type of paramters.
8 years ago
Sam Blackshear 45aaa4da93 [quandary] gflag globals as source
8 years ago
Sam Blackshear 32ead76a3b [absint] make Set and Map functors take an ordered type
8 years ago
Dulma Churchill 7c1a01b186 [clang] Make keep going work with the infer-capture-all integration
8 years ago
Dino Distefano cfd0a9b038 Extending type parser to parse ObjC classes.
8 years ago
Jeremy Dubreil 11ebad7cea [infer][checkers] finaly remove the unecessary 'checkers' flag
8 years ago
Jeremy Dubreil 5b495c6a38 [infer][absint] Functor to create a domain with Top
8 years ago
Jeremy Dubreil 64ab959486 [infer][java] model the Eradicate assertion utils for the biabduction analysis
8 years ago
Jeremy Dubreil 735e906145 [infer][java] Force the Buck integration for Java to not use the Buck daemon
8 years ago
Jeremy Dubreil 1fbc4a1b22 [infer][java] remove the temporary file created to store the list of Buck targets
8 years ago
Sam Blackshear abc5642c83 [quandary] tests for string functionality
8 years ago
Jules Villard 4266360606 [build] taking the .mli into account actually broke the build
8 years ago
Jules Villard 8dacc2df94 [build] move ctl_parse_types.mli to the right place
8 years ago
Jules Villard 9c3e92d9fd [toplevel] small changes in the stdout output
8 years ago
Jules Villard 252c78bb0e [clang] initialize dynamically-size stack-allocated arrays
8 years ago
Sam Blackshear d5f4784e61 [quandary] add more exec sinks
8 years ago
Jeremy Dubreil 73e9963b76 Revert "[infer][checkers] remove the unecessary 'checkers' flag"
8 years ago
Jeremy Dubreil 7d0375d9ee [infer][checkers] add missing command line flags to enable/disable the checkers enabled by default
8 years ago
Jeremy Dubreil 5773a903c6 [infer][checkers] remove the unecessary 'checkers' flag
8 years ago
Jeremy Dubreil f43e18b7b6 [infer][checkers] add an option to enable the Fragment View Checker
8 years ago
Jeremy Dubreil a56ac06c7e [infer][tests] update the expected test results for bufferoverrun analysis
8 years ago
Kihong Heo 984a81413a [inferbo] Top for unanalyzed variables (e.g., global variables)
8 years ago
Sam Blackshear d446f0f800 [quandary] clipboard as a source
8 years ago
Jeremy Dubreil 3b9aa9ad15 [infer][checkers] filter out the experimental issues instead of using a whitelist
8 years ago
Jules Villard 06dfadecb7 [pmd] handle failure of decoding procedure ids as Java methods
8 years ago
Jules Villard 93ec47a5f4 [IR] add stride to array type
8 years ago
Sam Blackshear 9910391144 [quandary] improved handling of unknown code in C++
8 years ago
Sam Blackshear b7afa4727d [hil] fix crash when translating C code that indexes string literals like arrays or does pointer arithmetic
8 years ago
Sam Blackshear 4e97d1e991 [quandary] add support for C++ parameter passing modes that differ from Java
8 years ago
Sam Blackshear 30e629c319 [hil] rename Write to Assign
8 years ago
Mehdi Bouaziz 491cc2587b [infer] More mutex models
8 years ago
Jules Villard 801c605c26 [CLI] switch to infer-<command> (symlinks) executables
8 years ago
Jules Villard 81177dc711 [CLI] skip anon args for `infer clang ...`
8 years ago
Jules Villard 5881b676a2 [CLI] parse contents of @argfiles
8 years ago
Jules Villard 6c3845257f [manual] list all supported options in `infer --help` and `infer --help-full`
8 years ago
Jules Villard d508b0880d [manual] add --help-format option
8 years ago
Jules Villard 709376945f [config] migrate help to use man pages
8 years ago
Jules Villard ebd5ec0013 [archeology] remove infer/src/checkers/sql_examples/
8 years ago
Dino Distefano 99552edd7b Extending type parser to parse pointer types.
8 years ago
Jeremy Dubreil 8de5b7b85c [infer][checkers] fix performance issue when running the biabduction analysis as a checker
8 years ago
Jeremy Dubreil b5b12ba9ff [infer][checkers] add the option to run the biabduction analysis as a checker for Java
8 years ago
Dulma Churchill 68f957ac97 [linters] Print name and type of the node in the debugging
8 years ago
Dulma Churchill d04a03b8e3 [linters] Remove redundant predicate
8 years ago
Dulma Churchill c9670d215d [linters] Add new predicate has_type and check for implicit cast
8 years ago
Sam Blackshear 30b3075d11 [quandary] allow specification of parameter sources via JSON
8 years ago
Sam Blackshear 6c8f3fe618 [quandary] allocation as a sink
8 years ago
Martino Luca 6d1d78bb60 Change invariant to compute differential of reports
8 years ago
Martino Luca 30bcc6b5ce Simple refactoring of Localise
8 years ago
Sam Blackshear 9c5bf9bba5 [quandary] run Quandary on Java when -a checkers is passed
8 years ago
Jeremy Dubreil 7e12885f98 [infer][checkers] remove the quandary analyzer option and rely on the --quandary flag only
8 years ago
Jeremy Dubreil 6f85980e6e [infer][ondemand] try to load the summary when the procedure description cannot be found
8 years ago
Jeremy Dubreil be0cd4fa73 [infer][ondemand] use the attributes from the procedure description without filesystem lookup
8 years ago
Dino Distefano c6a29e5e8a Adding more builtin type to parser
8 years ago
Sam Blackshear 9157f42b7c [test] diagnose invalid source file issue
8 years ago
Sam Blackshear 6af6ef35ec [quandary] support sources that taint a pointer arg or arg passed by ref rather than the return value
8 years ago
Sam Blackshear 52ed886886 [quandary] log error to summary instead of pdesc
8 years ago
Sam Blackshear 28bc279cdc [quandary] tests for passthroughs
8 years ago
Jeremy Dubreil 7bc2d6de12 [infer][ondemand] confine the concept of currently analyzed method to the Ondemand module
8 years ago
Jeremy Dubreil 9e4cbc919b [infer][checkers] Using the same filtering mechanisim for the biabduction analysis for the main Infer analysis and when using the checkers framework
8 years ago
Sam Blackshear a0377fe8c9 [quandary] treat call to unknown operator= as assignment
8 years ago
Sam Blackshear 9dc7e3d66f [quandary] handle return value passed by reference in sources
8 years ago
Sam Blackshear fe8142deb8 [tests] tests for reporting cross-module errors with buck
8 years ago
Jules Villard 29f7967f26 [build] remove unused values
8 years ago
Mehdi Bouaziz 37896ff435 [inferbo] More errors on symbolic intervals
8 years ago
Mehdi Bouaziz 5a57be9003 [infer][checkers] remove the bufferoverrun analyzer option and rely on the --bufferoverrun flag only
8 years ago
Jeremy Dubreil 8064ac2614 [infer][checkers] remove the siof analyzer option and rely on the --siof flag only
8 years ago
Jeremy Dubreil 62be37f163 [infer] parse the classpath information from the javac command line
8 years ago
Sam Blackshear 6f33fa4089 [cli] parse classpath from argfiles
8 years ago
Jeremy Dubreil ef354e6e2b [infer][checkers] remove the threadsafey as analyzer option and rely on the --threadsafety flag only
8 years ago
Jeremy Dubreil d5e9b22e41 [infer][checkers] remove the code for the checkers that are not being run in prod
8 years ago
Sam Blackshear 4425f0908c [thread-safety] understand custom Buck locks
8 years ago
Mehdi Bouaziz 174c0091ae [inferbo] std::vector model for inferbo
8 years ago
Jeremy Dubreil 0097d8a5cb [infer] First step to the biabduction analysis using the checkers framework
8 years ago
Ryan Rhee 62e4364085 [componentkit] Whitelist CKComponentKey
8 years ago
Ryan Rhee 9f65b0d3fa [componentkit] Whitelist CKComponentContext
8 years ago
Sam Blackshear 6680126af9 [cleanup] replace Location.dummy with Location.none where acceptable
8 years ago
Sam Blackshear 19da59cf19 [hil] functor for easily creating HIL analyses
8 years ago
Dulma Churchill 1a141eddca [ObjC capture] Model functions related to dispatch sources
8 years ago
Dulma Churchill 6097c05d88 [clang] Add a preanalysis to compute nullability annotations
8 years ago
Mehdi Bouaziz 7b8dc59386 [inferbo] Always use strong update
8 years ago
Dino Distefano 5bb41cc18c Removing predicates _strict
8 years ago
Dino Distefano 3c6f53c896 Adding predicate to get return type of a method and start a new parser for types
8 years ago
Sam Blackshear a02b37a03c [quandary] allow custom sources/sinks in C++
8 years ago
Jeremy Dubreil 548a36d71f [infer][backend] some more non-functional cleanup
8 years ago
Mehdi Bouaziz 3131660ede [inferbo] Model-like test for vector
8 years ago
Sam Blackshear 3258bc2ec4 [quandary] delegate handling of call to HIL
8 years ago
Sam Blackshear 80030c8de7 [quandary] delegate handling of assignment to HIL
8 years ago
Andrzej Kotulski c1147710ba [C++] Store class template name without its template arguments
8 years ago
Jeremy Dubreil b3af2ad4b6 [infer][ondemand] The source parameter from the analysis callback was never used
8 years ago
Jeremy Dubreil 224c1fea86 [infer][backend] remove the unecessary parameter source when printing node data
8 years ago
Sam Blackshear d248780645 [quandary] delegate cast handling to HIL
8 years ago
Sam Blackshear 8f10cae4b3 [quandary] delegate id map management to HIL
8 years ago
Jeremy Dubreil 33f9a2f864 [infer][backend] remove the unsafe function Specs.get_specs
8 years ago
Jeremy Dubreil 250d9cb8b3 [infer] the function to pretty-print the call graph does not need to access the analysis summaries
8 years ago
Sam Blackshear 7b44236874 [thread-safety] remove hacky special case for Builder's
8 years ago
Sam Blackshear 728412ce07 [thread-safety] clean up code unused after HIL conversion
8 years ago
Sam Blackshear f7a8d50c33 [thread-safety] convert Call logic to HIL
8 years ago
Sam Blackshear 6ff77fedda [thread-safety] convert Write logic to HIL
8 years ago
Sam Blackshear 135ac8be7c [integration] make it possible to run Inferbo/Quandary/Siof/Threadsafety on Clang buck projects
8 years ago
Andrzej Kotulski 7a0c4d9031 add more quals to SIL
8 years ago
Jeremy Dubreil 2e50022eb1 [infer][backend] remove unecessary check for analyzer kind
8 years ago
Jeremy Dubreil 8bbaf12500 [infer][backend] remove the function Specs.get_specs_formals
8 years ago
Sam Blackshear aadb26ada0 [hil] add Unbind operation for removing a temporary binding
8 years ago
Jeremy Dubreil b790ac8c14 [infer][java] load the global type environment at most once per process
8 years ago
Sam Blackshear 78a7865f2a [CLI] parse argfile contents into Config vars
8 years ago
Andrzej Kotulski 462220ce3e [typ] Print type qualifiers in Typ.pp_full
8 years ago
Andrzej Kotulski aefbbe8680 [clang] Translate type qualifiers into Sil
8 years ago
Jules Villard 1b0ee6fbc3 [clang] add sizeof static value to translation
8 years ago
Sam Blackshear 1c23876a4e [absint] BottomLiftedDomain should satisfy WithBottom signature
8 years ago
Sam Blackshear 863d90272f [cleanup] replace type_has_supertype with supertype_exists
8 years ago
Peter O'Hearn 3db1f9e94c [threadsafety] Treat clone() as aquiring ownership
8 years ago
Andrzej Kotulski 6ff421ca65 [C++ models] Fix compilation issues with unique_ptr under gcc 5
8 years ago
Mehdi Bouaziz eb477b771e [inferbo] Replace some Bottom by Top
8 years ago
Mehdi Bouaziz 2dbde13335 [inferbo] Use Logging for logging
8 years ago
Mehdi Bouaziz 7d70310691 [inferbo] Yack manucuring
8 years ago
Andrzej Kotulski db3c07a631 [clang frontend] Pass type qualifiers through frontend
8 years ago
Martino Luca 233d6a53c0 [Infer] Emit potential exception lines into qualifier's message
8 years ago
Jeremy Dubreil c0c813c657 [infer][java] only report one annotation reachability issue per end of call stack
8 years ago
Sam Blackshear 3c0cf115b3 [quandary] add option for parsing endpoints from inferconfig
8 years ago
Andrzej Kotulski 029499cd9d [IR] add type qualifiers to Typ.t
8 years ago
Sam Blackshear 5de8161f89 [thread-safety] convert Prune logic to HIL
8 years ago
Dulma Churchill 69afe434a9 [clang] Add a flag to get around missing files in the buck integration
8 years ago
Sam Blackshear 8dbd91b5ba [java frontend] fix infinite loop
8 years ago
Jeremy Dubreil 06b0b94626 [infer][java] simplify the domain logic of the annotation reachability checker
8 years ago
Sungkeun Cho 7212890846 [Bufferoverrun] More prune to make some nodes unreachable
8 years ago
Sungkeun Cho b4b32f8d3e [Bufferoverrun] set uninitialized values in array as top
8 years ago
Sam Blackshear a4f2d99be9 [quandary] a few more ContentProvider sinks
8 years ago
Mehdi Bouaziz 92241119a2 [debug] Show the full payload of proc specs rather than preposts only
8 years ago
Jules Villard 15b8f80e18 [build] record last modified date of --help data inside ./configure
8 years ago
Jules Villard f232e3bd8d [build] fatal on warnings 21, 52, 57
8 years ago
Jules Villard 6f264a30fa [build] remove c stubs and ctypes dependency
8 years ago
Jules Villard 3325306c58 [config] rename --report and -report to --stats-report
8 years ago
Jules Villard f3d2bd7c08 [subcommands] support subcommands without leading --
8 years ago
Jules Villard 31a6aba3c2 [siof] enable SIOF checker only when new --siof option is passed
8 years ago
Sam Blackshear 48d99f38cb [thread-safety] fix typo in printing of domain info
8 years ago
Sam Blackshear 24165942a4 [hil] HIL instructions
8 years ago
Sam Blackshear 0caac1aa93 [hil] HIL expressions
8 years ago
Andrzej Kotulski e742d5bb7b [clang] Replace Prebuilt type_ptr with Typ.t
8 years ago
Mehdi Bouaziz d20d71da50 [bufferoverrun][tests] Move bufferoverrun cpp tests to their own directory
8 years ago
Sam Blackshear 20aff78b36 [quandary] ContentProvider Uri's as sources/files as sinks
8 years ago
Martino Luca 05a9270b13 [CTL] Attach CTL debugger to breakpoints in source code
8 years ago
Andrzej Kotulski a81f4e7bf9 Remove custom Clang_ast_types module, extend types instead
8 years ago
Martino Luca a42302bd38 Add variant type to traces' node_tags
8 years ago
Martino Luca 46c7aa378c Drop XML reports in InferPrint
8 years ago
Kihong Heo 9cad51d00a [Bufferoverrun] add vector test for cpp
8 years ago
Sam Blackshear 3024d9aed2 [quandary] more IPC sources
8 years ago
Jeremy Dubreil 3f67ca3f80 [infer][java] avoid unecessary convertions from sets to lists of call sites
8 years ago
Sam Blackshear bcbb032052 [quandary] WebView.postUrl is a sink
8 years ago
Andrzej Kotulski 6d360fb84a [C++] Replace clang_include_to_override with regex
8 years ago
Martino Luca 2e3b9a30ab [CTL][Debug] Fix colouring issue
8 years ago
Sam Blackshear 119672894d [thread-safety] use real location for trace spacers
8 years ago
Sam Blackshear 3c7361a83d [thread-safety] assume findViewById returns ownership
8 years ago
Jules Villard 19e490dbd2 [clang] create InferClang++ in infer/bin/ on compilation
8 years ago
Jules Villard fb5edaf819 [python] suggest correct package name when lxml is missing
8 years ago
Sam Blackshear b0216035f4 [frontend] don't treat Sawja-generated ternary operator vars as SSA tmps
8 years ago
Sam Blackshear 1f9c2cde85 [thread-safety] clean up error message printing
8 years ago
Peter O'Hearn 4c2ef788a1 [infer][threadsafety] Use disjunction in the join for threaded
8 years ago
Jules Villard c8489cb3ac [spacetime] two big allocators in some profiles
8 years ago
Josh Berdine ebf9acf6a2 Use tail recursive infix list append
8 years ago
Sam Blackshear 05faadf643 [buck] fix argument list too long issue
8 years ago
Jules Villard e8a6c2e68d [CLOpt] replace uses of Str with Core.String
8 years ago
Mehdi Bouaziz 93b6980b28 [Makefile] Models: add dependency on header files
8 years ago
Jules Villard 68d6f73142 ocaml 4.04.0
8 years ago
Jules Villard 857eae7c6b [build] address warnings 52 and 57
8 years ago