Havoc on Ntfs'
15
Microsoft Research334 тыс
Следующее
06.09.16 – 3 0551:05:15Популярные
10.02.23 – 1 88258:12
Опубликовано 6 сентября 2016, 16:42
Brian will talk about his experience this summer developing and using the Havoc annotation-based tool to target resource leaks, data races and teardown races in the Ntfs code base, finding ~50 potential bugs, most of which have been confirmed by the Ntfs developers.  This includes discussion of developing property- and system-specific annotation languages (expressed in terms of lower level annotations), checking and inferring these in a large (300+ KLOC) code base, the various properties checked for Ntfs and the complexities encountered.
Свежие видео
1 день – 9950:26
4 дня – 213 9540:39
5 дней – 2 0570:35
6 дней – 62 47815:27
7 дней – 7390:16
7 дней – 1070:27Случайные видео
60 дней – 3796:11
83 дня – 1 9570:28
146 дней – 3270:23
03.05.23 – 2 3330:31
10.12.22 – 2172:21
05.11.22 – 51 8887:09
13 часов – 620:33
2 дня – 26019:39
4 дня – 1 7891:30
4 дня – 2 11111:52
6 дней – 4669:36
6 дней – 14 4290:27
1 день – 20 46314:04