Automatic Vulnerability Detection Using Static Source Code Analysis (2005)

by Alexander Sotirov
Citations:1 - 0 self

Documents Related by Co-Citation

2 Protecting Against Some Buffer-Overrun Attacks [online]. Available WWW: < http://www.greenend.org.uk/rjk/random-stack.text – R Kettlewell - 1998
4 An abstraction/refinement scheme for model checking C programs – G Weissenbacher - 2003
3 Encoding Function Pointers and Memory Arrangement Checking against Buffer Overflow Attack – C Pyo, Gyungho Lee - 2002
1 i386 W^X. Posted on OpenBSD mailing list – Theo de Raadt - 2003
1 Available from World Wide Web: http://gcc. gnu.org/onlinedocs/gcc-3.3.2/gccint – Gcc internals - 2003
1 Set-Based Program Analysis (Extended Abstract) – Nevin Heintze, Joxan Jaffar - 1991
1 A bounds checking C compiler – Richard W M Jones - 1995
1 débordements de tampons et les vulnérabilités de chaîne de format – Les - 2003
1 Exec shield, new Linux security feature. Posted on linux-kernel mailing list – Ingo Molnar - 2003
1 Original design & implementation of PAGEEXEC – PaX Team - 2000
1 Why a stack with exec flag? Posted on comp.os.linux.security group – PaX Team - 2002
1 The cathedral and the bazaar, 2000. Available from World Wide Web: http://www.catb.org/~esr/writings/ cathedral-bazaar – Eric S Raymond
1 Homesteading the noosphere, 2000. Available from World Wide Web: http://www.catb.org/~esr/writings/ homesteading – Eric S Raymond
2 Non-executable stack – final Linux kernel patch. Posted on linux-kernel mailing list – Solar Designer - 1997
1 Announcing RSX - non exec stack/heap module. Posted on BugTraq mailing list – Paul Starzetz - 2001
1 Available from World Wide Web: http://en.wikipedia.org/wiki/Metaprogramming – Wikipedia Metaprogramming
9 Measuring libre software using debian 3.1 (sarge) as a case study: preliminary results. Upgrade Magazine – J J Amor, J M Gonzalez-Barahona, G Robles, I Herraiz - 2005
3 Getting around non-executable stack (and fix). Posted on the Bugtraq mailinglist http://www.securityfocus.com/ archive/1/7480 – Solar Designer - 1997
18 Libsafe: Protecting Critical Elements of Stacks – Timothy K. Tsai, Navjot Singh - 2001