Commit Graph

2657 Commits (6e1b83a20422b0bd369129cf44d52cf4553c79eb)
 

Author SHA1 Message Date
Sam Blackshear 70df06a596 [thread-safety] don't consider VisibleForTesting methods as public 8 years ago
Sam Blackshear d0f4e8771b [cleanup] generalize PatternMatch.iter_overrides to override_exists 8 years ago
Sam Blackshear 50c73e517b [cleanup] adding Annotations.pname_has_return_annot function 8 years ago
Sam Blackshear cc8ffd9d1e [quandary] allow regexes in defining quandary sources/sinks in inferconfig 8 years ago
Sam Blackshear 3ee349ee23 [thread-safety] warn on unsafe accesses to lists 8 years ago
Sam Blackshear bcfcb5d405 [cleanup] restrict uses of annotated_signature to eradicate 8 years ago
Andrzej Kotulski b3e9eedd59 [clang frontend] Make DeclStmt return empty exps 8 years ago
Sam Blackshear 2351f767dc [cleanup] use pdesc_has_return_annot and friends instead of more cumbersome ways of looking up return annots 8 years ago
Sam Blackshear 73f3c5e0cd [cleanup] separate functions for checking annotations of return value and parameters 8 years ago
Dulma Churchill 2c767fce74 [linters] Clean up the context passing mechanism and add context for if 8 years ago
Andrzej Kotulski dd3de5b011 [clang frontend] Create nodes for dangling instructions 8 years ago
Jules Villard a229595856 [tests] run objc frontend tests... 8 years ago
Sam Blackshear b371a3429c [cleanup] simplify method annotation and item annotation iteration methods 8 years ago
Sam Blackshear f0199a058a [cleanup] alphabetize annotations and remove duplicates 8 years ago
Jeremy Dubreil 5322c71063 [infer][backend] find a better trade-off for the value of the SymOps timeout 8 years ago
Sam Blackshear b227ee58a6 [thread-safety] handle some annotations as aliases of ThreadConfined 8 years ago
Sam Blackshear 369feb4149 [thread-safety] allow ownership to be transferred via return 8 years ago
Sam Blackshear f372b6cb2f [quandary] allow sinks to be specified in inferconfig 8 years ago
Sam Blackshear 5bddb1e548 [quandary] allow sources to be specified in inferconfig 8 years ago
Cristiano Calcagno b1421bc27f [BetterEngineering] Remove remaining uses of polymorphic equality 8 years ago
Jules Villard bd2110a789 update timestamp of mirrored fcp files when copying them over so that make knows they are up to date 8 years ago
Sam Blackshear df5798336b [cleanup] give AccessPath.raw its own module 8 years ago
Jules Villard 4b45d5d8a0 [CLOpt] remove `accept_unknown` optional argument of `parse` 8 years ago
Andrzej Kotulski ebc4c6fd53 [config] Fail on unknown options from .inferconfig when in strict mode 8 years ago
Josh Berdine 65eb3a176d Remove Reason comments in copyright header 8 years ago
Sam Blackshear 851a4da7e0 [thread-safety][cleanup] add mli for ThreadSafetyDomain 8 years ago
Sam Blackshear d25a3edbd7 [thread-safety][cleanup] open ThreadSafetyDomain locally to avoid excess typing 8 years ago
Sam Blackshear e132188361 [thread-safety] warn on unsafe accesses in overrides of methods annotated with @ThreadSafeMethod 8 years ago
Sam Blackshear 908e78cc81 [annotations] produce a sources JAR for the infer annotations 8 years ago
Jeremy Dubreil add9e476a3 [infer][java] more rebust detection of the class filenames 8 years ago
Cristiano Calcagno f91b3128d3 [BetterEngineering] Replace uses of polymorphic equality 8 years ago
Andrzej Kotulski cceffddd78 [Config] Warn about deprecated args only from Driver exe 8 years ago
Cristiano Calcagno 3f8ee7df49 [Eradicate] Fix issue in Eradicate's check for field initialization 8 years ago
Sam Blackshear f79a53e1c8 [thread-safety] add string param to AssumeThreadSafe 8 years ago
Sam Blackshear c19bee7772 [quandary] for instance methods with no return value, propagate the taint to the receiver 8 years ago
Sam Blackshear b9694ef086 [thread-safety] warn on unsafe writes in constructors 8 years ago
Sam Blackshear c4c495fbe5 [thread-safety] propagate conditional writes to callers 8 years ago
Sam Blackshear 4373945e74 [thread-safety] don't warn on writes rooted in a parameter owned by the callee 8 years ago
Jules Villard f9ab3aa1ac run epilogues register with `at_exit` upon receiving SIGINT as well 8 years ago
Sam Blackshear 6ace3838ba [absint] support HTML debug output 8 years ago
Sam Blackshear e565010cf3 [thread-safety] don't warn on writes to volatile fields 8 years ago
Jules Villard 2e96caac42 [mvn] new integration 8 years ago
Jules Villard 99e2038560 [build] warn for bad homebrew version of pkg-config 8 years ago
Jules Villard 69f8140655 [cli] do not accept unknown arguments in OCaml 8 years ago
Jules Villard 988145dea0 [cli] remove support for INFERCLANG_ARGS 8 years ago
Jules Villard ca784cdb41 [cli] warn about deprecated options, clean up infer repo 8 years ago
Jules Villard cb1e241411 [CLOpt] isolate the subset of Arg.spec used 8 years ago
Sam Blackshear 618e9c9338 [thread-safety] add @AssumeThreadSafe annotation to assume thread-safety of a method without checking it 8 years ago
Sam Blackshear f4b1af6f91 [thread-safety] allow @ThreadConfined annotation on methods 8 years ago
Sam Blackshear 2f69191c7e [backend] expose underlying Procdesc.Node from ProcCFG nodes 8 years ago