A hybrid program knowledge base for static program analyzers.

Stan Jarzabek, Han Shen, Hock Chuan Chan

Browse the full APSEC paper archive.