Back to Results
First PageMeta Content
Network flow / Matroid theory / Control flow graph / Graph / Depth-first search / Static single assignment form / Connected component / Connectivity / Tree / Graph theory / Mathematics / Compiler construction


On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology
Add to Reading List

Document Date: 2013-09-22 04:04:19

Open Document

File Size: 644,74 KB

Share Result on Facebook

Facility

Engineering The Hong Kong University of Science / /

IndustryTerm

static analysis algorithms / insensitive algorithms / code analysis tool / design analysis algorithm / program analysis algorithms / static analysis algorithm / software engineering tools / pointer dereference site / subsequent algorithms / acyclic algorithm / /

NaturalFeature

ScreedharGao-Lee forest / /

Organization

Hong Kong University of Science and Technology / IDF / Charles Zhang Department of Computer Science / /

Person

Charles Zhang / /

Position

Static Analysis Xiao Xiao Supervisor / programmer / /

Technology

subsequent algorithms / program analysis algorithms / former algorithms / dom / acyclic algorithm / design analysis algorithm / static analysis algorithm / static analysis algorithms / /

SocialTag