共 50 条
- [2] CodeSurfer/x86 - A platform for analyzing x86 executables COMPILER CONSTRUCTION, PROCEEDINGS, 2005, 3443 : 250 - 254
- [4] Model checking x86 executables with CodeSurfer/x86 and WPDS++ COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 158 - 163