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

mercutio static_analysis [47 articles]

Recent papers added to mercutio library classified by the tag static_analysis. You can also see everyone's static_analysis.
  • notes Extracting File Formats from Executables
    (2006)
    by Junghee Lim, Thomas Reps, Ben Liblit
    posted to binary static_analysis by mercutio on 2006-08-18 19:49:26 as read
  • Finding bugs with a constraint solver
    (2000), pp. 14-25.
    by Daniel Jackson, Mandana Vaziri
    posted to static_analysis testing by mercutio on 2006-08-15 01:38:55 as *** along with 1 person plaugg
  • A static analyzer for finding dynamic programming errors
    Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
    by William R Bush, Jonathan D Pincus, David J Sielaff
    posted to static_analysis by mercutio on 2006-08-15 01:35:56 as *** along with 3 people martink linekin NSumner
  • Using programmer-written compiler extensions to catch security holes
    (May 2002)
    by K Ashcraft, D Engler
    posted to security static_analysis by mercutio on 2006-08-15 01:32:12 as read along with 3 people plaugg ronnix srccheck
  • 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 static_analysis by mercutio on 2006-08-15 01:13:19 as *** along with 2 people plaugg kklo
  • Static Determination of Dynamic Properties of Programs
    (April 1976), pp. 106-130.
    by P Cousot, R Cousot
    posted to static_analysis by mercutio on 2006-08-15 01:11:15 as ****
  • Abstract interpretation: a semantics-based tool for program analysis
    (1995), pp. 527-636.
    by Neil D Jones, Flemming Nielson
    posted to static_analysis by mercutio on 2006-08-15 01:05:08 as **** along with 1 person bunge
  • Evaluating Static Analysis Tools for Detecting Buffer Overflows in C Code
    (2005)
    by K Kratkiewicz
    posted to method security static_analysis by mercutio on 2006-04-25 20:12:36 as **** along with 1 person criswell
  • Securing software : an evaluation of static source code analyzers
    (2003)
    by Misha Zitser
    posted to method security static_analysis by mercutio on 2006-04-25 20:08:40 as **** along with 1 person plaugg
  • Analyzing Memory Accesses in Obfuscated x86 Executables
    (2005)
    by Michael Venable, Mohamed R Chouchane, Md E Karim, Arun Lakhotia
    posted to binary security static_analysis by mercutio on 2006-03-30 22:49:51 as read
  • Shape Analysis
    (2000), pp. 1-17.
    by Reinhard Wilhelm, Shmuel Sagiv, Thomas Reps
    posted to static_analysis by mercutio on 2006-03-30 22:45:08 as read along with 2 people plaugg bunge
  • Interprocedural slicing using dependence graphs
    Vol. 23, No. 7. (July 1988), pp. 35-46.
    by S Horwitz, T Reps, D Binkley
    posted to static_analysis by mercutio on 2006-03-30 22:43:10 as *** along with 2 people dfisher scavadini
  • WYSINWYX: What You See Is Not What You eXecute
    (2005)
    by G Balakrishnan, T Reps, D Melski, T Teitelbaum
    posted to binary static_analysis by mercutio on 2006-03-30 22:41:12 as read along with 1 person plaugg
  • Recovery of Variables and Heap Structure in x86 Executables
    (September 2005)
    by Gogul Balakrishnan, Thomas Reps
    posted to binary static_analysis by mercutio on 2006-03-30 22:36:38 as read
  • Pointer Analysis: Haven't We Solved This Problem Yet?
    (2001)
    by Michael Hind
    posted to static_analysis by mercutio on 2006-03-30 22:33:12 as read along with 5 people and 3 groups dherman plaugg jolilius josefs lmorel NU-PRL TUCS-ES_Lab TUCS-KITARA_project
  • 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 static_analysis by mercutio on 2006-03-30 22:29:31 as ** along with 3 people plaugg criswell bunge
  • Practical and Accurate Low-Level Pointer Analysis
    by Bolei Guo, Matthew Bridges, Spyridon Triantafyllis, Guilherme Ottoni, Easwaran Raman, David I August
    posted to static_analysis by mercutio on 2006-03-30 22:27:06 as read
  • Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
    ACM Transactions on Programming Languages and Systems, 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 static_analysis by mercutio on 2006-03-30 22:11:30 as **** along with 2 people iff cruediger
  • Practical Analysis of Stripped Binary Code
    by Laune C Harris, Barton P Miller
    posted to binary static_analysis by mercutio on 2006-03-30 22:09:31 as read
  • Identifying loops in almost linear time
    ACM Transactions on Programming Languages and Systems, Vol. 21, No. 2. (1999), pp. 175-188.
    by G Ramalingam
    posted to static_analysis by mercutio on 2006-03-30 22:05:27 as read
  • Flow Graph Anomalies: What's in a loop?
    (28 February 1991)
    by Michael Wolfe
    posted to static_analysis by mercutio on 2006-03-30 22:03:52 as ***
  • Identifying loops using DJ graphs
    ACM Trans. Program. Lang. Syst., Vol. 18, No. 6. (November 1996), pp. 649-658.
    by Vugranam C Sreedhar, Guang R Gao, Yong-Fong Lee
    posted to static_analysis by mercutio on 2006-03-30 21:59:27 as read
  • Testing flow graph reducibility
    (1973), pp. 96-107.
    by Robert Tarjan
    posted to static_analysis by mercutio on 2006-03-30 21:56:45 as read along with 1 person and 1 group dherman NU-PRL
  • Flow graph reducibility
    (1972), pp. 238-250.
    by Matthew S Hecht, Jeffrey D Ullman
    posted to static_analysis by mercutio on 2006-03-30 21:52:55 as read along with 1 person and 1 group dherman NU-PRL
  • A Simple, Fast Dominance Algorithm
    Software Practice and Experience, No. 4. (2001), pp. 1-10.
    by Keith D Cooper, Timothy J Harvey, Ken Kennedy
    posted to static_analysis by mercutio on 2006-03-30 21:49:18 as read along with 1 person vipuldelwadia
  • Undecidability of Static Analysis
    ACM Letters on Programming Languages and Systems, Vol. 1, No. 4. (December 1992), pp. 323-337.
    by William Landi
    posted to static_analysis by mercutio on 2006-03-30 21:46:36 as ***
  • Finding Dominators in Directed Graphs
    SIAM J. Comput., Vol. 3, No. 1. (March 1974)
    by Robert Tarjan
    posted to algorithms static_analysis by mercutio on 2006-03-24 22:57:30 as **
  • Depth-First Search and Linear Graph Algorithms
    SIAM J. Comput., Vol. 1, No. 2.
    by Robert Tarjan
    posted to algorithms static_analysis by mercutio on 2006-03-24 01:20:29 as **
  • notes A fast algorithm for finding dominators in a flowgraph
    ACM Trans. Program. Lang. Syst., Vol. 1, No. 1. (July 1979), pp. 121-141.
    by Thomas Lengauer, Robert E Tarjan
    posted to static_analysis by mercutio on 2006-02-16 00:48:06 as ** along with 3 people zuleger bunge iff
  • Interprocedural Static Slicing of Binary Executables
    (2003)
    by A Kiss, J Jasz, G Lehotai, T Gyimothy
    posted to binary static_analysis by mercutio on 2006-02-16 00:44:39 as read
  • notes The program dependence graph and its use in optimization
    ACM Trans. Program. Lang. Syst., Vol. 9, No. 3. (July 1987), pp. 319-349.
    by Jeanne Ferrante, Karl J Ottenstein, Joe D Warren
    posted to static_analysis by mercutio on 2006-02-16 00:29:47 as read along with 5 people and 1 group ppschedule nathan bunge scavadini tesissvc CompArch
  • notes Program slicing
    (1981), pp. 439-449.
    by M Weiser
    posted to static_analysis by mercutio on 2006-02-16 00:25:21 as ***
  • Interprocedural slicing using dependence graphs
    ACM Trans. Program. Lang. Syst., Vol. 12, No. 1. (January 1990), pp. 26-60.
    by Susan Horwitz, Thomas Reps, David Binkley
    posted to static_analysis by mercutio on 2006-02-15 17:12:03 as **** along with 1 person dfisher
  • Intraprocedural Static Slicing of Binary Executables
    pp. 188-195.
    by Cristina Cifuentes, Antoine Fraboulet
    posted to binary static_analysis by mercutio on 2006-02-15 17:08:27 as **** along with 2 people scavadini tesissvc
  • notes Symbolic execution and program testing
    Commun. ACM, Vol. 19, No. 7. (July 1976), pp. 385-394.
    by James C King
    posted to static_analysis by mercutio on 2006-02-14 01:34:25 as read along with 2 people gchpaco bfraser
  • A Survey of Program Slicing Techniques.
    (1994)
    by Frank Tip
    posted to static_analysis by mercutio on 2006-02-14 00:02:21 as *** along with 1 person creswick
  • notes Static analysis of executables to detect malicious patterns
    (2003)
    by M Christodorescu, S Jha
    posted to binary static_analysis by mercutio on 2006-02-13 23:47:48 as read
  • Assembly to High-Level Language Translation
    (1998), pp. 228-237.
    by Cristina Cifuentes, Doug Simon, Antoine Fraboulet
    posted to binary static_analysis by mercutio on 2006-02-13 23:05:20 as **** along with 2 people vipuldelwadia ronnix
  • notes Analyzing memory accesses in x86 executables
    (2004)
    by G Balakrishnan, T Reps
    posted to binary static_analysis by mercutio on 2006-02-13 21:36:56 as read
  • notes Alias Analysis of Executable Code
    (1998), pp. 12-24.
    by Saumya K Debray, Robert Muth, Matthew Weippert
    posted to binary static_analysis by mercutio on 2006-02-13 21:36:39 as read along with 2 people and 1 group rnsanchez ronnix P2P-SeC
  • notes String analysis for x86 binaries
    Vol. 31, No. 1. (January 2005), pp. 88-95.
    by Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh
    posted to binary static_analysis by mercutio on 2006-02-13 21:33:23 as read along with 2 people keigoi ianwelch
  • Safety checking of machine code
    SIGPLAN Not., Vol. 35, No. 5. (May 2000), pp. 70-82.
    by Zhichen Xu, Barton P Miller, Thomas Reps
    posted to binary static_analysis by mercutio on 2006-02-13 21:30:18 as read
  • A framework for call graph construction algorithms
    ACM Trans. Program. Lang. Syst., Vol. 23, No. 6. (November 2001), pp. 685-746.
    by David Grove, Craig Chambers
    posted to static_analysis by mercutio on 2005-11-08 20:26:16 as **** along with 2 people plaugg kklo
  • Call Graph Construction in Object-Oriented Languages
    (1997), pp. 108-124.
    by David Grove, Greg Defouw, Jeffrey Dean, Craig Chambers
    posted to static_analysis by mercutio on 2005-11-08 20:25:26 as **** along with 2 people plaugg bunge
  • Trust in the lambda-Calculus
    (1995), pp. 314-329.
    by Jens Palsberg, Peter &\#216;rb&\#230;k
    posted to static_analysis by mercutio on 2005-10-28 20:06:57 as **** along with 1 person kingsunshine
  • Program analysis via graph reachability
    (1997), pp. 5-19.
    by Thomas Reps
    posted to static_analysis by mercutio on 2005-10-28 20:04:00 as **** along with 2 people plaugg alphabetagamma
  • JFlow: practical mostly-static information flow control
    (1999), pp. 228-241.
    by Andrew C Myers
    posted to static_analysis by mercutio on 2005-10-28 20:01:53 as **** along with 6 people plaugg schuh linekin lambdageek scavadini tesissvc
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/mercutio/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.