CodeSurfer
From MaRDI portal
Software:28349
No author found.
Related Items (5)
Automatic reconstruction of data types in the decompilation problem ⋮ Computer Aided Verification ⋮ Finding and fixing faults ⋮ Theoretical foundations of dynamic program slicing ⋮ Combining preprocessor slicing with C/C++ language slicing
This page was built for software: CodeSurfer
