28 Commits (3699b9c0dcf788b1f62475c186cd7eb9e5776f69)

Author SHA1 Message Date
Sam Blackshear 3a7767213c adding some functionality to JSONOutputUtils
9 years ago
Sam Blackshear 258e765d4e adding integrity source/sink annotations
9 years ago
Sam Blackshear c7c1588830 getting rid of string parameter on privacy annotations
9 years ago
Sam Blackshear fa0184be87 adding string param to PrivacySink and PrivacySource annots
9 years ago
Sam Blackshear 607621920f PrivacySource and PrivacySink annotations
9 years ago
Sam Blackshear 15aaa39fea allowing class-level Expensive and PerformanceCritical annotations
9 years ago
Nick Firmani 1c819770e2 Add SuppressViewNullability annotation
9 years ago
jrm 81a59515e4 Simplify the code to collect the list of @SuppressWarnings annotations
9 years ago
jrm 697778cc3b Add the annotation @IgnoreAllocations to stop tracking allocations whenever useless
9 years ago
jrm c6d8cdc8ee Add support for @NoAllocation in the performance critical checker
9 years ago
Tony Cosentini ac5f092653 Target JDK 1.7 for annotations and processor jar for Android.
9 years ago
Jeremy Dubreil 8fcd094c64 Fix NPE in the annotation processor for SuppressWarnings
9 years ago
Sam Blackshear e27959f655 adding annotation processor to build class -> source map, with proper deps this time
9 years ago
Dulma Rodriguez d5baa2a1de Revert "[java] adding annotation processor to build class -> source map"
9 years ago
Sam Blackshear 8f8d398a9a adding annotation processor to build class -> source map
9 years ago
Sam Blackshear 022161cae2 refactoring SuppressWarnings processor to make it easy to add class -> source map processor
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
Jules Villard dbfa1f7c69 migrate infer/annotations/Makefile
9 years ago
jrm f5ddb983fe Initial version of the @Expensive checker
9 years ago
jrm 4f7a56d470 Move the annotation processor into lib
9 years ago
Cristiano Calcagno f1c5cb337e [Eradicate] Add support for modeling boolean functions that check if the argument is null.
9 years ago
Sam Blackshear 7911e7e54d [Infer][filtering] Implementing SuppressWarnings filtering and adding tests
9 years ago
Jules Villard f7095d794c fix make -C infer/annotations clean clean
9 years ago
jrm 1a615a467b [infer][java] add support for @SuppressWarnings, step 1
9 years ago
Sam Blackshear 2f25d6344c [Infer][annotations] Adding basic annotation processor for SuppressWarnings
9 years ago
Cristiano Calcagno 3e199467f4 Complete copyright messages.
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago