Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

srccheck library [101 articles]

Статьи, недавно добавленные в библиотеку srccheck .
  • Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)
    (25 July 1996)
    by Harold Abelson, Gerald J Sussman
    posted to textbooks programming_languages programming by srccheck on 2008-07-03 12:54:18 as read along with 8 people olesya jasmithoffice vlasovskikh dullhunk brady awils1 calvins robotact
  • 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 ssa seminal algorithms by srccheck on 2008-06-05 12:27:47 as read along with 7 people zuleger olesya sby plaugg pejo martink pjdonald
  • Static vs. Dynamic Detection of Bugs in Safety-Critical Code
    Embedded Technology (2008)
    by Paul Anderson
    posted to tools testing static_analysis introduction codesonar 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 static_analysis roi metrology 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 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 **
  • Lecture Notes on Formal Programming Language Semantics
    (2007)
    by John Longley
    posted to programming_languages introduction formal_semantics by srccheck on 2008-05-16 13:28:25 as ***
  • Lecture Notes on Static Analysis
    (2008)
    by Michael I Schwartzbach
    posted to static_analysis introduction by srccheck on 2008-05-16 12:49:12 as ****
  • The octagon abstract domain
    Higher Order Symbol. Comput., Vol. 19, No. 1. (March 2006), pp. 31-100.
    by Antoine Miné
    posted to linear_restrictions abstract_interpretation by srccheck on 2008-05-14 13:59:32 as read
  • Automatic discovery of linear restraints among variables of a program
    (1978), pp. 84-96.
    by Patrick Cousot, Nicolas Halbwachs
    posted to linear_restrictions abstract_interpretation by srccheck on 2008-05-14 13:50:59 as read along with 3 people and 1 group eaubin pganty bunge groupverif
  • Precise widening operators for convex polyhedra
    Science of Computer Programming, Vol. 58, No. 1-2. (October 2005), pp. 28-56.
    by Roberto Bagnara, Patricia M Hill, Elisa Ricci, Enea Zaffanella
    posted to linear_restrictions abstract_interpretation by srccheck on 2008-05-14 13:48:37 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
  • Points-to analysis using BDDs
    SIGPLAN Not., Vol. 38, No. 5. (May 2003), pp. 103-114.
    by Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie Hendren, Navindra Umanee
    posted to introduction bdd alias_analysis by srccheck on 2008-05-08 14:19:26 as **
  • 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 along with 1 person olesya
  • Finding user/kernel pointer bugs with type inference
    (2004), pp. 9-9.
    by Rob Johnson, David Wagner
    posted to linux defect_search cqual annotations by srccheck on 2008-05-08 13:54:57 as **
  • 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 *
  • Cyclone: A safe dialect of c
    (2002)
    by T Jim, G Morrisett, D Grossman, M Hicks, J Cheney, Y Wang
    posted to verification programming_languages by srccheck on 2008-05-08 13:30:39 as * along with 6 people _Anne_ tautologico MattOConnor bdauvergne robennals krisn11
  • 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 ***
  • Ensuring code safety without runtime checks for real-time control systems
    (2002), pp. 288-297.
    by Sumant Kowshik, Dinakar Dhurjati, Vikram Adve
    posted to verification programming_languages buffer_overflow by srccheck on 2008-05-08 11:31:45 as *
  • Notes on graph algorithms used in optimizing compilers
    (1995)
    by C Offner
    posted to graphs dataflow_analysis control_flow_analysis algorithms abstract_interpretation by srccheck on 2008-05-06 08:23:07 as read
  • Efficient, context-sensitive pointer analysis for c programs
    (1998)
    by Robert P Wilson
    posted to thesis summary_analysis context_sensitive alias_analysis by srccheck on 2008-05-06 08:14:15 as read
  • Component-Level Dataflow Analysis
    Component-Based Software Engineering, Vol. 3489 (2005), pp. 82-89.
    by Atanas Rountev
    posted to summary_analysis introduction by srccheck on 2008-04-23 12:11:35 as ****
  • A schema for interprocedural modification side-effect analysis with pointer aliasing
    ACM Trans. Program. Lang. Syst., Vol. 23, No. 2. (March 2001), pp. 105-186.
    by Barbara G Ryder, William A Landi, Philip A Stocks, Sean Zhang, Rita Altucher
    posted to alias_analysis flow_insensitive flow_sensitive side_effects by srccheck on 2008-04-17 10:03:27 as **
  • Efficient field-sensitive pointer analysis for C
    (2004), pp. 37-42.
    by David J Pearce, Paul HJ Kelly, Chris Hankin
    posted to alias_analysis field_sensitive by srccheck on 2008-04-17 10:00:27 as **
  • Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
    (2002), pp. 230-246.
    by Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K Rajamani, Mark Seigle, Westley Weimer
    posted to alias_analysis andersen_analysis hybrid_analysis steensgaard_analysis by srccheck on 2008-04-17 09:58:40 as **
  • Introduction to set constraint-based program analysis
    Sci. Comput. Program., Vol. 35, No. 2-3. (1999), pp. 79-111.
    by Alexander Aiken
    posted to alias_analysis constraint_analysis by srccheck on 2008-04-17 09:55:34 as **
  • Points-to analysis in almost linear time
    (1996), pp. 32-41.
    by Bjarne Steensgaard
    posted to alias_analysis steensgaard_analysis by srccheck on 2008-04-17 09:49:05 as read along with 1 person plaugg
  • Context-sensitive interprocedural points-to analysis in the presence of function pointers
    (1994), pp. 242-256.
    by Maryam Emami, Rakesh Ghiya, Laurie J Hendren
    posted to alias_analysis context_sensitive function_pointers summary_analysis by srccheck on 2008-04-17 09:43:28 as read
  • Ultra-fast aliasing analysis using CLA: a million lines of C code in a second
    SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 254-263.
    by Nevin Heintze, Olivier Tardieu
    posted to alias_analysis andersen_analysis by srccheck on 2008-04-17 09:39:29 as read
  • Pointer analysis for programs with structures and casting
    (1999), pp. 91-103.
    by Suan H Yong, Susan Horwitz, Thomas Reps
    posted to alias_analysis field_sensitive by srccheck on 2008-04-17 09:36:45 as read
  • Pointer analysis: haven't we solved this problem yet?
    (2001), pp. 54-61.
    by Michael Hind
    posted to alias_analysis survey by srccheck on 2008-04-17 09:33:24 as read along with 8 people and 2 groups plaugg pejo wasi salagnac martink linekin keigoi janschaefer Verimag TU-KL-SoftwareTechnologyGroup
  • Finding bugs is easy
    SIGPLAN Not., Vol. 39, No. 12. (December 2004), pp. 92-106.
    by David Hovemeyer, William Pugh
    posted to tools templates findbugs by srccheck on 2008-04-17 07:23:58 as **** along with 2 people and 2 groups ronison linekin Oracle_10g_Group GMF-UFCG
  • Software Security: Building Security In (Addison-Wesley Software Security Series)
    (02 February 2006)
    by Gary Mcgraw
    posted to software_security textbooks by srccheck on 2008-04-15 13:04:41 as **** along with 1 person and 2 groups bleadof Security Secure programming
  • 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 ***
  • GENERIC and GIMPLE: a new tree representation for entire functions
    (2003), pp. 171-180.
    by J Merrill
    posted to gcc gimple by srccheck on 2008-04-09 15:09:50 as read
  • 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 **
  • Thorough static analysis of device drivers
    SIGOPS Oper. Syst. Rev., Vol. 40, No. 4. (October 2006), pp. 73-85.
    by Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con Mcgarvey, Bohus Ondrusek, Sriram K Rajamani, Abdullah Ustuner
    posted to model_checking slam tools by srccheck on 2008-04-07 12:23:24 as **
  • Lazy abstraction
    SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 58-70.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    posted to blast model_checking tools by srccheck on 2008-04-07 12:12:50 as read along with 1 person bfraser
  • Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
    (2001), pp. 279-298.
    by Donglin Liang, Mary J Harrold
    posted to alias_analysis flow_insensitive summary_analysis by srccheck on 2008-04-03 13:44:07 as read
  • Using static single assignment form to improve flow-insensitive pointer analysis
    Vol. 33, No. 5. (May 1998), pp. 97-105.
    by Rebecca Hasti, Susan Horwitz
    posted to alias_analysis ssa by srccheck on 2008-04-03 13:34:02 as read along with 2 people olesya schuh
  • Detecting format string vulnerabilities with type qualifiers
    (2001), pp. 16-16.
    by Umesh Shankar, Kunal Talwar, Jeffrey S Foster, David Wagner
    posted to annotations extended_types format_string tools by srccheck on 2008-04-02 14:18:10 as **
  • Lint, a C program checker
    (1977)
    by Stephen Johnson
    posted to lint tools by srccheck on 2008-04-02 11:30:56 as * along with 1 person and 1 group aleks Compilers
  • 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
  • Efficient context-sensitive pointer analysis for C programs
    SIGPLAN Not., Vol. 30, No. 6. (June 1995), pp. 1-12.
    by Robert P Wilson, Monica S Lam
    posted to summary_analysis introduction context_sensitive alias_analysis by srccheck on 2008-03-06 14:09:45 as read
  • Parametric shape analysis via 3-valued logic
    (1999), pp. 105-118.
    by Mooly Sagiv, Thomas Reps, Reinhard Wilhelm
    posted to shape_analysis by srccheck on 2008-03-05 12:29:36 as *** along with 1 person bec
  • 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 typestate static_analysis model_checking demand_driven 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
  • From Uncertainty to Belief: Inferring the Specification Within
    (2006), pp. 161-176.
    by Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y Ng, Dawson R Engler
    posted to machine_learning mc source_sink by srccheck on 2008-02-28 15:37:04 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
  • Saturn: A scalable framework for error detection using Boolean satisfiability
    ACM Trans. Program. Lang. Syst., Vol. 29, No. 3. (May 2007)
    by Yichen Xie, Alex Aiken
    posted to defect_search mc saturn toplas07 by srccheck on 2008-02-20 15:21:47 as ****
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/srccheck

    Result page: 1 2 3 Next 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.