DSD: A Hybrid Analysis Tool for Bug Finding
1 166
55.5
Google12.5 млн
Следующее
23.07.07 – 4 05642:27Популярные
3 дня – 3 4001:00
59 дней – 16 6080:17Опубликовано 23 июля 2007, 19:00
Google TechTalks
July 13, 2006
Christoph Csallner
ABSTRACT
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program's intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program's input domain. S. Statically analyze the program within the restricted input domain to explore many paths. D. Automatically generate test cases that focus on verifying the results of the static analysis. Thereby confirmed results are never false positives, as opposed to the high false positive rate inherent in conservative static analysis.
This three-step approach yields benefits compared to...
July 13, 2006
Christoph Csallner
ABSTRACT
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program's intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program's input domain. S. Statically analyze the program within the restricted input domain to explore many paths. D. Automatically generate test cases that focus on verifying the results of the static analysis. Thereby confirmed results are never false positives, as opposed to the high false positive rate inherent in conservative static analysis.
This three-step approach yields benefits compared to...
Свежие видео
3 дня – 028:25
5 дней – 31 51410:32
10 дней – 3 0811:14
22 дня – 151 09328:19
167 дней – 3 5000:17Случайные видео
252 дня – 650:42
01.11.23 – 20 71936:36
16.06.22 – 2 5272:29
22.04.22 – 8202:10
06.07.08 – 38 3664:15
3 дня – 1 069 20933:33
3 дня – 6 9881:00
4 дня – 5151:01
6 дней – 1 2670:09
6 дней – 46 12011:42
7 дней – 6 8481:32
10 дней – 21 91637:40
