Commit Graph

67 Commits (241b4b04fadd40d0d95109621e8eb1c09a1d033c)

Author SHA1 Message Date
Jeremy Dubreil d47d977322 [infer][java] Do not use multicore when creating the models 8 years ago
Peter O'Hearn f2d86cb90c [GuardedBy] Model of trylock in ReentrantLock.java 8 years ago
Jules Villard 25759199cf [make] use install instead of cp when appropriate 8 years ago
Sam Blackshear 8784b9b946 [backend] fix cursor leak FPs 8 years ago
Josh Berdine a7c1105147 [config] Combine analyze_models into models_mode 8 years ago
Jeremy Dubreil 2e2e9c89d6 [infer][java] Removing the models for com.squareup.okhttp.internal.StrictLineReader 9 years ago
Jeremy Dubreil 168c613ac9 [infer][java] Separate the builtins from the other models for a better modularity 9 years ago
Lázaro Clapp Jiménez Labora 95a12d9706 model String.equals(...) as '==' 9 years ago
Jules Villard 447ef0e4ce fix sync mishaps 9 years ago
Peter O'Hearn 508d6a3ae7 optional model 9 years ago
Jeremy Dubreil 0a2c47cdd5 Unify the way objects of a given type are created in the models 9 years ago
Jeremy Dubreil a756b7bff2 models for Preconditions.checkArgument 9 years ago
Peter O'Hearn e7d36ed58a model of holdsLock 9 years ago
Jules Villard 533831a206 move all config variables to Makefile.config.in 9 years ago
Jules Villard 24cbba4355 Revert "[CSL] add model of locks inside the Object class" 9 years ago
Jules Villard bf7287e98b add model of locks inside the Object class 9 years ago
Sam Blackshear 83f511107b stop reporting handler leaks 9 years ago
Sam Blackshear f4335c7c4a Making BLog a privacy sink 9 years ago
Peter O'Hearn 50081c7ccb alloc/dealloc model for locks 9 years ago
jrm 4b6d754164 Some cleanup of the models where calls to instanceof are not necessary 9 years ago
jrm ad3e32d935 Fix resource leak false positive with the resource wrapper java.io.DataInputStream 9 years ago
Jules Villard f0512bcd91 create infer/bin/ symlinks from the makefile 9 years ago
Sam Blackshear 15f0c7e384 adding "kind" for taint attribute 9 years ago
jrm 38cb5b48ec Remove no longer useful model for java.lang.Thread 9 years ago
Peter O'Hearn 028ac24d46 Simple model for locks 9 years ago
Sam Blackshear 14e934205f implementing dynamic dispatch support for Java interfaces 9 years ago
jrm 51cd3ded47 make sure that the Infer out directory is empty before generating the models 9 years ago
Josh Berdine 63b57790f9 Fix indentation of multiline copyright comment 9 years ago
Jules Villard a31d45b4f7 do not use ocamlbuild -clean, do not print rm commands 9 years ago
Sam Blackshear 99f79587cd adding ContentValues as sink 9 years ago
jrm 5a218a6d02 treat guava preconditions checks as assume instead of exeption throwing assertions 9 years ago
Sam Blackshear 8e8772f1aa make tainting work properly for skip functions 9 years ago
Jules Villard c95a142d76 remove GNU-specific install flags 9 years ago
Jules Villard 7f1b494001 migrate infer/models/Makefile 9 years ago
Sam Blackshear dcdebbd811 creating a framework for adding src/sink models based on method names/signatures alone 9 years ago
Sam Blackshear 867e7804af implementing abstract methods to avoid false negatives due to dynamic dispatch issues 9 years ago
Sam Blackshear 8eb668f668 deleting string models/tests 9 years ago
Sam Blackshear c7c8d58334 fixing taint analysis so it doesn't prevent postcondition inference 9 years ago
Sam Blackshear 8e9ed5eb6b adding model for verifying sockets before reading from them 9 years ago
jrm 930eaba2d5 model Inflater and Deflater as resources 9 years ago
Dino Distefano 03b4c11c06 Improved error message for taint analysis 9 years ago
Josh Berdine 53a32848d5 Model and test FileChannel.tryLock throws 9 years ago
Josh Berdine bf408a1d03 Add models of FileChannel.tryLock methods. 9 years ago
Josh Berdine b77e24fa01 Model File.listFiles using undefined instead of allocation 9 years ago
Sam Blackshear 4fa4c9f0d6 Deleting models that specify a non-null return value 9 years ago
Josh Berdine f2ba1b1c76 Add model for java.io.File.listFiles 9 years ago
Cristiano Calcagno 9177ba8d20 Add model for FileChannel.lock() returning not null 9 years ago
Dino Distefano 00e97afdf8 First version of taint analysis. 9 years ago
jrm 0282060808 delete the deprecated script inferJ 10 years ago
Cristiano Calcagno 629b09307f [Models] Add model for System.getProperty for Infer and Eradicate 10 years ago