Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

srccheck's defects [13 articles]

Recent papers added to srccheck's library classified by the tag defects. You can also see everyone's defects.
  • Static detection of dynamic memory errors
    SIGPLAN Not., Vol. 31, No. 5. (May 1996), pp. 44-53.
    by David Evans
    posted to static_analysis lclint defects annotations by srccheck on 2008-05-28 11:56:11 as **
  • Buffer overflow and format string overflow vulnerabilities
    Softw. Pract. Exper., Vol. 33, No. 5. (April 2003), pp. 423-460.
    by Kyung-Suk Lhee, Steve J Chapin
    posted to vulnerability_exploitation vulnerabilities format_string defects buffer_overflow by srccheck on 2008-05-28 11:31:21 as **
  • Type-based race detection for Java
    Vol. 35, No. 5. (May 2000), pp. 219-232.
    by Cormac Flanagan, Stephen N Freund
    posted to race_condition defects annotations by srccheck on 2008-05-08 14:36:00 as *** along with 3 people newdawn bec schuh
  • Tracking pointers with path and context sensitivity for bug detection in C programs
    SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (September 2003), pp. 317-326.
    by Benjamin V Livshits, Monica S Lam
    posted to ssa path_sensitive ipssa format_string defects context_sensitive buffer_overflow alias_analysis by srccheck on 2008-05-08 14:14:29 as read
  • Checking for Race Conditions in File Accesses
    Computing Systems, Vol. 9, No. 2. (Spring 1996), pp. 131-152.
    by Matt Bishop, Michael Dilger
    posted to tocttou defects by srccheck on 2008-05-08 13:42:05 as *
  • Code Injection in C and C++: A Survey of Vulnerabilities and Countermeasures
    No. CW386. (July 2004)
    by Yves Younan, Wouter Joosen, Frank Piessens
    posted to vulnerabilities tools survey defects by srccheck on 2008-05-08 12:02:14 as ***
  • Finding security vulnerabilities in java applications with static analysis
    (2005), pp. 18-18.
    by Benjamin V Livshits, Monica S Lam
    posted to defects java source_sink tainted_value by srccheck on 2008-04-07 13:01:59 as **
  • What We Have Learned about Fighting Defects
    (2002)
    by Forrest Shull, Vic Basili, Barry Boehm, Winsor A Brown, Patricia Costa, Mikael Lindvall, Dan Port, Ioana Rus, Roseanne Tesoriero, Marvin Zelkowitz
    posted to defects roi by srccheck on 2008-02-26 09:58:04 as read
  • Practical memory leak detection using guarded value-flow analysis
    (2007), pp. 480-491.
    by Sigmund Cherem, Lonnie Princehouse, Radu Rugina
    posted to defects memory_leak pldi07 static_analysis by srccheck on 2008-02-15 15:10:51 as read
  • Using programmer-written compiler extensions to catch security holes
    (May 2002), pp. 143-159.
    by K Ashcraft, D Engler
    posted to defects defect_search mc tainted_buffer tainted_value to_close by srccheck on 2008-02-06 11:24:19 as read along with 3 people mercutio plaugg ronnix
  • Using redundancies to find errors
    SIGSOFT Softw. Eng. Notes, Vol. 27, No. 6. (2002), pp. 51-60.
    by Y Xie, D Engler
    posted to defects inconsistent_code mc by srccheck on 2008-02-06 11:08:07 as read along with 1 person bdanilov
  • Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
    (October 2000)
    by D Engler, B Chelf, A Chou, S Hallem
    posted to defects mc osdi00 tools by srccheck on 2008-02-06 10:34:50 as read
  • Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code
    (2001), pp. 57-72.
    by Dawson R Engler, David Y Chen, Andy Chou
    posted to defects defect_search inconsistent_code mc sosp01 to_close tools by srccheck on 2008-02-06 09:27:57 as read along with 3 people gameweld ronnix bdanilov
    • Note: You may cite this page as: http://www.citeulike.org/user/srccheck/tag/defects

    RIS BibTeX RSS
    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.