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

di srccheck library [106 articles]

Articoli aggiunti di recente nella biblioteca di srccheck .
  • Sound, complete and scalable path-sensitive analysis
    SIGPLAN Not., Vol. 43, No. 6. (2008), pp. 270-280.
    by Isil Dillig, Thomas Dillig, Alex Aiken
    posted to saturn path_sensitive alias_analysis by srccheck on 2008-10-07 16:42:15 as ***
  • 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 **
  • Definition and Implementation of a Points-To Analysis for C-like Languages
    (4 Oct 2008)
    by Stefano Soffia
    posted to thesis alias_analysis abstract_interpretation by srccheck on 2008-10-07 15:24:46 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
  • A Comparative Study of Industrial Static Analysis Tools (extended version)
    (January 2008)
    by Pär Emanuelsson, Ulf Nilsson
    posted to coverity defects klocwork polyspace review tools by srccheck on 2008-08-04 13:54:47 as read
  • 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 programming programming_languages textbooks by srccheck on 2008-07-03 12:54:18 as read along with 9 people olegus dullhunk brady awils1 calvins robotact vlasovskikh jasmithoffice olesya
  • 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 algorithms seminal ssa by srccheck on 2008-06-05 12:27:47 as read along with 7 people plaugg pejo martink pjdonald olesya sby zuleger
  • 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
  • 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 buffer_overflow defects format_string vulnerabilities vulnerability_exploitation by srccheck on 2008-05-28 11:31:21 as **
  • Lecture Notes on Formal Programming Language Semantics
    (2007)
    by John Longley
    posted to formal_semantics introduction programming_languages by srccheck on 2008-05-16 13:28:25 as ***
  • 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 ****
  • The octagon abstract domain
    Higher Order Symbol. Comput., Vol. 19, No. 1. (March 2006), pp. 31-100.
    by Antoine Miné
    posted to abstract_interpretation linear_restrictions 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 abstract_interpretation linear_restrictions 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 abstract_interpretation linear_restrictions 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 annotations defects race_condition by srccheck on 2008-05-08 14:36:00 as *** along with 4 people bec schuh newdawn zuleger
  • 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 alias_analysis bdd introduction 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 alias_analysis buffer_overflow context_sensitive defects format_string ipssa path_sensitive ssa by srccheck on 2008-05-08 14:14:29 as read along with 2 people bdanilov olesya
  • Finding user/kernel pointer bugs with type inference
    (2004), pp. 9-9.
    by Rob Johnson, David Wagner
    posted to annotations cqual defect_search linux 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 defects tocttou 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 programming_languages verification by srccheck on 2008-05-08 13:30:39 as * along with 6 people tautologico MattOConnor bdauvergne robennals krisn11 _Anne_
  • 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 defects survey tools vulnerabilities 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 buffer_overflow programming_languages verification by srccheck on 2008-05-08 11:31:45 as *
  • Notes on graph algorithms used in optimizing compilers
    (1995)
    by C Offner
    posted to abstract_interpretation algorithms control_flow_analysis dataflow_analysis graphs 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 alias_analysis context_sensitive summary_analysis thesis 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 introduction summary_analysis 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 findbugs templates tools 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 2 people and 2 groups bleadof praveenbala 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 ** along with 1 person praveenbala
  • 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 3 people bfraser olesya zuleger
  • 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 schuh olesya
  • Detecting format string vulnerabilities with type qualifiers
    (2001), pp. 16-16.
    by Umesh Shankar, Kunal Talwar, Jeffrey S Foster, David Wagner
    posted to annotations cqual extended_types format_string tools by srccheck on 2008-04-02 14:18:10 as ** along with 1 person olesya
  • 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 alias_analysis context_sensitive introduction summary_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
    • Puoi citare questa pagina come: http://www.citeulike.org/user/srccheck

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