code refactor
fix some bugs
develop program point analysis model