infer_clone

Commit Graph

Author	SHA1	Message	Date
Daiva Naudziuniene	5898417fdd	[frontend] Getting appropriate type information for exp in sizeof exp Summary: : Previously, we did not have information about type of `exp` in `sizeof exp` from clang plugin which led to `Bad_footprint` errors. Infer did not understand `sizeof p` in `struct Person p = malloc(sizeof *p);` and used some default type. This resulted in `Bad_footprint` error when trying to assign to a field `age` in `p->age=42;`. This diff uses the version of clang plugin which exports the appropriate type information. update-submodule: facebook-clang-plugins Reviewed By: dulmarod Differential Revision: D7179870 fbshipit-source-id: 4104f10	7 years ago
Mehdi Bouaziz	d1bc510cd5	[biabduction][test] Repro of issue 680 Reviewed By: jvillard Differential Revision: D5347155 fbshipit-source-id: 99b9cd8	8 years ago
Jules Villard	83f236451d	[c] setlocale(3) accepts NULL as second argument Summary: fixes #498 Reviewed By: akotulski Differential Revision: D4183433 fbshipit-source-id: e40fa55	8 years ago
Cristiano Calcagno	c613820a98	Convert c tests to the new testing format Reviewed By: jberdine, sblackshear Differential Revision: D3827953 fbshipit-source-id: 53a47df	8 years ago
Jules Villard	b95b71fa85	add option to assume that malloc never returns null Summary: Call infer with `--unsafe-malloc` or set `unsafe-malloc: true,` in .inferconfig to have infer assume that `malloc()` never returns null. closes #389 Reviewed By: jberdine Differential Revision: D3522169 fbshipit-source-id: 6b88a16	9 years ago
Dino Distefano	daf043bff1	Fixing shortcircuit in binary operator. Reviewed By: dulmarod Differential Revision: D3340811 fbshipit-source-id: 70fbbcf	9 years ago
Dulma Rodriguez	c9e5d27e0d	Translate GCCAsmStmt Reviewed By: akotulski, sblackshear Differential Revision: D3006192 fb-gh-sync-id: a81493b shipit-source-id: a81493b	9 years ago
Dino Distefano	b7d6f2a3bd	Fixed problem with null pointer dereference in c library models. Reviewed By: cristianoc Differential Revision: D2954298 fb-gh-sync-id: 24fddaf shipit-source-id: 24fddaf	9 years ago
Sam Blackshear	cd002e5c46	fixing angelic mode for struct values passed by reference Reviewed By: jberdine Differential Revision: D2914131 fb-gh-sync-id: 86602ad shipit-source-id: 86602ad	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
Sam Blackshear	5e9a21573b	preventing Bad_footprint when passing struct value by reference Reviewed By: jberdine Differential Revision: D2912475 fb-gh-sync-id: 1dd5442 shipit-source-id: 1dd5442	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	2367b1c9ff	cleanup two c tests that were causing clang warnings Summary: public This caused scary red output in buck. Reviewed By: akotulski Differential Revision: D2652135 fb-gh-sync-id: 52d6e7e	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.	10 years ago
Cristiano Calcagno	a87bedb5dd	[Bucketing] Promote NPEs originating from a call with a null parameter to bucket b1.	10 years ago
Sam Blackshear	d7a4474d90	[Infer][angelic] Adding angelic abduction on actuals passed by reference	10 years ago
Dino Distefano	404444d182	Fixed models for FILE C functions.	10 years ago
Dulma Rodriguez	34b911c935	[clang] Fixing the tests for the models of getc.	10 years ago
Dino Distefano	3ce393f511	Fixed model for getc and fgetc	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago

21 Commits (6cf7417e56c4985d2b729db95a3c707f3c83a118)