3221 Commits (c5a0593be3ea5f1d10ede70f92e96d53b05a940b)

Author SHA1 Message Date
Qianyi Shu cb805882c2 [cost] add objc test case for NSInteger and NSString
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
Qianyi Shu 525bd35370 [cost] import c performance test to objc
5 years ago
Dulma Churchill 61d5fde7c4 [clang] Adding implicit implementation of dealloc methods to ObjC classes
5 years ago
Sungkeun Cho 2707ee8f4e [cost] Add .PHONY in cost.make
5 years ago
Sungkeun Cho 25825e77d4 [cost] Revise cost.make not to run infer parallel
5 years ago
Ezgi Çiçek bb6cc0e6be [cost] Remove unused inferconfig
5 years ago
Jules Villard 0bf23c66fd [help] document checkers
5 years ago
Sungkeun Cho e86ea5ca7f [infer] Fix tracebugs test Makefile
5 years ago
Ezgi Çiçek 6d7df79573 [cost] Brush up tests (4)
5 years ago
Ezgi Çiçek a8625d5e68 [cost] Brush up tests (3)
5 years ago
Sungkeun Cho e611f0e8b3 [infer] Fix empty `issues.exp.test` on Ant build test
5 years ago
Sungkeun Cho a681036c01 [infer] Fix a typo in Makefile of build test
5 years ago
Jules Villard 4f79585eb0 record objc tests
5 years ago
Ezgi Çiçek ab08d6cfff [cost] Brush up tests (2)
5 years ago
Jules Villard 8a1c10f8a1 remove dynamic severity: Reporting.log_{error,warning} -> log_issue
5 years ago
Nikos Gorogiannis 341e719fd4 [starvation][whole-program] add model for `Main`
5 years ago
Dulma Churchill aa6fe7963c [pulse] Add dealloc calls for ObjC objects that are about to become unreachable
5 years ago
Ezgi Çiçek 2d6d4f7db9 [cost] Brush up tests (1)
5 years ago
David Pichardie dbdd4413a7 Java8 invokevirtual resolution should search into super interfaces
5 years ago
Ezgi Çiçek 289d64260e [cost] Record cost traces in cost-report.json
5 years ago
Ezgi Çiçek 2b40497e88 [cost] Remove cost threshold from tests
5 years ago
Sungkeun Cho 64354bbdde [inferbo] Add model of class.getEnumConstants
5 years ago
Sungkeun Cho 5190f12cc1 [inferbo] Add model of class.getFields
5 years ago
Ezgi Çiçek 9e44bc3687 [cost] Add ability to test costs-report.json (part 2)
5 years ago
Ezgi Çiçek 964388f56c [pulse] Brush up Collection/List add and remove models
5 years ago
Ezgi Çiçek 4858d29147 [cost] Add ability to test costs-report.json
5 years ago
Nikos Gorogiannis bad9ab08e7 [starvation][global] add android View models
5 years ago
Nikos Gorogiannis 881d617284 [concurrency] android methods starting with "on" are on UI thread
5 years ago
Jules Villard 163f3c687d kill Exceptions.Dummy_exception
5 years ago
Daiva Naudziuniene 98092481d4 [pulse] Special case for std::function:operator=( nullptr )
5 years ago
Jules Villard f616da42f1 [docs] only one checker allowed per issue type
5 years ago
Dulma Churchill 61869b8edb Revert "[frontend][clang][RFC] fix translation of enum constant"
5 years ago
Nikos Gorogiannis 2bbd25087c [buck] java & clang combined capture
5 years ago
Jules Villard f8e71ceb1e [topl] make TOPL its own checker
5 years ago
David Pichardie 8c82072cb0 First version of a devirtualization pre-analysis (Java frontend)
5 years ago
Mitya Lyubarskiy a148812ac8 [nullsafe] Recommend only `LOCAL` mode for promotion.
5 years ago
Ezgi Çiçek 4f97296e55 [cost] Remove cold-start issues
5 years ago
Jules Villard bf97abfbd3 [pulse] add Java tests
5 years ago
Dulma Churchill 3cdb9f322e [IR] Fix the function hashable_name for ObjC methods
5 years ago
Daiva Naudziuniene b25d3e39ef [uninit] Use type information from locals if argument is a pointer in function signature
5 years ago
Sungkeun Cho 4e64657d50 [frontend][clang][RFC] fix translation of enum constant
5 years ago
Dulma Churchill ef7bc324e3 [pulse] Add a flag to model methods for memory ownership transfer
5 years ago
Daiva Naudziuniene ca2ec281c7 [pulse] Model for iterator operator--
5 years ago
Daiva Naudziuniene eaf95951f5 [pulse] Modeling std::vector::end()
5 years ago
Ezgi Çiçek faceece120 [pulse] Brush up List.set() model
5 years ago
Sungkeun Cho b3770d0f17 [litho] Add sematics of assume null
5 years ago
Ezgi Çiçek 5ff6fc93a0 [pulse] Brush up Java iterator models
5 years ago
Mitya Lyubarskiy 2decf834ed [nullsafe] Model nullability of special enum methods
5 years ago
Dulma Churchill 40143ab01c [pulse] Model CFRelease as removing the Allocated attribute rather than as free
5 years ago
Nikos Gorogiannis 91e0b4c7a0 [racerd] fix bug in c++ mode
5 years ago
Mitya Lyubarskiy 045649abaf [nullsafe] Aggregate meta-issues for top-level classes
5 years ago
Jules Villard 2da04b835d [pulse] require ptr>0 in free()
5 years ago
Jules Villard 385b6fa914 [pulse] revamp arithmetic, put everything in the path condition
5 years ago
Mitya Lyubarskiy b419541af2 [nullsafe] Skip analysis of autogen methods
5 years ago
Jules Villard 5c453393ff [pulse] recency model for memory accesses
5 years ago
Dulma Churchill 6c044ba2d4 [pulse] Model Core Foundation create and copy functions
5 years ago
Sungkeun Cho a61965d622 [cost] Revise suppressing cost reports
5 years ago
Nikos Gorogiannis f207b3dfda [racerd] rationalize test suite
5 years ago
Jules Villard 2d8debc562 [pulse] invalidate vector backing array correctly
5 years ago
Jules Villard b94af98936 [nullsafe] move tests nullsafe-default/ -> nullsafe/
5 years ago
Jules Villard b1e35a728d [biabd] rename test directories from {biabduction,errors,infer} to {biabduction}
5 years ago
Jules Villard a26fb42631 [biabd] less aggravating ant test
5 years ago
Dulma Churchill 2b0ff5d160 [pulse] Add interproc tests for CFBridgingRelease model
5 years ago
Dulma Churchill f28d75c910 [pulse] Add model for malloc_no_fail
5 years ago
Dulma Churchill fa13577695 [pulse] Model __bridge_transfer
5 years ago
Jules Villard 44108c2392 delete ondemand capture
5 years ago
Mitya Lyubarskiy 16859e0961 [nullsafe] Don't explicitly recommend annotating a nested class as @Nullsafe
5 years ago
Mitya Lyubarskiy 243564be90 [nullsafe] Recommend adding a class to trust list for @Nullsafe trust some/none modes
5 years ago
Mitya Lyubarskiy d5862b0a22 [nullsafe] Add checks to warn about misuse of nested class @Nullsafe annotations
5 years ago
Sungkeun Cho 9f81b7c880 [inferbo] Add models of infer annotations
5 years ago
Mitya Lyubarskiy 6790417e82 [nullsafe][EASY] Fix a typo in the name of Nullsafe mode in the error message
5 years ago
Sungkeun Cho 3aaf260b8b [inferbo] Add model of Class.getCanonicalName
5 years ago
Mitya Lyubarskiy 0b6c5172a8 [nullsafe] Nested classes should inherit mode from the outer one
5 years ago
Daiva Naudziuniene 247ecb813d [pulse] Fix traces for iterator invalidation errors
5 years ago
Sungkeun Cho 7bf7d24e4b [inferbo] Add model of Enum.name
5 years ago
Sungkeun Cho 7b6ddba689 [inferbo] Revise models of Collection.set and get
5 years ago
Ezgi Çiçek 269cdb80d9 [pulse] Model `StdVector` allocator
5 years ago
Ezgi Çiçek eed39540f3 [frontned][clang] Fix the translation of CXXStdInitializerListExpr
5 years ago
Nikos Gorogiannis 7e34576bcc [racerd] recognise wrappers that make containers thread-safe
5 years ago
Nikos Gorogiannis 8f351669bf [racerd] update synchronized java container class models
5 years ago
Nikos Gorogiannis ad334aef65 [racerd] improve and complete container models
5 years ago
Dulma Churchill c76d59853b [pulse] Model CFBridgingRelease by removing the Allocated attribute
5 years ago
Sungkeun Cho 7fbe04f701 [cost] Suppress cost issues on lambda and auto-generated procedures
5 years ago
Jules Villard 3332dc1a42 [AI] improve disjunctive domain
5 years ago
Ezgi Çiçek b0da1c6837 [frontend][clang] Remove call to skip when translating CXXStdInitializerListExpr
5 years ago
Jules Villard 3220804ddb [pulse] add a cache of constants to equate them
5 years ago
Mitya Lyubarskiy 196043ab61 [nullsafe] Don't specify full class name in meta-issue text
5 years ago
Nikos Gorogiannis 73dda893ed [racerd] record dynamic types used in constructors for synchronized containers
5 years ago
Daiva Naudziuniene dae7f36339 [pulse] Vector iterator model
5 years ago
Jules Villard 7a888170e7 [pudge] it's alive!
5 years ago
Mitya Lyubarskiy 6a75ba6429 [nullsafe] Take into account Lambda classes in JavaClassName
5 years ago
Mitya Lyubarskiy 54c4715adc [nullsafe] Specify the right class location in meta-issue info
5 years ago
Sungkeun Cho 30ca51366d [inferbo] Do not append field to the unknown location
5 years ago
Dulma Churchill bdba1db6ef [biabduction] Remove the flags for modelling alloc and release functions that are unused
5 years ago
Dulma Churchill 2d168f75a6 [pulse] Add options for modelling alloc models and free models from user-defined regexes.
5 years ago
Daiva Naudziuniene db965085b9 Fix tests
5 years ago
Mitya Lyubarskiy 1eb762f935 [nullsafe] Recommend "trust none" as a promotion mode, when it is possible.
5 years ago
Mitya Lyubarskiy 9397b68650 [nullsafe] Introduce LocallyTrustedNonnull nullability
5 years ago
Mitya Lyubarskiy 3a629e46ce [nullsafe] Mode is unchecked unless it is in explicit trust list
5 years ago
Mitya Lyubarskiy ee9cf15d83 [nullsafe] Treat signatures in the class under analysis differently
5 years ago
Mitya Lyubarskiy c2b512c227 [nullsafe] Properly exclude third party methods from analysis
5 years ago
Mitya Lyubarskiy 8cb7f51d5e [nullsafe] Calculate promotion mode as part of meta-issue payload.
5 years ago
Dulma Churchill 2382e3d613 [pulse] Model Core Graphics Create and Copy just like malloc
5 years ago
Dulma Churchill 59ea968de8 [pulse] Model the correct CFAutorelease
5 years ago
Ezgi Çiçek e1093159b0 [pulse] Distinguish error state at top level
5 years ago
Ezgi Çiçek 8d44265ca1 [impurity] Consider exited functions as impure
5 years ago
Dulma Churchill b29d1a2f5f [pulse] Adding new value history for allocations
5 years ago
Ezgi Çiçek 6105a6ab42 [pulse] Add tests for constant abstract locations
5 years ago
Mitya Lyubarskiy 3ccacb1f6e [nullsafe] Add nullsafe extras for meta-issues
5 years ago
Sungkeun Cho 2eae5ff88c [inferbo] Find method of interface or abstract class
5 years ago
Sungkeun Cho f0f91b21c6 [inferbo] Distinguish array declaration and size-setting in trace
5 years ago
Ezgi Çiçek 5a2b285fff [pulse] Distinguish exit state at top level
5 years ago
Dulma Churchill dba4140a7b [pulse] Adding null case to malloc's model
5 years ago
Sungkeun Cho cfe4c62e47 [inferbo] Limit depth of abstract location
5 years ago
Sungkeun Cho d2276c4975 [cost] Re-locate where to print issue with heuristics
5 years ago
Jules Villard 66ed16fd27 [clang] skip initialisation of large compound values
5 years ago
Dulma Churchill 271946a178 [pulse] Model release functions from Core Graphics and Core Foundation
5 years ago
Dulma Churchill 6f2b52fcc7 [pulse] Model Core Graphics create and copy functions
5 years ago
Ezgi Çiçek cec8cbeff2 [pre-analysis] Add models for `no_return` and handle throw-catch better
5 years ago
Sungkeun Cho 534149ff52 [cost] Find method of interface or abstract class
5 years ago
Dulma Churchill 902514dccd [pulse] Add unreachable point to the trace of memory leaks
5 years ago
Ezgi Çiçek d84fea52ae [pre-analysis] Shortcut no-return nodes to exit-node
5 years ago
Jules Villard f867e14b89 [python] migrate 2.7 to 3
5 years ago
Jules Villard d4f1b83a75 [python] migrate `infer explore --html` to OCaml, missing GitHub integration
5 years ago
Nikos Gorogiannis 76f80f114c [racerd] equip interface call records with address
5 years ago
Daiva Naudziuniene 526af36061 [uninit] Use type information from locals if argument has type void* in function signature
5 years ago
Sungkeun Cho f343be40f4 [cost] Add procedure name to trace
5 years ago
Ezgi Çiçek d97e1c8fdb [pulse][impurity] Add model for System.exit()
5 years ago
Sungkeun Cho a1a3c55186 [inferbo] Fix a bug in interval prune
5 years ago
Jules Villard c73feb82b4 [CLI] kill --pmd-xml option
5 years ago
Mitya Lyubarskiy 5df3801426 [nullsafe] Recommend a safe alternative for `View.findViewById()`
5 years ago
Ezgi Çiçek f7baf845fd [pulse] Fix printing order in contradiction for CItv and add tests
5 years ago
Sungkeun Cho 88474fd307 [inferbo] Add FN test due to invalid pruning of array list length
5 years ago
Nikos Gorogiannis 2b54f20733 [racerd] kill lock map
5 years ago
Ezgi Çiçek b64ed0bbf2 [impurity] Consider functions with empty pulse summary as impure
5 years ago
Mitya Lyubarskiy a3d5b4c700 [nullsafe][easy] Fix test
5 years ago
Artem Pianykh d8b0c99fa1 [nullsafe] Repro for wrong nullability of $bcvarN in try-with-resource
5 years ago
Mitya Lyubarskiy 8dae30a6bf [nullsafe] Refine definition of meta issues
5 years ago
Ezgi Çiçek cf50a387e5 [cost] add a mode to compute exclusive cost
5 years ago
Mitya Lyubarskiy c7d2f281f7 [nullsafe] Don't ever issue violation when dereferencing params.
5 years ago
Ezgi Çiçek cdb9281f1f [java][tests] Fix/suppress unchecked warnings
5 years ago
Dulma Churchill e99295e0e9 [pulse] Memory leak check
5 years ago
Ezgi Çiçek 7ca2fcc948 [pulse][purity] Add more naive models for Java
5 years ago
Mitya Lyubarskiy 2af561c593 [nullsafe] Decouple nullsafe mode from issue calculation, Inheritance Rule
5 years ago
Mitya Lyubarskiy 371eed9309 [nullsafe] Decouple nullsafe mode from issue calculation, DereferenceRule
5 years ago
Mitya Lyubarskiy 0bf5298c21 [nullsafe] Decouple nullsafe mode from issue calculation, AssignmentRule
5 years ago
Ezgi Çiçek cc815f5d20 [pulse] Only propagate existing WrittenTo attributes at function calls
5 years ago
Nikos Gorogiannis 86ab2d7d10 [topl] disable skip tests
5 years ago
Ezgi Çiçek b372befee4 [pulse] Add more naive Java models
5 years ago
Mitya Lyubarskiy f291f93248 [nullsafe] Implement class-level analysis and calculate meta-issues.
5 years ago
Sungkeun Cho b14333485c [cost] Update cost results
5 years ago
Sungkeun Cho be1e72cd1a [cost] Update test results
5 years ago
Ezgi Çiçek 04543938ab [impurity][hoisting] Add more tests
5 years ago
Nikos Gorogiannis d1e0375f4a [racerd] stop reporting on locals
5 years ago
Ezgi Çiçek 2bd39abefc [purity] Add model for Object.clone()
5 years ago
Nikos Gorogiannis 8a99f4b3bb [java] bug fix for type translation
5 years ago
Sungkeun Cho bc0c060bd4 [cost] Add a test (recursive dependency in class initializers)
5 years ago
Sungkeun Cho 545e6c8802 [inferbo] Add models of String.lastIndexOf and String.replace
5 years ago
Ezgi Çiçek a4c3925d9a [impurity] Track unique accesses
5 years ago
Ezgi Çiçek e3c89b1f10 [impurity] Fix include_value_history
5 years ago
Sungkeun Cho e35b26ae8e [inferbo] Get static final array values from class initializer
5 years ago
Artem Pianykh 786a72574f [build] Replace custom make cmds w/ dune promotion and byte_complete
5 years ago
Artem Pianykh fcce3c0659 [RFC][build] Use dune environments and profiles instead of contexts
5 years ago
Jules Villard e5b50d7d46 [quandaryBO] delete :(
5 years ago
Jules Villard 339ebe74ec [config] sensible default for --from-json-report
5 years ago
Dulma Churchill 2f90b05c2a [pulse] Add model for malloc
5 years ago
Ezgi Çiçek b90d7c42d3 [impurity] Do not add value history in impurity traces
5 years ago
Sungkeun Cho 117ab1164b [cost] Revert "Use type of Provider.get"
5 years ago
Sungkeun Cho 020cd199b5 [cost] Use type of Provider.get
5 years ago
Ezgi Çiçek c6237f5f9f [pulse] Add model for Object.clone()
5 years ago
Mitya Lyubarskiy 087a5a9787 [nullsafe] A dedicated test for testing field nullability memoization
5 years ago
Ezgi Çiçek 5f8e6233bb [pulse] Take into account skipped calls for state comparison
5 years ago
Mitya Lyubarskiy bd83813b3e [tech debt] Remove experimental nullability checkers
5 years ago
Nikos Gorogiannis fa4f9ef5f3 [tests] remove genrule test
5 years ago
Ezgi Çiçek bb5cdf9b97 [pulse] Add FN tests to impurity
5 years ago
Radu Grigore 0fc2769a65 [topl] A test for comparing arguments.
5 years ago
Dulma Churchill 634a42b619 [SelfInBlock] Take ns_noescape into account when reporting captured strong self.
5 years ago
Artem Pianykh 19093a2fa0 @update-submodule: facebook-clang-plugins Fix handling of non-literal `offsetof` expressions
5 years ago
Ezgi Çiçek 7deaae6598 [cost] Rename ZERO_* to *_UNREACHABLE_AT_EXIT
5 years ago
Mitya Lyubarskiy e1f4da320f [nullsafe] Consistent severity for nullsafe issues.
5 years ago
Ezgi Çiçek ebbc0fc7f2 [cost] Add traces for ZERO_* issues
5 years ago
Mitya Lyubarskiy 335a9efec7 [nullsafe] Trust explicitly annotated third party in all modes
5 years ago
Mitya Lyubarskiy f136bf21b5 [nullsafe][refactor][messaging] Refactor code + more consistent messaging
5 years ago
Sungkeun Cho 9a38987929 [cost] Do not report `EXPENSIVE_EXECUTION_TIME` when a cost of a node is top
5 years ago
Sungkeun Cho 85812abf71 [cost] Report the biggest cost in function
5 years ago
Ezgi Çiçek 43350f7c6b [cost] Add Java tests for ZERO_EXECUTION_TIME
5 years ago
Sungkeun Cho 0d046c8e7c [inferbo] Ignore float/double constant
5 years ago
Radu Grigore 5a095ca411 [topl] Switched to low-level syntax.
5 years ago
Radu Grigore 2888a90e2a [topl] Added tests for inefficient iteration
5 years ago
Sungkeun Cho 7a0be26596 [inferbo] Revise semantics of `values` function of Java enum class
5 years ago
Ezgi Çiçek cbd506011f [cost] Add tests for ZERO_EXECUTION_COST
5 years ago
Sungkeun Cho ef74f3f18d [cost] Revise message of Provider.get.modeled
5 years ago
Artem Pianykh 3859f178fa [nullsafe] Properly handle method calls on trusted classes under NullsafeLocal mode
5 years ago
Mitya Lyubarskiy f57dc78679 [nullsafe] Error reporting: recommend non-nullable alternarives for known nullable methods
5 years ago
Sungkeun Cho 100807ed2a [inferbo] Do not prune values with bottom
5 years ago
Artem Pianykh bcaa0e0dfe [nullsafe] Add tests on interop between third-party vs other in various modes
5 years ago
Artem Pianykh 9697c6e294 [nullsafe] Fix treatment of enum values wrt nullsafe mode
5 years ago
Artem Pianykh 2572819a5b [nullsafe] Directly model nullability of values from third-party code
5 years ago
Artem Pianykh b50f13eb18 [nullsafe] Support Nullsafe(Local, trust=all/none) mode
5 years ago
Mitya Lyubarskiy 8e1e15a8c4 [nullsafe] Fix genrule test
5 years ago
Mitya Lyubarskiy c38c2cf1bf [nullsafe][EASY] Add period at the end of dereference message when origin is present
5 years ago
Nikos Gorogiannis 281385203f [biabduction] kill guarded by check
5 years ago
Nikos Gorogiannis c10c7a39a6 [java] use a package/classname record for java classes instead of string
5 years ago
David Pichardie 64289cde4d [Java frontend]Javalib's lambda rewritting is making his way through Infer
5 years ago
Sungkeun Cho 175af05b8b [inferbo] Add model of vector resize
5 years ago
Nikos Gorogiannis ace23a1670 [java] use plain strings instead of mangled for JavaClassName
5 years ago
Sungkeun Cho 9562ab4d68 [inferbo] Suppress integer overflow in hash functions
5 years ago
Ezgi Çiçek ceb50cdf0e [cost] Adjust cold-start loom query
5 years ago
Nikos Gorogiannis c51db130fc [driver] don't clear MAKEFLAGS
5 years ago
Sungkeun Cho 4311371d81 [inferbo] Revise split model semantics
5 years ago
Dulma Churchill 58913e6a1c [Infer] Dedup reports of weakSelf in Noescape block
5 years ago
Dulma Churchill 00c52a52c2 [Infer] Dedup the reporting of Captured StrongSelf
5 years ago
Dulma Churchill f6341977fb [Infer] Dedup reports of strongSelf Not checked
5 years ago
Sungkeun Cho 22601846b2 [inferbo] Add model of emplace_back
5 years ago
Radu Grigore f8511c2358 [topl] Added another small test, for BAOS.
5 years ago
Sungkeun Cho b9db4fa4b9 [inferbo] Add model for C++ exception throw
5 years ago
Sungkeun Cho 412e8a977c [inferbo] Add model for std::shared_ptr<>::operator->
5 years ago
David Pichardie 2cccf8adce Invokedynamic removing by class file rewriting
5 years ago
Sungkeun Cho ca04002f6c [inferbo] Revise finding constructors on std::make_shared
5 years ago
Sungkeun Cho 92e7aeeb3e [infer] Fix clang frontend for switch statment
5 years ago
Dulma Churchill a864823f38 [SelfInBlock] Fix a bug in exps_of_instr where some expressions were missed.
5 years ago
Mitya Lyubarskiy 597c730474 [nullsafe] Treat parameter in overrides of `equals(Object param)` as nullable.
5 years ago
Mitya Lyubarskiy ae907d80cf [nullsafe] Model Object.equals() and descentands as FalseOnNull
5 years ago
Mitya Lyubarskiy 79d088e676 [nullsafe][EASY] functions that are modelled as @TrueOnNull should be also modelled for nullability.
5 years ago
Mitya Lyubarskiy 067a545c0e [nullsafe] Fix a bug and specify behavior for multiparam version for @TrueOnNull and @FalseOnNull annotations
5 years ago
Mitya Lyubarskiy a55179ba80 [nullsafe][refactoring] Simplify call to condition_redundant checks.
5 years ago
Dulma Churchill 7631d34f43 [SelfInBlock] Refactor the reporting to run only once over the domain
5 years ago
Nikos Gorogiannis a6da208e9d [starvation] use access expressions instead of access paths
5 years ago
Ezgi Çiçek b5562f124a [cost] Disable reporting of allocation costs
5 years ago
Sungkeun Cho f94990a0c2 [inferbo] Add taint domain
5 years ago
Ezgi Çiçek 239a5302f6 [pulse] Add more models for Java
5 years ago
Mitya Lyubarskiy 43e857ccb3 [nullsafe][easy] Break CustomAnnotations.java into two subtests
5 years ago
Sungkeun Cho 4a08151851 [cost] Non-symbolic value for unknown external function call
5 years ago
Ezgi Çiçek 040442c93b [pulse] Don't write through pointer arguments in Java
5 years ago
Nikos Gorogiannis 777eb33870 [racerd] use concurrent context for reporting in C++/ObjC
5 years ago
Nikos Gorogiannis 9648632bd5 [clang] Revert "Translate SynchronizedStmt"
5 years ago
Nikos Gorogiannis 1a0c73ab99 [starvation] decouple AbstractAddress from starvation
5 years ago
Ezgi Çiçek d84a9e0c1c [inferbo][cost] Generalize String models and add models for StringBuilder
5 years ago
Ezgi Çiçek 6a38121b8a [inferbo] Add model for String.substring
5 years ago
Ezgi Çiçek c51f47b05e [inferbo] Revise Java's String constructor models
5 years ago
Sungkeun Cho 7f25684491 [inferbo] Check nested global array access
5 years ago
Sungkeun Cho f8ee0a14aa [inferbo] Give semantics of std::make_shared as simple constructor
5 years ago
Dulma Churchill 63428e7b69 [SelfInBlock] Check for when weakSelf is used in a no escaping block
5 years ago
Ezgi Çiçek 9f4098ea1a [cost] Revise substring's cost model
5 years ago
Nikos Gorogiannis 21cff2d659 [starvation] substitute arguments over parameters in locks
5 years ago
Nikos Gorogiannis 07e91cabf7 [starvation] no inner class normalisation for java
5 years ago
Dulma Churchill 9dfd1943e6 [selfInBlock] Remove false positive from mix self weakSelf
5 years ago
Artem Pianykh 237aac4cd0 [nullsafe] Introduce @Nullsafe annotation
5 years ago
Ezgi Çiçek a0fd5a0e6a [pulse] Refactor attributes into domain
5 years ago
Ezgi Çiçek 7cb11b587a [inferbo] Revise String.split's bounds
5 years ago
Jules Villard b948c3e182 [topl] delete unused test file
5 years ago
Dulma Churchill b1eb969635 [selfInBlock] Add a new check when strongSelf is captured in a (sub)block.
5 years ago
Mitya Lyubarskiy 19bc35d836 [nullsafe] Make condition redundant slightly less aggressive
5 years ago
Dulma Churchill edc47d4a96 [selfInBlock] Handle conditionals as well as ifs
5 years ago
Dulma Churchill 430727519b [clang frontend] Translate BinaryOperators in ifs equally whether they are part of a ExprWithCleanups or not
5 years ago
Nikos Gorogiannis 5a1641d319 [racerd] kill non-deterministic test
5 years ago
Dulma Churchill 66c6a73cc6 [SelfInBlock] Report strongSelf Not Checked when strongSelf passed to a function as argument
5 years ago
Dulma Churchill 05bd4185e0 [SelfInBlock] Reporting strongSelf Not Checked only in field access
5 years ago
Radu Grigore fe736f4151 [topl] Added two (test) properties for ServletResponse.
5 years ago
Radu Grigore 6e6a33cd01 [topl] Added a test for ByteArrayOutputStream.
5 years ago
Artem Pianykh fe1fd57593 [nullsafe] Add a test for subclass annotation with multiple interfaces
5 years ago
Mitya Lyubarskiy cf26c024bf [nullsafe] Specific error message for overriding Object.equals()
5 years ago
Mitya Lyubarskiy d641c9ac9a [nullsafe] Better error message for inheritance rule, part 2
5 years ago
Sungkeun Cho c93c3163d6 [inferbo] Get global constant array values from initializers
5 years ago
Nikos Gorogiannis 4e45a62d3c [starvation] fix inner class tests
5 years ago
Nikos Gorogiannis 279f1c85ce [racerd] abbreviate procnames in report text
5 years ago
Ezgi Çiçek dd59a141f0 [impurity] Rely on set of skipped functions to determine impurity
5 years ago
Mitya Lyubarskiy eddf2ef180 [nullsafe] Better error message for inheritance rule
5 years ago
Sungkeun Cho 67a4b73cd0 [inferbo] Revise bit-and semantics on pointer value
5 years ago
Jules Villard 3bf771bff4 [pulse] add model for std::vector<>::at()
5 years ago
Nikos Gorogiannis 45ada8703e [starvation] allow aliasing of parameters across threads
5 years ago
Sungkeun Cho 97ba078d55 [inferbo] Revise getting size of array block
5 years ago
Radu Grigore bfdb379fe3 [topl] Added a test, for intraprocedural reasoning.
5 years ago
Mitya Lyubarskiy 715227d126 [nullsafe] Show Strict mode violations as errors: part 3
5 years ago
Mitya Lyubarskiy 6417b19ace [nullsafe] Show violations of @NullsafeStrict mode as errors: Part 2
5 years ago
Jules Villard 9199aa4b24 [topl] split tests
5 years ago
Mitya Lyubarskiy be05c8a7dd [nullsafe] Show Strict mode violations as errors: part 1
5 years ago
Artem Pianykh 592c746e6b [java] Make override resolution consider parameter types
5 years ago
Artem Pianykh 774223165c [tests] Use git diff instead of diff to colorize `make test` output
5 years ago
Artem Pianykh 9aebdd242f [tests] Don't fail duplicates check when running java tests
5 years ago
Sungkeun Cho 1305db390a [infer] Load global array constant
5 years ago
Sungkeun Cho 9b1001eda2 [litho] Make analysis null return aware
5 years ago
Sungkeun Cho 16f18792f1 [infer] Capture global initializer ondemand
5 years ago
Ezgi Çiçek 6637557781 [inferbo] Add models for Preconditions.checkNotNull and Preconditions.checkState
5 years ago
Mitya Lyubarskiy f77c90a1f1 [nullsafe] Add a test for `switch` case
5 years ago
Kfir Schindelhaim 16391f6d63 Update CK fixtures
5 years ago
Kfir Schindelhaim 33b3ea8b10 Update CK linter for subclasses
5 years ago
Ezgi Çiçek 6f64131ae6 [pulse] Do not havoc arguments of unknown functions that are pointers to const
5 years ago
Nikos Gorogiannis ca1ba2511b [starvation] tests for a multi-file C++ deadlock
5 years ago
Sungkeun Cho 0b7e479b34 [cost] Use actual call path when printing unknown function calls
5 years ago
Ezgi Çiçek 4cd595aebd [pulse] Add naive model for array length in Java
5 years ago
Artem Pianykh 59c6967e64 [nullsafe] Redo InconsistentSubclassAnnotation tests
5 years ago
Ezgi Çiçek 598a4d5a55 [pulse] Ignore Exceptional CF
5 years ago
Jules Villard cc0a4e807a [buck] no more tests for the deprecated java integration
5 years ago
Jules Villard e4dd2bbd8c [buck] one buck mode datatype to rule them all
5 years ago
Ezgi Çiçek cb9bb2a73c [pulse] Add simplified models for Java iterators and `Object.equals`
5 years ago