CodeSurfer
Codesurfer is a powerful C and C++ source code analysis and navigation tool. It displays information about your program at an unprecedented level of detail. Codesurfer is a new tool for easier and more precise navigation and understanding of source code. Codesurfer has many uses, including program understanding, maintenance, impact analysis, debugging, reengineering, and reuse. Codesurfer is unique because it enables you to identify and navigate the ”deep structure” of your program effortlessly. The deep structure comprises the direct and indirect relationships, or dependences, within your source code. These are the semantic threads that reveal exactly how your program works.
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
Sorted by year (- Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick: Finding and fixing faults (2012)
- Dolgova, E. N.; Chernov, A. V.: Automatic reconstruction of data types in the decompilation problem (2009)
- Vidács, László; Beszédes, Árpád; Gyimóthy, Tibor: Combining preprocessor slicing with C/C++ language slicing (2009)
- Volanschi, Eugen-Nicolae: A portable compiler-integrated approach to permanent checking. (2008) ioport
- Volanschi, Nic: A portable compiler-integrated approach to permanent checking (2008) ioport
- Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos; Korel, Bogdan: Theoretical foundations of dynamic program slicing (2006)
- Groce, Alex; Chaki, Sagar; Kroening, Daniel; Strichman, Ofer: Error explanation with distance metrics (2006) ioport
- Balakrishnan, G.; Reps, T.; Kidd, N.; Lal, A.; Lim, J.; Melski, D.; Gruian, R.; Yong, S.; Chen, C.-H.; Teitelbaum, T.: Model checking x86 executables with CodeSurfer/x86 and WPDS++ (2005)