Browse Research and Tech Reports - Computer Science by Author "Dhurjati, Dinakar"

  • Dhurjati, Dinakar; Kowshik, Sumant J.; Adve, Vikram S. (2005-11)
    Static analysis of programs in weakly typed languages such as C and C++ generally is not guaranteed to be sound because programs in these languages may have undetected memory errors such as dangling pointer references, ...

    application/pdf

    application/pdfPDF (268kB)
  • Dhurjati, Dinakar (2006-09)
    Many computing systems today are written in weakly typed languages such as C and C++. These languages are known to be ``unsafe'' as they do not prevent or detect common memory errors like array bounds violations, pointer ...

    application/pdf

    application/pdfPDF (745kB)