'Gang hu' presentation slideshows

Woodpecker: Verifying Systems Rules Using Rule-Directed Symbolic Execution

Woodpecker: Verifying Systems Rules Using Rule-Directed Symbolic Execution. Heming Cui, Gang Hu , Jingyue Wu, Junfeng Yang Columbia University. Systems Programs Must Obey Rules. E.g., assert(x); p = malloc ( len ); ? free(p); fp = fopen (f); ? fclose ( fp ); Atomic file update

281 views • 19 slides