메뉴 건너뛰기




Volumn , Issue , 2004, Pages 12-22

Software validation via scalable path-sensitive value flow analysis

Author keywords

Alias analysis; Path sensitive analysis; Value flow

Indexed keywords

ALGORITHMIC LANGUAGES; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; COMPUTER SOFTWARE; DATA FLOW ANALYSIS; PROGRAM DEBUGGING; VALUE ENGINEERING;

EID: 23744483521     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1007512.1007515     Document Type: Conference Paper
Times cited : (46)

References (31)
  • 13
    • 33644573322 scopus 로고    scopus 로고
    • Path sensitive value flow analysis on large programs
    • Microsoft Research
    • N. Dor, S. Adams, M. Das, and Z. Yang. Path sensitive value flow analysis on large programs. Technical Report MSR-TR-2003-58, Microsoft Research, 2003.
    • (2003) Technical Report , vol.MSR-TR-2003-58
    • Dor, N.1    Adams, S.2    Das, M.3    Yang, Z.4
  • 20
    • 0035153588 scopus 로고    scopus 로고
    • Evaluating the effectiveness of pointer alias analyses
    • Jan.
    • M. Hind and A. Pioli. Evaluating the effectiveness of pointer alias analyses. Science of Computer Programming, 39(1):31-55, Jan. 2001.
    • (2001) Science of Computer Programming , vol.39 , Issue.1 , pp. 31-55
    • Hind, M.1    Pioli, A.2
  • 21
    • 0025228221 scopus 로고
    • Interprocedural slicing using dependence graphs
    • January
    • S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst., 12(1):26-60, January 1990.
    • (1990) ACM Trans. Program. Lang. Syst. , vol.12 , Issue.1 , pp. 26-60
    • Horwitz, S.1    Reps, T.2    Binkley, D.3
  • 23
    • 0028510748 scopus 로고
    • A generalised theory of bit vector data flow analysis
    • U. P. Khedkar and D. M. Dhamdhere. A generalised theory of bit vector data flow analysis. ACM Trans. Program. Lang. Syst., 16(5):1472-1511, 1994.
    • (1994) ACM Trans. Program. Lang. Syst. , vol.16 , Issue.5 , pp. 1472-1511
    • Khedkar, U.P.1    Dhamdhere, D.M.2
  • 24
    • 1542691474 scopus 로고
    • Efficient and optimal bit-vector dataflow analyses: A uniform interprocedural framework
    • Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany
    • J. Knoop and B. Steffen. Efficient and optimal bit-vector dataflow analyses: A uniform interprocedural framework. Technical Report Bericht Nr. 9309, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, 1993.
    • (1993) Technical Report Bericht Nr. 9309 , vol.9309
    • Knoop, J.1    Steffen, B.2
  • 25


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.