diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-07-21 15:35:02 -0400 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-07-21 15:35:02 -0400 |
| commit | 9933cec0a18ae2a3d752f269d1bb12c19f51199d (patch) | |
| tree | cc30f2d56b87d3896e460a58b76e964231c0d578 /open_issues/code_analysis.mdwn | |
| parent | 65efe654a9cb0b682efa9bf21065469a2e9147f4 (diff) | |
| download | web-9933cec0a18ae2a3d752f269d1bb12c19f51199d.tar.gz web-9933cec0a18ae2a3d752f269d1bb12c19f51199d.tar.bz2 web-9933cec0a18ae2a3d752f269d1bb12c19f51199d.zip | |
IRC.
Diffstat (limited to 'open_issues/code_analysis.mdwn')
| -rw-r--r-- | open_issues/code_analysis.mdwn | 14 |
1 files changed, 14 insertions, 0 deletions
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: + + <teythoon> started reading the mayhem paper referenced here + http://lists.debian.org/debian-devel/2013/06/msg00720.html + <teythoon> that's nice work, they are doing symbolic execution of x86 + binary code, that's effectively model checking with some specialized + formulas + <teythoon> (too bad the mayhem code isn't available, damn those + academic people keeping the good stuff to themselvs...) + <teythoon> (and I really think that's bad practice, how should anyone + reproduce their results? that's not how science works imho...) |