Verifying pointer safety for programs with unknown calls

Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin

    Research output: Contribution to journalArticle

    Fingerprint Dive into the research topics of 'Verifying pointer safety for programs with unknown calls'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science