SCAIFE and ACR: Static Analysis Classification and Automated Code Repair
Software Engineering Institute
Flynn and Klieber presented at the DoD National Nuclear Security Administration (NNSA) Software Assurance Community of Practice (SwA CoP) virtual meeting in September 2021. Flynn describes her FY21 research on methods to use static analysis classification for continuous integration (CI) software development systems and the SCAIFE prototype tool. Klieber describes his research on automated code repair (ACR) for memory safety and another project on decompilation for binary software assurance. They conclude by describing their concept for a combined system, proposing development of an integrated SCAIFE-ACR system to instantiate and test it.