From 9933cec0a18ae2a3d752f269d1bb12c19f51199d Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 21 Jul 2013 15:35:02 -0400 Subject: IRC. --- open_issues/code_analysis.mdwn | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'open_issues/code_analysis.mdwn') diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index bdd2ae18..67798c6a 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -193,3 +193,17 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks. * [Trinity: A Linux kernel fuzz tester (and then some)](http://www.socallinuxexpo.org/scale11x/presentations/trinity-linux-kernel-fuzz-tester-and-then-some), Dave Jones, The Eleventh Annual Southern California Linux Expo, 2013. + + * Mayhem, *an automatic bug finding system* + + IRC, freenode, #hurd, 2013-06-29: + + started reading the mayhem paper referenced here + http://lists.debian.org/debian-devel/2013/06/msg00720.html + that's nice work, they are doing symbolic execution of x86 + binary code, that's effectively model checking with some specialized + formulas + (too bad the mayhem code isn't available, damn those + academic people keeping the good stuff to themselvs...) + (and I really think that's bad practice, how should anyone + reproduce their results? that's not how science works imho...) -- cgit v1.2.3