Faculty member Munawar Hafiz is leading the department’s Software Analysis, Transformation and Security (SATS) group to work on program analysis and transformation technologies, as well as to improve security for Javascript and C applications. The group is spearheading the development of CR-12, a framework for developing automatic program transformations in C, which allows them to remove various types of vulnerabilities, such as integer overflow. The program also displays before and after modifications to the users, who have the option of approving the changes. The project is a collaborative effort with the University of Illinois at Urbana-Champaign (UIUC) and the National Center for Supercomputing Applications.