CodeSurfer

swMATH16480MaRDI QIDQ28349FDOQ28349

Author name not available (Why is that?)

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
• Combining preprocessor slicing with C/C++ language slicing
• Consit
• MOPS
• Checkstyle
• PQL
• WPDS++
• VIS

This page was built for software: CodeSurfer