Contributors.txt

Name: Yulei Sui
Email: ysui@cse.unsw.edu.au
Description: core design and implementation, primary developer

Name: Jingling Xue
Email: jingling@cse.unsw.edu.au
Description: core design

Name: Sen Ye
Email: yes@cse.unsw.edu.au
Description: memory model, flow-sensitive pointer analysis

Name: Xiaokang Fan
Email: fanx@cse.unsw.edu.au
Description: add support to analyze C++ programs and library summarization