215 Commits (2821cf8fddcd27840d40df3766200863d0e2ccb3)

Author SHA1 Message Date
Daiva Naudziuniene 35011757dc [pulse] Add a flag to pass functions that we want to model as returning non-null
4 years ago
Sungkeun Cho 70233b55f1 [cost] Log unknown functions to scuba only with an option
5 years ago
Nikos Gorogiannis ba2bad25aa [debug] new command
5 years ago
Daiva Naudziuniene 2c48e61031 [pulse] A new issue type OPTIONAL_EMPTY_ACCESS for trying to access folly::Optional when it is folly::none
5 years ago
Dulma Churchill 0887b28a65 [linters] Delete unused linters about ComponentKit
5 years ago
Dulma Churchill 622f0fb6f2 [linters] Remove the linters UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK and REGISTERED_OBSERVER_BEING_DEALLOCATED
5 years ago
Artem Pianykh bc9c2440df [java] Add an option to log JBir translation
5 years ago
Dulma Churchill b888e33e1f [biabduction] Delete UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION
5 years ago
Dulma Churchill a7cca8a734 [biabduction] Delete SKIP_POINTER_DEREFERENCE issue type
5 years ago
Dulma Churchill c000fae947 [biabduction] Delete POINTER_SIZE_MISMATCH
5 years ago
Jules Villard f5993b7254 [website] add remaining issue types
5 years ago
Jules Villard 3846fbd3ee delete unused issue ERADICATE_CONDITION_REDUNDANT_NONNULL
5 years ago
Sungkeun Cho a49b094e0c [inferbo] Remove unused issue types
5 years ago
Ezgi Çiçek a173320627 [doc] Add documentation for litho required props
5 years ago
Dulma Churchill 219cc64cb6 [biabduction] Delete null_test_after_dereference check
5 years ago
Dulma Churchill 24ec6e9f90 [biabduction] Delete condition always true/false in the biabduction checker
5 years ago
Andrew V. Jones 566c650087 [infer][PR] Correct spelling mistake (hmtl -> html)
5 years ago
Dulma Churchill 2e7848b179 [biabduction] Delete deallocate_stack_variable and deallocate_static_memory
5 years ago
Sungkeun Cho 33dab9c32d [CCBM] Add reporting with examples (3/3)
5 years ago
Sungkeun Cho 960d7fb561 [CCBM] Add a new checker config-checks-beween-markers (1/3)
5 years ago
Dulma Churchill b6c8e52e8c [biabduction] Delete use after free
5 years ago
Dulma Churchill 415824ac0e [biabduction] Delete deallocation_mismatch
5 years ago
Dulma Churchill b6fc605c5a [biabdcution] Delete BIABD_REGISTERED_OBSERVER_BEING_DEALLOCATED
5 years ago
Jules Villard bb6b998473 [biabd] remove BIABD_STACK_VARIABLE_ADDRESS_ESCAPE
5 years ago
Daiva Naudziuniene 412d2777eb [pulse] Add a flag to pass functions that we want to model as abort
5 years ago
Nikos Gorogiannis 23c1b4f960 [classloads] remove dead analyser
5 years ago
Dulma Churchill 11c6e3e0ee [pulse] Enable pulse memory leaks and disable biabduction one
5 years ago
Jules Villard 97feb81c3b revive --pmd-xml
5 years ago
Jules Villard 0bf23c66fd [help] document checkers
5 years ago
Jules Villard f34bd2b069 [help] import issue types documentation from website
5 years ago
Jules Villard 7ba6e015a8 skeleton new `infer help` command
5 years ago
Ezgi Çiçek a090551d69 [cost] Remove EXPENSIVE_EXECUTION_TIME issue type
5 years ago
Ezgi Çiçek 4858d29147 [cost] Add ability to test costs-report.json
5 years ago
Jules Villard 4bb836b2c3 [Config] pull some options out of the big group of debug
5 years ago
Jules Villard c61d2ba32f kill Config.analysis_stops
5 years ago
Jules Villard bc669c6c9f no dynamic visibility
5 years ago
Jules Villard f616da42f1 [docs] only one checker allowed per issue type
5 years ago
Nikos Gorogiannis 2bbd25087c [buck] java & clang combined capture
5 years ago
Jules Villard 090ce4edb9 [IR] delete unused Issue types
5 years ago
Jules Villard f8e71ceb1e [topl] make TOPL its own checker
5 years ago
Ezgi Çiçek 4f97296e55 [cost] Remove cold-start issues
5 years ago
Jules Villard 8a0d584121 [java] ability to call directly into the Java source parser for debug
5 years ago
Jules Villard 65d2bc692d [pulse] enable for Java
5 years ago
Dulma Churchill ef7bc324e3 [pulse] Add a flag to model methods for memory ownership transfer
5 years ago
Nikos Gorogiannis 8d83fc3969 [config] remove noop option --procedures-per-proc
5 years ago
Dulma Churchill 40143ab01c [pulse] Model CFRelease as removing the Allocated attribute rather than as free
5 years ago
Sungkeun Cho d373a81b73 [pulse] Keep only one disjunct from blacklisted function
5 years ago
Jules Villard 385b6fa914 [pulse] revamp arithmetic, put everything in the path condition
5 years ago
Jules Villard 5c453393ff [pulse] recency model for memory accesses
5 years ago
Jules Villard 44108c2392 delete ondemand capture
5 years ago