8583 Commits (cf322a4e843c3e471a80ad8d5789102f4555a3ce)
 

Author SHA1 Message Date
Jules Villard cfa81d168d [pulse] check formula unsat more often
4 years ago
Jules Villard f1e9e28f73 [pudge] delete
4 years ago
Jules Villard 5a39c158c5 [pulse] arithmetic domain: take 4!
4 years ago
Artem Pianykh e4a7d1f19d [nullsafe] Add tests around support for Java Lambdas
4 years ago
Artem Pianykh 570191741a [java][tests] Add kotlin-annotatins to classpath to fix warnings
4 years ago
Mitya Lyubarskiy 3fa8c56ce2 [nullsafe][refactor] Convert models.ml to Procname.Java.t
4 years ago
Mitya Lyubarskiy 8d4e9bf26e [nullsafe] Add "Fragment.onViewCreated()" to a list of known initializers
4 years ago
Sungkeun Cho 6d9a620aa1 [cost] Enable purity by default in cost
4 years ago
Ezgi Çiçek fef89019b0 [cost] Enable inferbo issues for java tests
4 years ago
Sungkeun Cho 761d2c56af [cost] Separate purity analysis and reporting
4 years ago
Ezgi Çiçek dc0d761929 [nullsafe] Fix unused sig
4 years ago
Ezgi Çiçek e6211679a0 [cost][loop-invariance] Do not invalidate pure functions
4 years ago
Nikos Gorogiannis e606b0e4fe [sqlite] always enable the write daemon
4 years ago
Mitya Lyubarskiy 1e9f5f1bd3 [nullsafe] Convert InheritanceRule to Procname.Java.t
4 years ago
Mitya Lyubarskiy 94f7d6aeeb [nullsafe][refactor] Migrate TypeOrigin.t to Procname.Java.t
4 years ago
Mitya Lyubarskiy 4bc4376c85 [nullsafe][refactor] Migrate parts of Nullsafe to Procname.Java.t
4 years ago
Mitya Lyubarskiy d4bea60440 [nullsafe][refactor] Migrate DereferenceRule to Procname.Java.t
4 years ago
Sungkeun Cho 80c31ab8da [cost] Add a FP test due to imprecise loop invariant
4 years ago
Daiva Naudziuniene 35de604422 [frontend] Record attribute unused in local variable data
4 years ago
Mitya Lyubarskiy 59592a60e4 [nullsafe][refactor] AnnotatedSignature distincs between first- and third-party
4 years ago
Daiva Naudziuniene c0152f2278 [frontend] Remove duplicate variable declaration
4 years ago
Artem Pianykh 5bd78660ea [nullsafe] Suppress _some_ errors related to synthetic/autogenerated code
4 years ago
Nikos Gorogiannis cf29bc7aa2 [java][procname] params are Typ.t
4 years ago
Nikos Gorogiannis d718c04816 [java][procname] enforce types for java
4 years ago
Nikos Gorogiannis 3ddf77f0f1 [java] make return type in procname a Typ.t
4 years ago
Sungkeun Cho 6c035e3988 [infer] Add max-jobs option
4 years ago
Mitya Lyubarskiy 014f330037 [nullsafe][refactor] Introduce ThirdPartyMethod.t
4 years ago
Nikos Gorogiannis fe617afa49 [specs] move specs file functionality into summary
4 years ago
Nikos Gorogiannis 0475e79d0e [buck-java-flavor] filter out targets with no java sources
4 years ago
Nikos Gorogiannis 697f9c0a47 [buck-java-flavor] integrate with buck using java flavor
4 years ago
Sungkeun Cho 270918fea7 [cost] Remove dead field Struct.subs
4 years ago
Mitya Lyubarskiy 3573e0d202 [nullsafe][refactor] Make DereferenceViolation depend on InferredNullability instead of Nullability
4 years ago
Mitya Lyubarskiy 81951edf55 [nullsafe][refactor] Make AssignmentViolation depend on AnnotatedNullability and InferredNullability instead of Nullability
4 years ago
Qianyi Shu b66b3d3ea5 [cost] add inferbo model for init function of NSString and NSArray
4 years ago
Qianyi Shu d087de8ad6 [cost] adapt NSCollection to behave like Collection model for java
4 years ago
Sungkeun Cho 161b3484f9 [cost] Revert subclass lookup heuristics
4 years ago
Ezgi Çiçek 19799336d4 [inferbo] Add naive models for Java's Buffer
4 years ago
Ezgi Çiçek 745c6577d8 [inferbo] Add Typ Models for Map
4 years ago
Qianyi Shu 3d561ca1db [cost] add alloc for NSObject and NSString.init as an example function using alloc
4 years ago
Sungkeun Cho 54c89408c2 [frontend] Fix translation of for-in block in objc
4 years ago
Artem Pianykh ea8f9c9e91 [java][frontend] Skip concrete method capture in Kotlin classes
4 years ago
Mitya Lyubarskiy 72d45672d8 [nullsafe] Add a test for @SuppressFieldNotInitialized
4 years ago
Ezgi Çiçek 774f972eb7 [inferbo] revise NSArray alloc and init model
4 years ago
Jules Villard c7305245c5 [istd][minor] no need to name ~fold in fold_of_pervasives_map_fold
4 years ago
Ezgi Çiçek d719a1e176 [inferbo] Move model out of Collection
4 years ago
Artem Pianykh 089589d3da [nullsafe] Handle intermediate typecasts in assignment expressions
4 years ago
Artem Pianykh 07887ad30f [nullsafe] Add FP tests for typecasts and generics use
4 years ago
Ezgi Çiçek aa2f420ac8 [inferbo][cost] Check supertype in ObjC models
4 years ago
Sungkeun Cho 0012b1edcc [specs] Add an option to shard spec files
4 years ago
Ezgi Çiçek 444ccc4940 Fix leftover NeverJoin
4 years ago