CodeSurfer

MaRDI QIDQ28349swMATHFDO

Official website https://twiki.cern.ch/twiki/bin/view/SDT/CodeSurfer

Cited in

(11)

• Finding and fixing faults
• Automatic reconstruction of data types in the decompilation problem
• Computer Aided Verification
• Theoretical foundations of dynamic program slicing
• Consit
• MOPS
• Checkstyle
• PQL
• WPDS++
• VIS
• Combining preprocessor slicing with C/C++ language slicing

This page was built for software: CodeSurfer