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 f07c7f9093 [infer] handle sentinel arguments in symb exec ... Summary: This adds a sentinel check every time a function carrying a sentinel attribute is called, regardless of whether we have a definition for that function or not.		10 years ago
..
annotations	Complete copyright messages.	10 years ago
bin	Indent json files	10 years ago
lib	Complete copyright messages.	10 years ago
models	[infer][clang] fix model of sockets	10 years ago
src	[infer] handle sentinel arguments in symb exec	10 years ago
tests	[infer] handle sentinel arguments in symb exec	10 years ago
.merlin	initial synchronization	10 years ago
.project	initial synchronization	10 years ago
Makefile	initial synchronization	10 years ago