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.

Jules Villard 84d1fd3b52 [pulse] add tests ... Summary: These tests showcase weaknesses of Pulse w.r.t. detecting issues in situations with 1) pointer aliasing, and 2) pointers null-tests Reviewed By: ezgicicek Differential Revision: D26488145 fbshipit-source-id: 3de230bd2		4 years ago
..
c	[inferbo] Handle when const global assigned to local variable	4 years ago
c_cpp/pulse	[pulse] Loosen fieldname comparison in state	4 years ago
cpp	[pulse] add tests	4 years ago
dotnet	Infer# integration (#1361)	4 years ago
java	[pulse] some models should "prune" instead of "and"	4 years ago
objc	Don't warn about direct ivar access for atomic readonly properties	4 years ago
objcpp	[pulse][objcpp][npe] Basic examples	4 years ago