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

srccheck library [102 articles]

Статьи, недавно добавленные в библиотеку srccheck library ordered by importance.
  • Static error detection using semantic inconsistency inference
    (2007), pp. 435-445.
    by Isil Dillig, Thomas Dillig, Alex Aiken
    posted to defect_search inconsistent_code pldi07 saturn by srccheck on 2008-02-15 14:56:58 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 *****
  • Static source code checking for user-defined properties
    Proc. IDPT 2002 (2002)
    by GJ Holzmann
    posted to idpt02 model_checking tools uno by srccheck on 2008-02-08 12:13:54 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 ****
  • 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 ****
  • 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
  • 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 ****
  • 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 ****
  • Precise Interprocedural Dataflow Analysis via Graph Reachability
    (1995), pp. 49-61.
    by Thomas Reps, Susan Horwitz, Mooly Sagiv
    posted to algorithms cfl context_sensitive dataflow_analysis popl95 by srccheck on 2008-02-20 12:28:18 as ****
  • Static specification inference using predicate mining
    (2007), pp. 123-134.
    by Murali K Ramanathan, Ananth Grama, Suresh Jagannathan
    posted to pldi07 specification_mining by srccheck on 2008-02-15 14:27:54 as **** along with 2 people matis newdawn
  • 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 ****
  • A Comparison of Publicly Available Tools for Static Intrusion Prevention
    (November 2002), pp. 68-84.
    by John Wilander, Mariam Kamkar
    posted to benchmark boon flawfinder its4 rats splint survey tools by srccheck on 2008-02-08 11:33:16 as **** along with 3 people mercutio radical V
  • ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
    (2003), pp. 327-336.
    by Yichen Xie, Andy Chou, Dawson R Engler
    posted to archer path_sensitive tools by srccheck on 2008-02-08 11:24:47 as ****
  • Scalable error detection using boolean satisfiability
    SIGPLAN Not., Vol. 40, No. 1. (January 2005), pp. 351-363.
    by Yichen Xie, Alex Aiken
    posted to popl05 saturn tools by srccheck on 2008-02-06 14:44:06 as **** along with 1 person plaugg
  • 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 ***
  • 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
  • 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 ***
  • 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 ***
  • 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
  • Demand-driven alias analysis for C
    (2008), pp. 197-208.
    by Xin Zheng, Radu Rugina
    posted to algorithms alias_analysis cfl demand_driven popl08 by srccheck on 2008-02-20 13:37:38 as ***
  • Logic-flow analysis of higher-order programs
    (2007), pp. 185-198.
    by Matthew Might
    posted to abstract_interpretation algorithms dataflow_analysis popl07 by srccheck on 2008-02-20 12:59:37 as ***
  • Thin slicing
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 112-122.
    by Manu Sridharan, Stephen J Fink, Rastislav Bodik
    posted to pldi07 slicing by srccheck on 2008-02-15 14:19:23 as *** along with 1 person duckysherwood
  • 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 ***
  • Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
    Static Analysis (2003), pp. 1075-1075.
    by Ted Kremenek, Dawson Engler
    posted to machine_learning sas03 warning_ranking by srccheck on 2008-02-08 13:42:05 as ***
  • Large-scale analysis of format string vulnerabilities in Debian Linux
    (2007), pp. 75-84.
    by Karl Chen, David Wagner
    posted to oink pldi07 search_report tools by srccheck on 2008-02-06 14:28:52 as *** along with 1 person torens
  • Model Checking
    (07 January 2000)
    by Edmund M Clarke, Orna Grumberg, Doron A Peled
    posted to model_checking textbooks by srccheck on 2008-02-06 13:23:13 as *** along with 8 people and 1 group hmeyer fheintz schuh cbertolini gfraser arturmeski juniorpivetta zuleger gk-intern
  • 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 1 person andymaule
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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
  • 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 **
  • Efficient field-sensitive pointer analysis of C
    ACM Trans. Program. Lang. Syst., Vol. 30, No. 1. (November 2007)
    by David J Pearce, Paul HJ Kelly, Chris Hankin
    posted to algorithms alias_analysis context_insensitive flow_insensitive review toplas07 by srccheck on 2008-02-20 15:10:34 as **
  • Program verification as probabilistic inference
    (2007), pp. 277-289.
    by Sumit Gulwani, Nebojsa Jojic
    posted to machine_learning popl07 verification by srccheck on 2008-02-20 13:25:50 as **
  • Variance analyses from invariance analyses
    (2007), pp. 211-224.
    by Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter O'Hearn
    posted to model_checking popl07 verification by srccheck on 2008-02-20 13:11:50 as **
  • The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code
    (2007), pp. 290-299.
    by Ben Hardekopf, Calvin Lin
    posted to alias_analysis andersen_analysis pldi07 by srccheck on 2008-02-15 14:36:24 as ** along with 1 person bunge
  • The ASTRÉE Analyzer
    Programming Languages and Systems, Vol. 3444/2005 (2005), pp. 21-30.
    by Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    posted to abstract_interpretation astree toplas05 by srccheck on 2008-02-08 13:33:38 as ** along with 2 people _Anne_ zuleger
  • A static analyzer for large safety-critical software
    (2003), pp. 196-207.
    by Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérome Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    posted to abstract_interpretation astree pldi03 tools by srccheck on 2008-02-08 13:29:44 as ** along with 1 person zuleger
  • 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 *
  • 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_
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/srccheck/order/to_read

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