Programming LAnguages
and StatiC AnaLysis Group

The PASCAL Research Group is affiliated with Institute of Computer Software and Department of Computer Science and Technology at Nanjing University. We develop effective static program analysis techniques and tools for solving the problems in programming languages, software engineering, system and security.



Our website has been migrated to: https://pascal-lab.net/