Skip to content

Gu1nness/CAsmMemcheck

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

C ASM Memcheck

This library is intended to validate the compilation of C programs using the DWARF debug information.

In order to do this, we perform a parallel interpretation of the C source program and the disassembled binary, and check at each link point (given by the .debug_line table) that the memory state is the one expected.

About

C vs Asm memory checker based on DWARF information

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages