Commit Graph

10 Commits (cf9c64acb3d281ab9dd73e9c96cf19a576eb7dd7)

Author SHA1 Message Date
Jules Villard ca613a77ff [copyrightor] format start and end of copyright comments 10 years ago
Jules Villard 768a850c58 [infer][clang] fix model of sockets 10 years ago
Cristiano Calcagno 3e199467f4 Complete copyright messages. 10 years ago
Sam Blackshear 1baaa96fcc [Infer][C frontend] Fixing double translation of builtin args 10 years ago
Dulma Rodriguez 751288e5eb [clang] Remove setjmp that is causing problems in the models in linux. 10 years ago
Dulma Rodriguez 695c87377e [clang] Fixing the model for fgetpos so that it works in linux 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
Dino Distefano 3ce393f511 Fixed model for getc and fgetc 10 years ago
Open Source Synchronization b8982270f2 initial synchronization 10 years ago