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

srccheck's static_analysis [19 articles]

Recent papers added to srccheck's library classified by the tag static_analysis. You can also see everyone's static_analysis.
  • Evaluating the cost reduction of static code analysis for software security
    (2008), pp. 79-88.
    by Dejan Baca, Bengt Carlsson, Lars Lundberg
    posted to static_analysis roi by srccheck on 2008-10-07 15:36:13 as **
  • Statically detecting likely buffer overflow vulnerabilities
    (2001), pp. 14-14.
    by David Larochelle, David Evans
    posted to tools static_analysis splint linear_restrictions by srccheck on 2008-09-10 14:09:12 as read along with 1 person olesya
  • Static vs. Dynamic Detection of Bugs in Safety-Critical Code
    Embedded Technology (2008)
    by Paul Anderson
    posted to codesonar introduction static_analysis testing tools by srccheck on 2008-06-02 12:43:02 as read
  • The ROI from Software Quality: An Executive Briefing
    (2003)
    by Khaled E Emam
    posted to metrology roi static_analysis by srccheck on 2008-05-28 12:17:49 as **
  • Static detection of dynamic memory errors
    SIGPLAN Not., Vol. 31, No. 5. (May 1996), pp. 44-53.
    by David Evans
    posted to annotations defects lclint static_analysis by srccheck on 2008-05-28 11:56:11 as ** along with 1 person zuleger
  • Lecture Notes on Static Analysis
    (2008)
    by Michael I Schwartzbach
    posted to introduction static_analysis by srccheck on 2008-05-16 12:49:12 as ****
  • Secure Programming with Static Analysis (Addison-Wesley Software Security Series)
    (09 July 2007)
    by Brian Chess, Jacob West
    posted to software_security static_analysis textbooks by srccheck on 2008-04-15 12:47:05 as ***
  • Extended static checking for Java
    (2002)
    by C Flanagan, K Leino, M Lillibridge, C Nelson, J Saxe, R Stata
    posted to esc java pldi02 static_analysis tools by srccheck on 2008-04-02 11:14:21 as read along with 2 people and 2 groups amorkan sjgaller Context-driven-testers Desgin-by-Contract
  • Effective typestate verification in the presence of aliasing
    (2006), pp. 133-144.
    by Stephen Fink, Eran Yahav, Nurit Dor, G Ramalingam, Emmanuel Geay
    posted to demand_driven model_checking static_analysis typestate by srccheck on 2008-03-04 13:59:44 as ****
  • A survey of static analysis methods for identifying security vulnerabilities in software systems
    IBM Syst. J., Vol. 46, No. 2. (April 2007), pp. 265-288.
    by M Pistoia, S Chandra, SJ Fink, E Yahav
    posted to static_analysis survey by srccheck on 2008-03-04 12:33:59 as read
  • The Soundness of Bugs is What Matters (position statement)
    (2005)
    by Patrice Godefroid
    posted to soundness static_analysis by srccheck on 2008-02-19 13:02:53 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
  • Sound and precise analysis of web applications for injection vulnerabilities
    (2007), pp. 32-41.
    by Gary Wassermann, Zhendong Su
    posted to defect_search static_analysis tainted_buffer by srccheck on 2008-02-15 13:24:06 as ***
  • MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties
    (2003)
    by Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson Engler
    posted to meca static_analysis tools by srccheck on 2008-02-12 16:25:10 as ****
  • LCLint: a tool for using specifications to check code
    SIGSOFT Softw. Eng. Notes, Vol. 19, No. 5. (December 1994), pp. 87-96.
    by David Evans, John Guttag, James Horning, Yang M Tan
    posted to lclint static_analysis tools by srccheck on 2008-02-11 11:01:46 as *****
  • Improving Security Using Extensible Lightweight Static Analysis
    IEEE Software, Vol. 19, No. 1. (\slash 2002), pp. 42-51.
    by David Evans, David Larochelle
    posted to splint static_analysis tools by srccheck on 2008-02-08 11:55:04 as read
  • Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
    Static Analysis (2005), pp. 203-217.
    by Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
    posted to airac machine_learning sas05 static_analysis tools warning_ranking by srccheck on 2008-02-08 10:33:57 as read
  • notes Economic Impacts of Inadequate Infrastructure for Software Testing
    (May 2002)
    by MP Gallaher, BM Kropp
    posted to roi static_analysis testing by srccheck on 2008-02-08 10:13:24 as *
  • Principles of Program Analysis
    (07 December 2004)
    by Flemming Nielson, Hanne R Nielson, Chris Hankin
    posted to static_analysis textbooks by srccheck on 2008-02-06 13:13:09 as *** along with 2 people marcinzalewski andymaule
    • Note: You may cite this page as: http://www.citeulike.org/user/srccheck/tag/static_analysis

    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.