Authors: DOR N RODEH M SAGIV M

Citation: N. Dor et al., DETECTING MEMORY ERRORS VIA STATIC POINTER ANALYSIS (PRELIMINARY EXPERIENCE), ACM SIGPLAN NOTICES, 33(7), 1998, pp. 27-34

Authors: SAGIV M FRANCEZ N RODEH M WILHELM R

Citation: M. Sagiv et al., A LOGIC-BASED APPROACH TO PROGRAM FLOW-ANALYSIS, Acta informatica, 35(6), 1998, pp. 457-504