新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

olesya library [11 articles]

最近 olesya さんのライブラリ .
  • Model Checking An Entire Linux Distribution for Security Violations
    (2005), pp. 13-22.
    by Benjamin Schwarz, Hao Chen, David Wagner, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West
    posted to tocttou temporary_files strncpy standart_file_descriptor security fsa by olesya on 2008-10-05 19:27:04 as read along with 2 people srccheck heiko_reese
  • Statically detecting likely buffer overflow vulnerabilities
    (2001), pp. 14-14.
    by David Larochelle, David Evans
    posted to no-tag by olesya on 2008-10-05 19:25:24 as ** along with 1 person srccheck
  • An Empirical Study of Operating System Errors
    (2001), pp. 73-88.
    by Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R Engler
    posted to no-tag by olesya on 2008-10-05 19:16:33 as ** along with 3 people fmc Gnurou srccheck
  • Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
    Vol. 39, No. 6. (May 2004), pp. 131-144.
    by John Whaley, Monica S Lam
    posted to precise_analysis by olesya on 2008-07-29 11:11:30 as ** along with 3 people bec schuh srccheck
  • 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 precise_analysis by olesya on 2008-07-29 11:10:05 as ** along with 3 people bfraser srccheck zuleger
  • Detecting format string vulnerabilities with type qualifiers
    (2001), pp. 16-16.
    by Umesh Shankar, Kunal Talwar, Jeffrey S Foster, David Wagner
    posted to format_string type_cast type_qualifiers by olesya on 2008-07-29 09:52:05 as read along with 1 person 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 programming scheme by olesya on 2008-07-25 12:26:51 as read along with 9 people olegus dullhunk brady awils1 calvins robotact vlasovskikh jasmithoffice srccheck
  • 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 ssa by olesya on 2008-07-24 13:15:25 as read along with 7 people plaugg pejo martink pjdonald srccheck sby zuleger
  • 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 flow_sensitive ssa by olesya on 2008-07-24 13:14:06 as ***** along with 2 people schuh srccheck
  • 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 context_sensitive path_sensitive ssa by olesya on 2008-07-24 13:06:48 as read along with 2 people bdanilov srccheck
  • Using Programmer-Written Compiler Extensions to Catch Security Holes
    (2002)
    by Ken Ashcraft, Dawson Engler
    posted to defects negative_code by olesya on 2008-07-24 13:04:12 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/olesya

    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.