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

plaugg static_analysis [54 articles]

Recent papers added to plaugg library classified by the tag static_analysis. You can also see everyone's static_analysis.
  • SABER: smart analysis based error reduction
    Vol. 29, No. 4. (July 2004), pp. 243-251.
    by Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D Johnson, Aaron Kershenbaum, Larry Koved
    posted to java static_analysis testing by plaugg on 2006-12-07 12:14:20 as read along with 1 person schuh
  • Specifying framework constraints with FCL
    (2004), pp. 96-110.
    by Daqing Hou, James H Hoover, Piotr Rudnicki
    posted to static_analysis by plaugg on 2006-11-17 16:34:42 as read
  • Statically Scanning Java Code: Finding Security Vulnerabilities
    IEEE Softw., Vol. 17, No. 5. (September 2000), pp. 68-74.
    by John Viega, Gary Mcgraw, Tom Mutdosch, Edward W Felten
    posted to java security static_analysis by plaugg on 2006-08-18 12:34:08 as ***
  • Finding bugs with a constraint solver
    (2000), pp. 14-25.
    by Daniel Jackson, Mandana Vaziri
    posted to bug_finding constraints static_analysis testing by plaugg on 2006-08-15 07:45:28 as ** along with 1 person mercutio
  • Extending Java for package based access control
    (2000)
    by M Papa, O Bremer, R Chandia, J Hale, S Shenoi
    posted to access_protection java oo static_analysis by plaugg on 2006-05-10 16:11:09 as read along with 1 person schuh
  • Securing software : an evaluation of static source code analyzers
    (2003)
    by Misha Zitser
    posted to security static_analysis by plaugg on 2006-04-26 14:38:33 as ** along with 1 person mercutio
  • Automatic verification of design patterns in Java
    (2005), pp. 224-232.
    by Alex Blewitt, Alan Bundy, Ian Stark
    posted to designpatterns java static_analysis by plaugg on 2006-04-11 10:05:48 as read
  • Finding application errors and security flaws using PQL: a program query language
    Vol. 40, No. 10. (October 2005), pp. 365-383.
    by Michael Martin, Benjamin Livshits, Monica S Lam
    posted to bug_finding java oo query_language static_analysis by plaugg on 2006-03-28 09:03:32 as read along with 1 person schuh
  • notes Incrementalized pointer and escape analysis
    Vol. 36, No. 5. (May 2001), pp. 35-46.
    by Fr&\#233;d&\#233;ric Vivien, Martin Rinard
    posted to incremental points_to_analysis static_analysis by plaugg on 2006-03-23 09:25:44 as read along with 2 people schuh yang
  • Iterate, incrementalize, and implement: A systematic approach to efficiency improvement and guarantees
    by Yanhong A Liu
    posted to incremental static_analysis by plaugg on 2006-03-23 08:58:48 as read
  • Principles of Program Analysis
    (1999)
    by Flemming Nielson, Hanne R Nielson, Chris Hankin
    posted to alias_analysis callgraph controlflow data_flow graph interprocedural static_analysis type_systems by plaugg on 2006-03-21 16:52:14 as read along with 1 person zuleger
  • Static analysis and computer security: new techniques for software assurance
    (2000)
    by David A Wagner
    posted to buffer_overflow intrusion_detection security static_analysis by plaugg on 2006-03-21 16:49:37 as read
  • A Type-Based Approach to Program Security
    (1997), pp. 607-621.
    by Dennis M Volpano, Geoffrey Smith
    posted to security static_analysis type_systems by plaugg on 2006-03-21 16:35:06 as **** along with 2 people scavadini tesissvc
  • Static enforcement of security with types
    Vol. 35, No. 9. (September 2000), pp. 34-45.
    by Christian Skalka, Scott Smith
    posted to java security static_analysis type_systems by plaugg on 2006-03-21 16:32:47 as ****
  • 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 controlflow graph ssa static_analysis by plaugg on 2006-03-20 07:35:40 as * along with 7 people pejo martink pjdonald srccheck olesya sby zuleger
  • Extended static checking for Java
    SIGPLAN Not., Vol. 37, No. 5. (May 2002), pp. 234-245.
    by Cormac Flanagan, Leino, Mark Lillibridge, Greg Nelson, James B Saxe, Raymie Stata
    posted to java static_analysis by plaugg on 2006-03-20 07:28:17 as **** along with 1 person martink
  • notes Static analysis for security
    Security & Privacy Magazine, IEEE, Vol. 2, No. 6. (2004), pp. 76-79.
    by B Chess, G Mcgraw
    posted to security static_analysis by plaugg on 2006-03-20 07:27:32 as read along with 2 people tmende martink
  • notes Automatically Hardening Web Applications Using Precise Tainting
    (2005)
    by Anh N Tuong, Salvatore Guarnieri, Doug Greene, Jeff Shirley, David Evans
    posted to security static_analysis by plaugg on 2006-03-20 07:27:04 as read along with 1 person martink
  • Using programmer-written compiler extensions to catch security holes
    Security and Privacy, 2002. Proceedings. 2002 IEEE Symposium on (2002), pp. 143-159.
    by K Ashcraft, D Engler
    posted to security static_analysis by plaugg on 2006-03-20 07:26:39 as *** along with 3 people martink neilc krisn11
  • Compile-time analysis of object-oriented programs
    Lecture Notes in Computer Science, Vol. 641 (1992)
    by Jan Vitek, Nigel R Horspool, James S Uhl
    posted to data_flow interprocedural oo static_analysis by plaugg on 2006-03-17 13:05:11 as ****
  • notes Program Flow Analysis: Theory and Applications (Prentice-Hall Software Series)
    by Steven S Muchnick, Neil D Jones
    posted to data_flow static_analysis by plaugg on 2006-03-17 12:40:17 as ** along with 1 person and 1 group pganty groupverif
  • Incremental global reoptimization of programs
    ACM Trans. Program. Lang. Syst., Vol. 14, No. 2. (April 1992), pp. 173-200.
    by Lori L Pollock, Mary L Soffa
    posted to incremental static_analysis by plaugg on 2006-03-15 16:36:06 as **** along with 1 person hubyrod
  • Incremental Algorithms for Inter-procedural Analysis of Safety Properties
    Lecture Notes in Computer Science, Vol. 3576 (2005)
    by Christopher L Conway, Kedar S Namjoshi, Dennis Dams, Stephen A Edwards
    posted to data_flow incremental static_analysis by plaugg on 2006-03-15 16:35:23 as ****
  • Analysis and testing of programs with exception handling constructs
    Software Engineering, IEEE Transactions on, Vol. 26, No. 9. (2000), pp. 849-871.
    by S Sinha, MJ Harrold
    posted to callgraph exception_handling java static_analysis by plaugg on 2006-03-15 14:56:15 as read
  • Reflection Analysis for Java
    Lecture Notes in Computer Science, Vol. 3780 (November 2005), pp. 139-160.
    by Benjamin Livshits, John Whaley, Monica S Lam
    posted to java reflection static_analysis by plaugg on 2006-03-15 14:22:48 as read
  • Pointer Analysis: Haven't We Solved This Problem Yet?
    (2001)
    by Michael Hind
    posted to points_to_analysis static_analysis by plaugg on 2006-01-04 09:04:46 as read along with 5 people and 3 groups mercutio dherman jolilius josefs lmorel NU-PRL TUCS-ES_Lab TUCS-KITARA_project
  • Whole-Program Optimization of Object-Oriented Languages
    No. TR-96-06-02. (FebruaryAugust, 1997)
    by Craig Chambers, Jeffrey Dean, David Grove
    posted to oo static_analysis by plaugg on 2006-01-04 08:44:35 as *** along with 2 people marcoil JeffreyPalmer
  • Finding your cronies: static analysis for dynamic object colocation
    (2004)
    by S Guyer, K Mckinley
    posted to java oo static_analysis by plaugg on 2006-01-04 08:43:45 as *** along with 1 person and 1 group salagnac Verimag
  • Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java
    (2001), pp. 73-79.
    by Donglin Liang, Maikel Pennings, Mary J Harrold
    posted to callgraph java static_analysis by plaugg on 2006-01-03 18:25:37 as read along with 1 person andymaule
  • Confined types in Java
    Softw. Pract. Exper., Vol. 31, No. 6. (May 2001), pp. 507-532.
    by Jan Vitek, Boris Bokowski
    posted to confined_types java ownership_types static_analysis by plaugg on 2005-11-24 09:38:55 as read along with 1 person schuh
  • Searching for points-to analysis
    Software Engineering, IEEE Transactions on, Vol. 29, No. 10. (2003), pp. 883-897.
    by G Bruns, S Chandra
    posted to alias_analysis points_to_analysis static_analysis by plaugg on 2005-10-12 17:11:36 as read
  • A practical framework for demand-driven interprocedural data flow analysis
    ACM Trans. Program. Lang. Syst., Vol. 19, No. 6. (November 1997), pp. 992-1030.
    by Evelyn Duesterwald, Rajiv Gupta, Mary L Soffa
    posted to alias_analysis points_to_analysis static_analysis by plaugg on 2005-10-12 15:28:49 as ***
  • Unification-based pointer analysis with directional assignments
    Vol. 35, No. 5. (May 2000), pp. 35-46.
    by Manuvir Das
    posted to alias_analysis points_to_analysis static_analysis by plaugg on 2005-10-10 12:24:43 as ****
  • Ultra-fast aliasing analysis using CLA: a million lines of C code in a second
    Vol. 36, No. 5. (May 2001), pp. 254-263.
    by Nevin Heintze, Olivier Tardieu
    posted to alias_analysis points_to_analysis static_analysis by plaugg on 2005-10-10 12:23:12 as read
  • Alias analysis on type inference for class hierarchy in Java
    Computer Science Conference, 2001. ACSC 2001. Proceedings. 24th Australasian (2001), pp. 206-214.
    by J Woo, I Attali, D Caromel, JL Gaudiot, AL Wendelborn
    posted to alias_analysis callgraph static_analysis by plaugg on 2005-09-29 12:19:21 as **
  • Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
    Lecture Notes in Computer Science, Vol. 952 (1995), pp. 77-101.
    by Jeffrey Dean, David Grove, Craig Chambers
    posted to callgraph controlflow graph static_analysis by plaugg on 2005-09-29 11:13:26 as *** along with 1 person bunge
  • Pointer analysis: haven't we solved this problem yet?
    (2001), pp. 54-61.
    by Michael Hind
    posted to points_to_analysis static_analysis by plaugg on 2005-09-22 09:27:59 as read along with 8 people and 2 groups pejo wasi salagnac martink linekin keigoi janschaefer srccheck Verimag TU-KL-SoftwareTechnologyGroup
  • Incremental and demand-driven points-to analysis using logic programming
    (2005), pp. 117-128.
    by Diptikalyan Saha, CR Ramakrishnan
    posted to incremental points_to_analysis static_analysis by plaugg on 2005-09-22 09:05:48 as read along with 1 person schuh
  • Parameterized Object Sensitivity for Points-to Analysis for
    by Java A Milanova
    posted to points_to_analysis static_analysis by plaugg on 2005-09-22 08:44:21 as ** along with 1 person and 1 group salagnac Verimag
  • Points-to analysis in almost linear time
    (1996), pp. 32-41.
    by Bjarne Steensgaard
    posted to static_analysis by plaugg on 2005-09-22 08:42:17 as read along with 1 person srccheck
  • The model checker SPIN
    Software Engineering, IEEE Transactions on, Vol. 23, No. 5. (1997), pp. 279-295.
    by GJ Holzmann
    posted to deadlock modelchecking static_analysis by plaugg on 2005-08-22 09:52:29 as read along with 1 person and 1 group lemaymd seclab
  • Applying Jlint to Space Exploration Software
    Lecture Notes in Computer Science, Vol. 2937 (January 2004), pp. 297-308.
    by Cyrille Artho, Klaus Havelund
    posted to deadlock java static_analysis by plaugg on 2005-08-15 09:59:22 as ***
  • Applying static analysis to large-scale, multi-threaded Java programs
    Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 68-75.
    by C Artho, A Biere
    posted to deadlock java static_analysis by plaugg on 2005-08-15 09:55:28 as *** along with 2 people bfraser martink
  • A deadlock detection tool for concurrent Java programs
    Software: Practice and Experience, Vol. 29, No. 7. (24 June 1999), pp. 577-603.
    by Claudio Demartini, Radu Iosif, Riccardo Sisto
    posted to controlflow deadlock java static_analysis by plaugg on 2005-08-15 09:31:22 as **
  • Ownership types for safe programming: preventing data races and deadlocks
    Vol. 37, No. 11. (November 2002), pp. 211-230.
    by Chandrasekhar Boyapati, Robert Lee, Martin Rinard
    posted to ownership_types static_analysis by plaugg on 2005-08-15 09:11:30 as read along with 4 people and 1 group kiniry amorkan nikomatsakis schuh SRG_at_UCD
  • Automated, Compositional and Iterative Deadlock Detection
    (2004)
    by Sagar Chaki, Edmund Clarke, Joel Ouaknine, Natasha Sharygina
    posted to c deadlock static_analysis by plaugg on 2005-08-15 08:56:39 as read
  • Parallel Program Graphs and their Classification
    (1994), pp. 633-655.
    by Vivek Sarkar, Barbara Simons
    posted to callgraph static_analysis by plaugg on 2005-08-09 14:38:02 as **
  • Incremental call graph reanalysis for object-oriented software maintenance
    Software Maintenance, 2001. Proceedings. IEEE International Conference on (2001), pp. 682-691.
    by AL Souter, LL Pollock
    posted to callgraph controlflow static_analysis by plaugg on 2005-08-09 12:38:17 as read
  • Call graph construction in object-oriented languages
    Vol. 32, No. 10. (October 1997), pp. 108-124.
    by David Grove, Greg Defouw, Jeffrey Dean, Craig Chambers
    posted to callgraph controlflow static_analysis by plaugg on 2005-08-09 12:26:03 as read along with 2 people mercutio kklo
  • notes The effect of call graph construction algorithms for object-oriented programs on automatic clustering
    Program Comprehension, 2000. Proceedings. IWPC 2000. 8th International Workshop on (2000), pp. 191-200.
    by D Rayside, S Reuss, E Hedges, K Kontogiannis
    posted to callgraph controlflow static_analysis by plaugg on 2005-08-09 09:08:10 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/plaugg/tag/static_analysis

    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.