You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jeremy Dubreil 927a6cfbb6 [infer][quandary] add the tests from the bi-abduction based taint analysis to the Quandary tests ... Summary: Adding to the Quandary tests, the list of tests that are already working for the bi-abduction based taint analysis. Reviewed By: sblackshear Differential Revision: D5395734 fbshipit-source-id: c4f2e79		8 years ago
..
c	[biabduction][test] Repro of issue 680	8 years ago
cpp	[infer][backend] Invalidate by-ref parameters for logical variables as well as program variables when calling undefined functions	8 years ago
java	[infer][quandary] add the tests from the bi-abduction based taint analysis to the Quandary tests	8 years ago
objc	[linters] Take instancesRespondToSelector into account to avoid FPs	8 years ago
objcpp	[typ] Print type qualifiers in Typ.pp_full	8 years ago