S'inscrire | Se connecter | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

de martink library [20 articles]

Articles dernièrement stockés dans la bibliothèque de martink .
  • Efficiently computing static single assignment form and the control dependence graph
    ACM Trans. Program. Lang. Syst., Vol. 13, No. 4. (October 1991), pp. 451-490.
    by Ron Cytron, Jeanne Ferrante, Barry K Rosen, Mark N Wegman, Kenneth F Zadeck
    posted to no-tag by martink on 2006-03-20 00:23:47 as *** along with 7 people plaugg pejo pjdonald srccheck olesya sby zuleger
  • Constant propagation with conditional branches
    ACM Trans. Program. Lang. Syst., Vol. 13, No. 2. (April 1991), pp. 181-210.
    by Mark N Wegman, Kenneth K Zadeck
    posted to no-tag by martink on 2006-03-20 00:23:09 as read along with 3 people rnsanchez surana bunge
  • Eliminating Buffer Overflows, Using the Compiler or a Standalone Tool
    by Thomas Plum, David M Keaton
    posted to c security static-analysis by martink on 2006-02-24 10:43:17 as read along with 1 person plaugg
  • Bugs as deviant behavior: a general approach to inferring errors in systems code
    Vol. 35, No. 5. (December 2001), pp. 57-72.
    by Dawson Engler, David Y Chen, Seth Hallem, Andy Chou, Benjamin Chelf
    posted to no-tag by martink on 2006-02-22 15:41:51 as ** along with 4 people and 2 groups plaugg elsantosneto epaulson lucaspanjer CHISEL SEGAL
  • Applying static analysis to large-scale, multi-threaded Java programs
    Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 68-75.
    by C Artho, A Biere
    posted to no-tag by martink on 2006-02-21 22:04:01 as ** along with 2 people plaugg bfraser
  • Using redundancies to find errors
    SIGSOFT Softw. Eng. Notes, Vol. 27, No. 6. (November 2002), pp. 51-60.
    by Yichen Xie, Dawson Engler
    posted to static-analysis by martink on 2006-02-21 21:19:16 as read
  • Extended static checking for Java
    SIGPLAN Not., Vol. 37, No. 5. (May 2002), pp. 234-245.
    by Cormac Flanagan, Leino, Mark Lillibridge, Greg Nelson, James B Saxe, Raymie Stata
    posted to static-analysis by martink on 2006-02-21 16:14:51 as read along with 1 person plaugg
  • Improving security using extensible lightweight static analysis
    Software, IEEE, Vol. 19, No. 1. (2002), pp. 42-51.
    by D Evans, D Larochelle
    posted to no-tag by martink on 2006-02-21 16:08:23 as read along with 3 people plaugg tmende criswell
  • Detecting Format String Vulnerabilities with Type Qualifiers
    Security '01 (2001), pp. 201-218.
    by Umesh Shankar, Kunal Talwar, Jeffrey S Foster, David Wagner
    posted to no-tag by martink on 2006-02-21 16:03:01 as ** along with 1 person plaugg
  • Pointer analysis: haven't we solved this problem yet?
    (2001), pp. 54-61.
    by Michael Hind
    posted to no-tag by martink on 2006-02-21 15:40:52 as read along with 8 people and 2 groups plaugg pejo wasi salagnac linekin keigoi janschaefer srccheck Verimag TU-KL-SoftwareTechnologyGroup
  • Evaluating and tuning a static analysis to find null pointer bugs
    SIGSOFT Softw. Eng. Notes, Vol. 31, No. 1. (January 2006), pp. 13-19.
    by David Hovemeyer, Jaime Spacco, William Pugh
    posted to no-tag by martink on 2006-02-21 15:37:15 as read along with 1 person plaugg
  • A static analyzer for finding dynamic programming errors
    Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
    by William R Bush, Jonathan D Pincus, David J Sielaff
    posted to no-tag by martink on 2006-02-21 15:36:01 as ** along with 3 people mercutio linekin NSumner
  • Statically Detecting Likely Buffer Overflow Vulnerabilities
    Security '01 (2001), pp. 177-190.
    by David Larochelle, David Evans
    posted to no-tag by martink on 2006-02-21 15:28:40 as ** along with 1 person plaugg
  • Using programmer-written compiler extensions to catch security holes
    Security and Privacy, 2002. Proceedings. 2002 IEEE Symposium on (2002), pp. 143-159.
    by K Ashcraft, D Engler
    posted to c security static-analysis by martink on 2006-02-21 15:24:39 as ** along with 3 people plaugg neilc krisn11
  • Memory safety without garbage collection for embedded applications
    Trans. on Embedded Computing Sys., Vol. 4, No. 1. (February 2005), pp. 73-111.
    by Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner
    posted to no-tag by martink on 2006-02-21 15:14:38 as ** along with 1 person and 1 group jolilius TUCS-ES_Lab
  • Accurate static branch prediction by value range propagation
    Vol. 30, No. 6. (June 1995), pp. 67-78.
    by Jason RC Patterson
    posted to no-tag by martink on 2006-02-21 15:10:04 as **
  • Automatically Hardening Web Applications Using Precise Tainting
    (2005)
    by Anh N Tuong, Salvatore Guarnieri, Doug Greene, Jeff Shirley, David Evans
    posted to no-tag by martink on 2006-02-21 15:08:50 as ** along with 1 person plaugg
  • A First Step towards Automated Detection of Buffer Overrun Vulnerabilities
    (February 2000), pp. 3-17.
    by David Wagner, Jeffrey S Foster, Eric A Brewer, Alexander Aiken
    posted to no-tag by martink on 2006-02-21 14:59:05 as ** along with 3 people roylee srccheck zuleger
  • Secure Coding in C and C++: Of Strings and Integers
    Security & Privacy Magazine, IEEE, Vol. 4, No. 1. (2006), pp. 74-76.
    by R Seacord
    posted to no-tag by martink on 2006-02-21 14:57:36 as read
  • Static analysis for security
    Security & Privacy Magazine, IEEE, Vol. 2, No. 6. (2004), pp. 76-79.
    by B Chess, G Mcgraw
    posted to static-analysis by martink on 2006-02-21 14:55:47 as read along with 2 people plaugg tmende
    • Remarque: pour citer cette page, utilisez l'url suivante: http://www.citeulike.org/user/martink

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.