59 Commits (88b74d524d50df120edb1b00d073eff74d9509a1)

Author	SHA1	Message	Date
Sam Blackshear	1baaa96fcc	[Infer][C frontend] Fixing double translation of builtin args ... Summary: @publicThe first argument of builtin calls in C gets translated twice, which is bad if the argument is a side-effecting expression like a function call. Test Plan: Attached test previously reported a memory leak because the translation introduces an extra call to malloc(), now reports nothing.	10 years ago
Dulma Rodriguez	510fc4ed25	[clang] Sorting the fields in structs and classes. Was needed in the backend and forgotten. ... Summary: @public Sorting the fields in structs and classes. Was needed in the backend and forgotten. Fixes the github issue https://github.com/facebook/infer/issues/90. Test Plan: Added a new test that shows that we now get a spec for the example from the github issue.	10 years ago
Sam Blackshear	d7a4474d90	[Infer][angelic] Adding angelic abduction on actuals passed by reference	10 years ago
jrm	5e9f88eaeb	[infer][Java] more consistent names for env variables	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
jrm	aa7bf8e69b	[infer] fix inconsistencies between the errors that are saved in the generated reports and what is saved in standard output	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago