14 Commits (7f72397999c1d95c7cba273731b9705b27266981)

Author SHA1 Message Date
Jules Villard 34aa9c2949 [infer][java] handle int boxing in HashMap model
10 years ago
Jules Villard 904ebb0154 [infer][java] model for Integer
10 years ago
Dulma Rodriguez 751288e5eb [clang] Remove setjmp that is causing problems in the models in linux.
10 years ago
Sam Blackshear f6784e3796 [infer][models] Fixing InferAssume
10 years ago
Dulma Rodriguez 695c87377e [clang] Fixing the model for fgetpos so that it works in linux
10 years ago
jrm 11712caea9 [infer][java] add models for some common classes implementing Closeable without being resources
10 years ago
jrm 224f3116ce [infer][java] remove no longer required fields in the models for Java
10 years ago
jrm 762f572506 [infer][java] attach the file attribute of Cursor to the object itself, not a field.
10 years ago
jrm 5e9f88eaeb [infer][Java] more consistent names for env variables
10 years ago
jrm 6a36b9f70c [infer][Java] change the models to add the file attribute to this instead of a field
10 years ago
Dino Distefano 404444d182 Fixed models for FILE C functions.
10 years ago
jrm 2bce7c6c3d [infer][Java] rename the builtin `InferBuiltins.__infer_assume` into `InferBuiltins.assume`
10 years ago
Dino Distefano 3ce393f511 Fixed model for getc and fgetc
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago