Dulma Rodriguez
bbd09d39dd
Remove modelling of setObject:forKeyedSubscript: of NSMutableDictionary to mean a crash when object is nil
...
Reviewed By: akotulski
Differential Revision: D3138627
fb-gh-sync-id: 087f815
fbshipit-source-id: 087f815
9 years ago
Josh Berdine
97cb854e5c
Model NSArray::arrayWithObject
...
Summary:public
This models [NSArray arrayWithObject:o] to require [o] to be non-nil,
reporting NULL_DEREFERENCE otherwise.
Reviewed By: jvillard
Differential Revision: D2968563
fb-gh-sync-id: 04ae123
shipit-source-id: 04ae123
9 years ago
Andrzej Kotulski
4584f7f6fc
[clang-format] Reformat all c/cpp/objc sources with clang-format
...
Reviewed By: jul
Differential Revision: https://phabricator.fb.com/D2953843
9 years ago
Dino Distefano
e0fe2af712
Added a two new attributes: observer/unsubscribed_observer
...
Reviewed By: dulmarod
Differential Revision: D2932088
fb-gh-sync-id: 4c998cb
shipit-source-id: 4c998cb
9 years ago
Josh Berdine
b93bbfdd39
Fix recursive make invocations building models
...
Summary:
public
When building models, make was invoked explicitly with `make -j` rather
than with `$(MAKE)`. This prevented controlling parallelism from the
top-level make invocation.
Reviewed By: akotulski
Differential Revision: D2786812
fb-gh-sync-id: 7f6d58c
9 years ago
Dulma Rodriguez
193fb8799c
Removing issues in the models that cause Infer to flag warnings
...
Summary: public The properties in those models needed to be made nonatomic.
Reviewed By: akotulski
Differential Revision: D2773650
fb-gh-sync-id: 903e7df
9 years ago
Josh Berdine
63b57790f9
Fix indentation of multiline copyright comment
...
Summary:
public
Lines other than the first of multi-line comments in non-ocaml files
were flush right instead of aligned.
Reviewed By: jvillard
Differential Revision: D2739752
fb-gh-sync-id: c85f56e
9 years ago
Jules Villard
a31d45b4f7
do not use ocamlbuild -clean, do not print rm commands
...
Reviewed By: jberdine
Differential Revision: D2749088
fb-gh-sync-id: 2a24d5e
9 years ago
Jules Villard
c95a142d76
remove GNU-specific install flags
...
Reviewed By: dulmarod
Differential Revision: D2718057
fb-gh-sync-id: 70766d7
9 years ago
Jules Villard
7f1b494001
migrate infer/models/Makefile
...
Summary:
public
Use autoconf's detection of xcode-select to decide whether to build the ObjC
models or not.
Reviewed By: jeremydubreil
Differential Revision: D2703864
fb-gh-sync-id: e6dadca
9 years ago
Dino Distefano
761e4acc08
Adding models of CADisplayLink for catching retain cycles.
...
Reviewed By: dulmarod
Differential Revision: D2668570
fb-gh-sync-id: 79063e4
9 years ago
Dino Distefano
e6625c9e37
Adding models for NSTimer and NSRunLoop
...
Reviewed By: @dulmarod
Differential Revision: D2502606
fb-gh-sync-id: 9c26103
9 years ago
martinoluca
721cc1957c
Specify to clang to use x86_64 to build models and tests for ObjectiveCxx
9 years ago
Jules Villard
ca613a77ff
[copyrightor] format start and end of copyright comments
...
Summary:
The script now reformats the start and end of comments if necessary.
9 years ago
Cristiano Calcagno
3e199467f4
Complete copyright messages.
9 years ago
Dulma Rodriguez
ea3e614cce
[clang] Adding support for NSMakeCollectable and CFMakeCollectable
...
Summary:
@public
Adding support for NSMakeCollectable and CFMakeCollectable.
Fixes issue https://github.com/facebook/infer/issues/116
Test Plan:
Tested on the example of the issue https://github.com/facebook/infer/issues/116
and we don't get the leak there anymore.
10 years ago
jrm
5e9f88eaeb
[infer][Java] more consistent names for env variables
10 years ago
Open Source Synchronization
b8982270f2
initial synchronization
10 years ago